0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1067790-1215151401.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.46 nbVariables=383 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=9958
0.38/0.46 => wckTime=0.216 cpuTime=0.18 mem=8M894
0.38/0.46
0.38/0.46 relations being loaded...
0.48/0.59
0.48/0.59 predicates being loaded...
0.57/0.65
0.57/0.65 constraints being loaded...
0.97/1.10 Too large in ConstraintConflictsSTructure
1.07/1.12 Too large in ConstraintConflictsSTructure
1.07/1.16 Too large in ConstraintConflictsSTructure
2.45/2.58 nbConstraints=1870 nbRelationTypes=7 nbGlobalConstraints=135 nbExtensionStructures=7
2.45/2.58 nbSharedExtensionStructures=127 nbConflictsStructures=4 nbSharedConflictsStructures=76
2.45/2.58 nbUnbuiltConflictsStructures=10 nbSharedBinaryRepresentations=0 nbEvaluationManagers=7
2.45/2.58 nbSharedEvaluationManagers=1728 minDegree=13 maxDegree=83 minArity=3 avgArity=11.25 maxArity=372
2.45/2.58 nbGenerators=1 nbFusions=0 symmetryWckTime=0.497 symmetryCpuTime=0.23
2.45/2.58 => wckTime=2.34 cpuTime=1.75 mem=29M783
2.54/2.69
2.54/2.69 solver IterativeSystematicSolver being built...
2.95/3.07
2.95/3.07 INFO : Forward propagation technique limited
3.04/3.15 => wckTime=2.911 cpuTime=2.09 mem=83M230
4.53/4.62
4.53/4.62 preprocessing
4.53/4.62 nbConstraintChecks=41038 nbValidityChecks=12383394 nbPropagations=9058 nbRevisions=3337 nbUselessRevisions=3337
4.53/4.62 nbSingletonTests=439 nbEffectiveSingletonTests=0 nbACRemovals=773 nbFoundSingletons=0 nbRemovedValues=773
4.53/4.62 detectedInconsistency=no
4.53/4.62 => wckTime=1.46 cpuTime=1.27 mem=57M859
5.32/5.48
5.32/5.48 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=59M796)
372.71/373.45
372.71/373.45 search
372.71/373.45 run=20 nbConstraintChecks=21703349 nbValidityChecks=3692137453 minDepth=0 maxDepth=75 nbPropagations=20542503
372.71/373.45 nbRevisions=11836135 nbUselessRevisions=11831357 nbAssignments=218588 nbFailedAssignments=80585
372.71/373.45 nbBacktracks=137816 nbVisitedNodes=345610 nbRestartNogoods=195 nbSEliminables=0 nbREliminables=75.59
372.71/373.45 nbIEliminables=300.23 nbDEliminables=0 nbPEliminables=0
372.71/373.45 => wckTime=370.296 cpuTime=369.42 mem=64M637
372.71/373.46
372.71/373.46 global
372.71/373.46 nbConstraintChecks=21744387 nbValidityChecks=3704520847 nbPropagations=20551561 nbRevisions=11839472
372.71/373.46 nbUselessRevisions=11834694 nbRestartNogoods=195 solvingWckTime=370.298 solvingCpuTime=369.42 expiredTime=no
372.71/373.46 totalExploration=yes nbFoundSolutions=0 globalCpuTime=371.56
372.71/373.46 => wckTime=373.214 cpuTime=371.51 mem=64M637
372.71/373.46
372.71/373.46 s UNSATISFIABLE
372.71/373.46 d NODES 218588
372.71/373.46 d CHECKS 21744387
372.71/373.46
372.71/373.46 totalWckTime=373.272 totalCpuTime=371.57
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1067790-1215151401/watcher-1067790-1215151401 -o /tmp/evaluation-result-1067790-1215151401/solver-1067790-1215151401 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1067790-1215151401.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 29436
/proc/meminfo: memFree=1716896/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=1616 CPUtime=0
/proc/29436/stat : 29436 (java) R 29434 29436 28936 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 1544814177 1654784 146 996147200 134512640 134550740 4294956144 18446744073709551615 7735904 0 0 4096 0 0 0 0 17 0 0 0
/proc/29436/statm: 404 148 122 9 0 46 0
[startup+0.063131 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 29436
/proc/meminfo: memFree=1716896/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=864076 CPUtime=0.05
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 2773 0 1 0 3 2 0 0 18 0 9 0 1544814177 884813824 2315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 216019 2315 1107 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101137 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 29436
/proc/meminfo: memFree=1716896/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=865884 CPUtime=0.08
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 3714 0 1 0 6 2 0 0 18 0 9 0 1544814177 886665216 3178 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 216471 3178 1683 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301174 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 29436
/proc/meminfo: memFree=1716896/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=866196 CPUtime=0.28
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 5617 0 1 0 24 4 0 0 18 0 9 0 1544814177 886984704 5031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 216549 5031 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701242 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 29436
/proc/meminfo: memFree=1716896/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=867100 CPUtime=0.67
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 8876 0 1 0 62 5 0 0 18 0 9 0 1544814177 887910400 8236 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 216775 8236 2008 9 0 211281 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867100
[startup+1.50138 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 29445
/proc/meminfo: memFree=1676824/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=867604 CPUtime=1.47
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 19591 0 1 0 131 16 0 0 18 0 9 0 1544814177 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 216901 18924 2007 9 0 211429 0
[pid=29436/tid=29438] ppid=29434 vsize=867604 CPUtime=1.18
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 15782 0 1 0 104 14 0 0 25 0 9 0 1544814178 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4126940982 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29439] ppid=29434 vsize=867604 CPUtime=0.05
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 2409 0 0 0 4 1 0 0 16 0 9 0 1544814179 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=867604 CPUtime=0
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1544814180 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=867604 CPUtime=0
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1544814180 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=867604 CPUtime=0
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1544814182 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=867604 CPUtime=0.22
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 704 0 0 0 22 0 0 0 16 0 9 0 1544814182 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29444] ppid=29434 vsize=867604 CPUtime=0
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1544814182 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=867604 CPUtime=0
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1544814182 888426496 18924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867604
[startup+3.10266 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 29445
/proc/meminfo: memFree=1648536/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868108 CPUtime=3.04
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 46863 719 1 0 260 29 14 1 18 0 9 0 1544814177 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217027 27515 2637 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868108 CPUtime=2.4
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 28989 719 1 0 205 20 14 1 25 0 9 0 1544814178 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4126477484 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868108 CPUtime=0.45
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 16108 719 0 0 23 7 14 1 16 0 9 0 1544814179 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868108 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868108 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868108 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868108 CPUtime=0.45
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 928 719 0 0 30 0 14 1 15 0 9 0 1544814182 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868108 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868108 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 6 719 0 0 0 0 14 1 15 0 9 0 1544814182 888942592 27515 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868108
[startup+6.30121 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 29449
/proc/meminfo: memFree=1594584/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=6.21
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53037 719 1 0 574 32 14 1 18 0 9 0 1544814177 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32981 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=5.36
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29296 719 1 0 501 20 14 1 25 0 9 0 1544814178 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4127233218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 17 0 9 0 1544814179 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.54
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 986 719 0 0 39 0 14 1 15 0 9 0 1544814182 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32981 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868020
[startup+12.7023 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 29449
/proc/meminfo: memFree=1594328/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=12.55
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53089 719 1 0 1208 32 14 1 18 0 9 0 1544814177 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32996 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=11.66
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29299 719 1 0 1131 20 14 1 25 0 9 0 1544814178 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4127233218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 17 0 9 0 1544814179 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1035 719 0 0 43 0 14 1 15 0 9 0 1544814182 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868020
[startup+25.5015 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 29449
/proc/meminfo: memFree=1594328/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=25.23
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53094 719 1 0 2476 32 14 1 18 0 9 0 1544814177 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32998 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=24.34
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29300 719 1 0 2399 20 14 1 25 0 9 0 1544814178 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4127319097 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1039 719 0 0 43 0 14 1 16 0 9 0 1544814182 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868020
[startup+51.102 s]
/proc/loadavg: 1.90 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1656096/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=50.7
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53097 719 1 0 5023 32 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=49.82
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29301 719 1 0 4946 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4126375703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
################
# More data... #
################
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.65
Current children cumulated vsize (KiB) 868020
Solver just ended. Dumping a history of the last processes samples
[startup+358.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=357.63
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 35715 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=356.74
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 35638 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127287674 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 357.63
Current children cumulated vsize (KiB) 868020
[startup+364.702 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=364.03
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 36355 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=363.13
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 36277 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127233632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 364.03
Current children cumulated vsize (KiB) 868020
[startup+367.903 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=367.23
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 36675 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=366.33
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 36597 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127251304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 367.23
Current children cumulated vsize (KiB) 868020
[startup+371.101 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=370.42
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 36994 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=369.53
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 36917 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127233039 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 370.42
Current children cumulated vsize (KiB) 868020
[startup+372.703 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=372.02
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 37154 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=371.13
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 37077 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127233389 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 372.02
Current children cumulated vsize (KiB) 868020
[startup+373.103 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=868020 CPUtime=372.42
/proc/29436/stat : 29436 (java) S 29434 29436 28936 0 -1 0 53098 719 1 0 37194 33 14 1 18 0 9 0 1544814177 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29436/statm: 217005 32999 2615 9 0 211533 0
[pid=29436/tid=29438] ppid=29434 vsize=868020 CPUtime=371.53
/proc/29436/task/29438/stat : 29438 (java) R 29434 29436 28936 0 -1 64 29302 719 1 0 37117 21 14 1 25 0 9 0 1544814178 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4127383948 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29439] ppid=29434 vsize=868020 CPUtime=0.57
/proc/29436/task/29439/stat : 29439 (java) S 29434 29436 28936 0 -1 64 21891 719 0 0 33 9 14 1 16 0 9 0 1544814179 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29440] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29440/stat : 29440 (java) S 29434 29436 28936 0 -1 64 17 719 0 0 0 0 14 1 16 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29441] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29441/stat : 29441 (java) S 29434 29436 28936 0 -1 64 9 719 0 0 0 0 14 1 15 0 9 0 1544814180 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29442] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29442/stat : 29442 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 18 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29443] ppid=29434 vsize=868020 CPUtime=0.58
/proc/29436/task/29443/stat : 29443 (java) S 29434 29436 28936 0 -1 64 1041 719 0 0 43 0 14 1 17 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29436/tid=29444] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29444/stat : 29444 (java) S 29434 29436 28936 0 -1 64 1 719 0 0 0 0 14 1 19 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29436/tid=29445] ppid=29434 vsize=868020 CPUtime=0.15
/proc/29436/task/29445/stat : 29445 (java) S 29434 29436 28936 0 -1 64 32 719 0 0 0 0 14 1 15 0 9 0 1544814182 888852480 32999 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 372.42
Current children cumulated vsize (KiB) 868020
[startup+373.503 s]
/proc/loadavg: 1.99 1.97 1.99 3/81 29477
/proc/meminfo: memFree=1655784/2055920 swapFree=4121332/4192956
[pid=29436] ppid=29434 vsize=0 CPUtime=372.78
/proc/29436/stat : 29436 (java) Z 29434 29436 28936 0 -1 12 53129 719 1 0 37229 34 14 1 16 0 2 0 1544814177 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29436/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 372.78
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 373.51
CPU time (s): 372.809
CPU user time (s): 372.438
CPU system time (s): 0.370943
CPU usage (%): 99.8125
Max. virtual memory (cumulated for all children) (KiB): 868108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 372.438
system time used= 0.370943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53848
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9375
involuntary context switches= 4494
runsolver used 0.351946 second user time and 1.35979 second system time
The end
Begin job on node14 at 2008-07-04 08:03:21
IDJOB=1067790
IDBENCH=55443
IDSOLVER=364
FILE ID=node14/1067790-1215151401
PBS_JOBID= 7877436
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-21-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1067790-1215151401/watcher-1067790-1215151401 -o /tmp/evaluation-result-1067790-1215151401/solver-1067790-1215151401 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1067790-1215151401.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1f87e4292cfe73339ea9f9057c89531b
RANDOM SEED=594975420
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1717376 kB
Buffers: 15164 kB
Cached: 110476 kB
SwapCached: 65712 kB
Active: 264208 kB
Inactive: 19932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717376 kB
SwapTotal: 4192956 kB
SwapFree: 4121332 kB
Dirty: 2692 kB
Writeback: 0 kB
Mapped: 165096 kB
Slab: 39356 kB
Committed_AS: 3077708 kB
PageTables: 2152 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66532 MiB
End job on node14 at 2008-07-04 08:09:35