0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1052525-1215056875.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.31
0.28/0.31 variables being loaded...
0.28/0.33 nbVariables=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.33 => wckTime=0.091 cpuTime=0.08 mem=6M878
0.28/0.33
0.28/0.33 relations being loaded...
0.58/0.70
0.58/0.70 constraints being loaded...
1.08/1.19 nbConstraints=133 nbRelationTypes=1 nbGlobalConstraints=133 nbExtensionStructures=1
1.08/1.19 nbSharedExtensionStructures=132 nbConflictsStructures=1 nbSharedConflictsStructures=132
1.08/1.19 nbSharedBinaryRepresentations=0 minDegree=109 maxDegree=120 minArity=18 maxArity=18 nbGenerators=0
1.08/1.19 nbFusions=0 symmetryWckTime=0.105 symmetryCpuTime=0.05
1.08/1.19 => wckTime=0.947 cpuTime=0.7 mem=55M162
1.16/1.28
1.16/1.28 solver IterativeSystematicSolver being built...
1.26/1.34
1.26/1.35 INFO : Forward propagation technique limited
1.36/1.42 => wckTime=1.179 cpuTime=0.83 mem=69M273
3.55/3.65
3.55/3.65 preprocessing
3.55/3.65 nbConstraintChecks=0 nbValidityChecks=7711606 nbPropagations=21 nbRevisions=0 nbUselessRevisions=0
3.55/3.65 nbRemovedValues=0 detectedInconsistency=no
3.55/3.65 => wckTime=2.229 cpuTime=2.19 mem=70M28
8.40/8.57
8.40/8.57 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=70M767)
59.90/60.59
59.90/60.59 search
59.90/60.59 run=13 nbConstraintChecks=56615 nbValidityChecks=622624342 minDepth=0 maxDepth=14 nbPropagations=88349
59.90/60.59 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17053 nbFailedAssignments=5601 nbBacktracks=11311
59.90/60.59 nbVisitedNodes=28269 nbRestartNogoods=54 nbSEliminables=0 nbREliminables=10.76 nbIEliminables=0
59.90/60.59 nbDEliminables=0 nbPEliminables=0
59.90/60.59 => wckTime=59.164 cpuTime=58.49 mem=71M489
59.90/60.59
59.90/60.59 global
59.90/60.59 nbConstraintChecks=56615 nbValidityChecks=630335948 nbPropagations=88370 nbRestartNogoods=54
59.90/60.59 solvingWckTime=59.167 solvingCpuTime=58.49 expiredTime=no totalExploration=yes nbFoundSolutions=0
59.90/60.59 globalCpuTime=59.36
59.90/60.59 => wckTime=60.348 cpuTime=59.32 mem=71M489
59.90/60.59
59.90/60.59 s UNSATISFIABLE
59.90/60.59 d NODES 17053
59.90/60.59 d CHECKS 56615
59.90/60.59
59.90/60.59 totalWckTime=60.414 totalCpuTime=59.37
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1052525-1215056875/watcher-1052525-1215056875 -o /tmp/evaluation-result-1052525-1215056875/solver-1052525-1215056875 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1052525-1215056875.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: 2.16 2.08 2.02 4/81 5521
/proc/meminfo: memFree=1237272/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=1616 CPUtime=0
/proc/5521/stat : 5521 (java) D 5519 5521 2990 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1535357928 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/5521/statm: 404 147 121 9 0 46 0
[startup+0.045141 s]
/proc/loadavg: 2.16 2.08 2.02 4/81 5521
/proc/meminfo: memFree=1237272/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=861876 CPUtime=0.03
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 2362 0 1 0 2 1 0 0 18 0 5 0 1535357928 882561024 1949 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 215469 1949 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.101143 s]
/proc/loadavg: 2.16 2.08 2.02 4/81 5521
/proc/meminfo: memFree=1237272/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=865884 CPUtime=0.08
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 3727 0 1 0 6 2 0 0 18 0 9 0 1535357928 886665216 3193 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216471 3194 1692 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301168 s]
/proc/loadavg: 2.16 2.08 2.02 4/81 5521
/proc/meminfo: memFree=1237272/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866284 CPUtime=0.28
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 6002 0 1 0 24 4 0 0 18 0 9 0 1535357928 887074816 5376 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216571 5377 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701217 s]
/proc/loadavg: 2.16 2.08 2.02 4/81 5521
/proc/meminfo: memFree=1237272/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866400 CPUtime=0.68
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 21101 0 1 0 58 10 0 0 18 0 9 0 1535357928 887193600 20470 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216600 20470 1978 9 0 211128 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866400
[startup+1.5023 s]
/proc/loadavg: 2.15 2.08 2.02 3/90 5530
/proc/meminfo: memFree=1161936/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=1.46
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 42344 199 1 0 126 19 1 0 18 0 10 0 1535357928 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32524 2633 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=1.09
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 20850 199 1 0 99 9 1 0 17 0 10 0 1535357929 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4126809310 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.19
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 199 0 0 11 7 1 0 17 0 10 0 1535357930 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.01
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 199 0 0 0 0 1 0 16 0 10 0 1535357931 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.01
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 199 0 0 0 0 1 0 16 0 10 0 1535357931 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.01
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 199 0 0 0 0 1 0 23 0 10 0 1535357933 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.16
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 521 199 0 0 15 0 1 0 16 0 10 0 1535357933 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.01
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 199 0 0 0 0 1 0 24 0 10 0 1535357933 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.01
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 199 0 0 0 0 1 0 15 0 10 0 1535357933 887738368 32524 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866932
[startup+3.10248 s]
/proc/loadavg: 2.15 2.08 2.02 3/90 5534
/proc/meminfo: memFree=1115344/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=3.06
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 42914 322 1 0 285 19 1 1 18 0 9 0 1535357928 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32526 2633 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=2.68
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 21414 322 1 0 257 9 1 1 25 0 9 0 1535357929 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4126809356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 17 0 9 0 1535357930 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.18
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 524 322 0 0 16 0 1 1 16 0 9 0 1535357933 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32526 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866932
[startup+6.30184 s]
/proc/loadavg: 2.22 2.09 2.03 3/90 5534
/proc/meminfo: memFree=1113040/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=6.21
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 48962 322 1 0 599 20 1 1 18 0 9 0 1535357928 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32541 2633 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=5.83
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27451 322 1 0 570 11 1 1 17 0 9 0 1535357929 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4126809205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.19
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 535 322 0 0 17 0 1 1 15 0 9 0 1535357933 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32541 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 866932
[startup+12.7026 s]
/proc/loadavg: 2.20 2.09 2.03 3/90 5534
/proc/meminfo: memFree=1108688/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=12.55
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 48990 322 1 0 1232 21 1 1 18 0 9 0 1535357928 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32555 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=12.13
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27463 322 1 0 1200 11 1 1 20 0 9 0 1535357929 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4126809205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.22
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 551 322 0 0 20 0 1 1 15 0 9 0 1535357933 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32555 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 866932
[startup+25.502 s]
/proc/loadavg: 2.24 2.10 2.03 3/90 5534
/proc/meminfo: memFree=1099728/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=25.22
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49034 322 1 0 2499 21 1 1 18 0 9 0 1535357928 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32572 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=24.77
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27490 322 1 0 2464 11 1 1 25 0 9 0 1535357929 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4126809205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.25
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 568 322 0 0 23 0 1 1 15 0 9 0 1535357933 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32572 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 866932
[startup+51.1019 s]
/proc/loadavg: 2.27 2.12 2.04 3/90 5534
/proc/meminfo: memFree=1082640/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=50.58
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49092 322 1 0 5034 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=50.12
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27544 322 1 0 4998 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126809205 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 866932
Solver just ended. Dumping a history of the last processes samples
[startup+57.5016 s]
/proc/loadavg: 2.25 2.12 2.04 3/90 5534
/proc/meminfo: memFree=1078224/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=56.92
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49108 322 1 0 5668 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=56.46
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27560 322 1 0 5632 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126798816 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.92
Current children cumulated vsize (KiB) 866932
[startup+59.1018 s]
/proc/loadavg: 2.25 2.12 2.04 3/90 5534
/proc/meminfo: memFree=1077456/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=58.51
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49113 322 1 0 5827 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=58.05
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27565 322 1 0 5791 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126809215 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.51
Current children cumulated vsize (KiB) 866932
[startup+59.9019 s]
/proc/loadavg: 2.25 2.12 2.04 3/90 5534
/proc/meminfo: memFree=1076688/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=59.3
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49115 322 1 0 5906 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=58.84
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27567 322 1 0 5870 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.3
Current children cumulated vsize (KiB) 866932
[startup+60.3019 s]
/proc/loadavg: 2.25 2.12 2.04 3/90 5534
/proc/meminfo: memFree=1076688/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=59.7
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49116 322 1 0 5946 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=59.24
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27568 322 1 0 5910 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126809163 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (KiB) 866932
[startup+60.5069 s]
/proc/loadavg: 2.31 2.13 2.05 3/90 5534
/proc/meminfo: memFree=1075984/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=59.9
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49117 322 1 0 5966 22 1 1 18 0 9 0 1535357928 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32574 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=59.44
/proc/5521/task/5523/stat : 5523 (java) R 5519 5521 2990 0 -1 64 27569 322 1 0 5930 12 1 1 25 0 9 0 1535357929 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4126821089 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32574 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (KiB) 866932
[startup+60.6029 s]
/proc/loadavg: 2.31 2.13 2.05 3/90 5534
/proc/meminfo: memFree=1075984/2055920 swapFree=4110796/4192956
[pid=5521] ppid=5519 vsize=866932 CPUtime=59.98
/proc/5521/stat : 5521 (java) S 5519 5521 2990 0 -1 0 49206 322 1 0 5974 22 1 1 18 0 9 0 1535357928 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5521/statm: 216733 32575 2634 9 0 211239 0
[pid=5521/tid=5523] ppid=5519 vsize=866932 CPUtime=59.53
/proc/5521/task/5523/stat : 5523 (java) S 5519 5521 2990 0 -1 64 27658 322 1 0 5938 13 1 1 23 0 9 0 1535357929 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5524] ppid=5519 vsize=866932 CPUtime=0.2
/proc/5521/task/5524/stat : 5524 (java) S 5519 5521 2990 0 -1 64 20137 322 0 0 11 7 1 1 16 0 9 0 1535357930 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5525] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5525/stat : 5525 (java) S 5519 5521 2990 0 -1 64 14 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5526] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5526/stat : 5526 (java) S 5519 5521 2990 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 1535357931 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5527] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5527/stat : 5527 (java) S 5519 5521 2990 0 -1 64 1 322 0 0 0 0 1 1 23 0 9 0 1535357933 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5528] ppid=5519 vsize=866932 CPUtime=0.26
/proc/5521/task/5528/stat : 5528 (java) S 5519 5521 2990 0 -1 64 572 322 0 0 24 0 1 1 16 0 9 0 1535357933 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5521/tid=5529] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5529/stat : 5529 (java) S 5519 5521 2990 0 -1 64 2 322 0 0 0 0 1 1 24 0 9 0 1535357933 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5521/tid=5530] ppid=5519 vsize=866932 CPUtime=0.02
/proc/5521/task/5530/stat : 5530 (java) S 5519 5521 2990 0 -1 64 8 322 0 0 0 0 1 1 15 0 9 0 1535357933 887738368 32575 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (KiB) 866932
Child status: 0
Real time (s): 60.6436
CPU time (s): 60.0219
CPU user time (s): 59.7569
CPU system time (s): 0.264959
CPU usage (%): 98.9749
Max. virtual memory (cumulated for all children) (KiB): 866932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.7569
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49557
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= 2438
involuntary context switches= 2569
runsolver used 0.100984 second user time and 0.187971 second system time
The end
Begin job on node38 at 2008-07-03 05:47:55
IDJOB=1052525
IDBENCH=55983
IDSOLVER=363
FILE ID=node38/1052525-1215056875
PBS_JOBID= 7875097
Free space on /tmp= 66452 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1052525-1215056875/watcher-1052525-1215056875 -o /tmp/evaluation-result-1052525-1215056875/solver-1052525-1215056875 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1052525-1215056875.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9a27b31e5d394fb73a6ac3e5063f5218
RANDOM SEED=2040468564
node38.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.223
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 : 5914.62
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.223
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: 1237752 kB
Buffers: 62248 kB
Cached: 449228 kB
SwapCached: 76452 kB
Active: 401084 kB
Inactive: 338796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1237752 kB
SwapTotal: 4192956 kB
SwapFree: 4110796 kB
Dirty: 6236 kB
Writeback: 0 kB
Mapped: 241764 kB
Slab: 63016 kB
Committed_AS: 3534724 kB
PageTables: 2420 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= 66412 MiB
End job on node38 at 2008-07-03 05:48:56