0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.23/0.41
0.23/0.41 configuration
0.23/0.41 name=mac.xml
0.23/0.44
0.23/0.44 instance
0.23/0.44 name=HOME/instance-1084959-1215232422.xml
0.23/0.48
0.23/0.48 domains being loaded...
0.23/0.49
0.23/0.49 variables being loaded...
0.33/0.52 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.33/0.52 => wckTime=0.105 cpuTime=0.1 mem=7M919
0.33/0.52
0.33/0.52 relations being loaded...
3.27/3.71
3.27/3.71 INFO : Contraction of relations, mem = 107M830
5.24/5.92
5.24/5.92 constraints being loaded...
8.37/9.72 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
8.37/9.72 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
8.37/9.72 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=10 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
8.37/9.72 symmetryWckTime=0.073 symmetryCpuTime=0.03
8.37/9.72 => wckTime=9.314 cpuTime=6.63 mem=183M161
9.66/11.03
9.66/11.03 solver IterativeSystematicSolver being built...
9.76/11.11
9.76/11.11 INFO : Forward propagation technique limited
9.76/11.18 => wckTime=10.774 cpuTime=6.76 mem=179M879
10.06/11.42
10.06/11.42 preprocessing
10.06/11.42 nbConstraintChecks=0 nbValidityChecks=1406099 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
10.06/11.42 nbRemovedValues=0 detectedInconsistency=no
10.06/11.42 => wckTime=0.233 cpuTime=0.22 mem=179M879
11.16/12.56
11.16/12.56 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=180M816)
548.40/550.48
548.40/550.48 search
548.40/550.48 run=23 nbConstraintChecks=3066568 nbValidityChecks=3720110422 minDepth=1 maxDepth=20 nbPropagations=8746231
548.40/550.48 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570182 nbFailedAssignments=305633 nbBacktracks=264308
548.40/550.48 nbVisitedNodes=1020078 nbRestartNogoods=207 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=9.46
548.40/550.48 nbIEliminables=2.1 nbDEliminables=0 nbPEliminables=0
548.40/550.48 => wckTime=539.291 cpuTime=538.52 mem=194M745
548.40/550.48
548.40/550.48 global
548.40/550.48 nbConstraintChecks=3066568 nbValidityChecks=3721516521 nbPropagations=8746251 nbRestartNogoods=207
548.40/550.48 solvingWckTime=539.294 solvingCpuTime=538.53 expiredTime=no totalExploration=no nbFoundSolutions=1
548.40/550.48 firstSolutionCpuTime=545.28 globalCpuTime=545.32
548.40/550.48 => wckTime=550.07 cpuTime=545.29 mem=194M745
548.40/550.48
548.40/550.48 s SATISFIABLE
548.40/550.48 v 2 1 4 4 1 2 4 0 1 2 0 1 4 3 3 2 3 2 1 4
548.40/550.48 d NODES 570182
548.40/550.48 d CHECKS 3066568
548.40/550.48
548.40/550.48 totalWckTime=550.141 totalCpuTime=545.32
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084959-1215232422/watcher-1084959-1215232422 -o /tmp/evaluation-result-1084959-1215232422/solver-1084959-1215232422 -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-1084959-1215232422.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.00 2.00 2.00 4/83 6615
/proc/meminfo: memFree=1090312/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=18572 CPUtime=0
/proc/6615/stat : 6615 (runsolver) R 6613 6615 2716 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 2002217828 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6615/statm: 4643 292 257 25 0 2626 0
[startup+0.0180889 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 6615
/proc/meminfo: memFree=1090312/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=10904 CPUtime=0
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 821 0 0 0 0 0 0 0 18 0 2 0 2002217828 11165696 574 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 2726 574 285 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10904
[startup+0.101778 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 6615
/proc/meminfo: memFree=1090312/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=865884 CPUtime=0.08
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 3680 0 1 0 6 2 0 0 18 0 9 0 2002217828 886665216 3155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216471 3155 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301804 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 6615
/proc/meminfo: memFree=1090312/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=865884 CPUtime=0.14
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 4221 0 1 0 11 3 0 0 18 0 9 0 2002217828 886665216 3656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216471 3656 1822 9 0 211026 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865884
[startup+0.701847 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 6615
/proc/meminfo: memFree=1090312/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=866400 CPUtime=0.53
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 12268 0 1 0 45 8 0 0 18 0 9 0 2002217828 887193600 11638 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216600 11638 1969 9 0 211128 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 866400
[startup+1.50191 s]
/proc/loadavg: 2.16 2.03 2.01 3/92 6624
/proc/meminfo: memFree=970176/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=866400 CPUtime=1.08
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 20387 0 1 0 94 14 0 0 18 0 9 0 2002217828 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216600 19756 1981 9 0 211128 0
[pid=6615/tid=6617] ppid=6613 vsize=866400 CPUtime=0.95
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 15655 0 1 0 84 11 0 0 25 0 9 0 2002217830 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4126567772 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=866400 CPUtime=0.04
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 3724 0 0 0 3 1 0 0 16 0 9 0 2002217831 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=866400 CPUtime=0
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2002217831 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=866400 CPUtime=0
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002217831 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=866400 CPUtime=0
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002217834 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=866400 CPUtime=0.06
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 316 0 0 0 6 0 0 0 16 0 9 0 2002217834 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6623] ppid=6613 vsize=866400 CPUtime=0
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002217834 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=866400 CPUtime=0
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002217834 887193600 19756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 866400
[startup+3.10207 s]
/proc/loadavg: 2.16 2.03 2.01 3/92 6624
/proc/meminfo: memFree=922880/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=866532 CPUtime=2.67
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 30838 0 1 0 245 22 0 0 18 0 9 0 2002217828 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216633 30203 1981 9 0 211161 0
[pid=6615/tid=6617] ppid=6613 vsize=866532 CPUtime=2.28
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 15659 0 1 0 215 13 0 0 25 0 9 0 2002217830 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4126561939 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=866532 CPUtime=0.28
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 14166 0 0 0 21 7 0 0 16 0 9 0 2002217831 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6619] ppid=6613 vsize=866532 CPUtime=0
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2002217831 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=866532 CPUtime=0
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002217831 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=866532 CPUtime=0
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002217834 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=866532 CPUtime=0.07
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 321 0 0 0 7 0 0 0 16 0 9 0 2002217834 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=866532 CPUtime=0
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002217834 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=866532 CPUtime=0
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002217834 887328768 30203 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 866532
[startup+6.30237 s]
/proc/loadavg: 2.16 2.03 2.01 3/92 6624
/proc/meminfo: memFree=865920/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867052 CPUtime=5.5
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 42847 0 1 0 521 29 0 0 18 0 9 0 2002217828 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216763 40051 2608 9 0 211291 0
[pid=6615/tid=6617] ppid=6613 vsize=867052 CPUtime=4.28
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 15711 0 1 0 415 13 0 0 25 0 9 0 2002217830 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4126674601 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867052 CPUtime=1.08
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 25978 0 0 0 94 14 0 0 16 0 9 0 2002217831 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867052 CPUtime=0
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2002217831 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867052 CPUtime=0
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002217831 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867052 CPUtime=0
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002217834 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867052 CPUtime=0.11
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 463 0 0 0 11 0 0 0 15 0 9 0 2002217834 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867052 CPUtime=0
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002217834 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867052 CPUtime=0
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002217834 887861248 40051 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 867052
[startup+12.703 s]
/proc/loadavg: 2.29 2.06 2.02 5/92 6628
/proc/meminfo: memFree=786168/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=11.36
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 107530 266 1 0 1084 50 0 2 18 0 9 0 2002217828 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59753 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=8.42
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 19203 266 1 0 825 15 0 2 25 0 9 0 2002217830 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4126838469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 25 0 9 0 2002217831 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.24
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 636 266 0 0 22 0 0 2 15 0 9 0 2002217834 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 867464
[startup+25.5012 s]
/proc/loadavg: 2.24 2.06 2.02 4/93 6629
/proc/meminfo: memFree=760112/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=24.08
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 107623 266 1 0 2356 50 0 2 18 0 9 0 2002217828 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59770 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=21.1
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 19275 266 1 0 2093 15 0 2 25 0 9 0 2002217830 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4126820517 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 657 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 867464
[startup+51.1017 s]
/proc/loadavg: 2.35 2.10 2.03 3/93 6629
/proc/meminfo: memFree=761072/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=49.55
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 107763 266 1 0 4903 50 0 2 18 0 9 0 2002217828 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59770 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=46.57
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 19415 266 1 0 4640 15 0 2 25 0 9 0 2002217830 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4126820491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 657 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59770 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
################
# More data... #
################
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.31
Current children cumulated vsize (KiB) 867464
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=535.5
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109719 266 1 0 53492 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=532.52
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21369 266 1 0 53229 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 535.5
Current children cumulated vsize (KiB) 867464
[startup+543.903 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=541.9
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109759 266 1 0 54132 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=538.92
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21409 266 1 0 53869 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820684 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 541.9
Current children cumulated vsize (KiB) 867464
[startup+547.102 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=545.1
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109779 266 1 0 54452 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=542.12
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21429 266 1 0 54189 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820674 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (KiB) 867464
[startup+548.701 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=546.7
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109790 266 1 0 54612 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=543.71
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21440 266 1 0 54348 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820601 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 546.7
Current children cumulated vsize (KiB) 867464
[startup+549.501 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=547.5
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109795 266 1 0 54692 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=544.51
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21445 266 1 0 54428 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820533 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) R 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 547.5
Current children cumulated vsize (KiB) 867464
[startup+550.302 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=867464 CPUtime=548.3
/proc/6615/stat : 6615 (java) S 6613 6615 2716 0 -1 0 109799 266 1 0 54772 56 0 2 18 0 9 0 2002217828 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6615/statm: 216866 59772 2635 9 0 211372 0
[pid=6615/tid=6617] ppid=6613 vsize=867464 CPUtime=545.31
/proc/6615/task/6617/stat : 6617 (java) R 6613 6615 2716 0 -1 64 21449 266 1 0 54508 21 0 2 25 0 9 0 2002217830 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4126820491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6618] ppid=6613 vsize=867464 CPUtime=2.69
/proc/6615/task/6618/stat : 6618 (java) S 6613 6615 2716 0 -1 64 86841 266 0 0 236 31 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6619] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6619/stat : 6619 (java) S 6613 6615 2716 0 -1 64 17 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6620] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6620/stat : 6620 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 16 0 9 0 2002217831 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6621] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6621/stat : 6621 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 18 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6622] ppid=6613 vsize=867464 CPUtime=0.28
/proc/6615/task/6622/stat : 6622 (java) S 6613 6615 2716 0 -1 64 659 266 0 0 26 0 0 2 16 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6615/tid=6623] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6623/stat : 6623 (java) S 6613 6615 2716 0 -1 64 1 266 0 0 0 0 0 2 19 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6615/tid=6624] ppid=6613 vsize=867464 CPUtime=0.02
/proc/6615/task/6624/stat : 6624 (java) S 6613 6615 2716 0 -1 64 9 266 0 0 0 0 0 2 15 0 9 0 2002217834 888283136 59772 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 548.3
Current children cumulated vsize (KiB) 867464
[startup+550.502 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 6681
/proc/meminfo: memFree=1223304/2055920 swapFree=4180028/4192956
[pid=6615] ppid=6613 vsize=0 CPUtime=548.5
/proc/6615/stat : 6615 (java) Z 6613 6615 2716 0 -1 12 109925 266 1 0 54790 58 0 2 16 0 2 0 2002217828 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6615/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 548.5
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 550.526
CPU time (s): 548.54
CPU user time (s): 547.911
CPU system time (s): 0.628904
CPU usage (%): 99.6392
Max. virtual memory (cumulated for all children) (KiB): 873060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.911
system time used= 0.628904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110191
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= 12520
involuntary context switches= 8573
runsolver used 0.780881 second user time and 1.73673 second system time
The end
Begin job on node4 at 2008-07-05 06:33:44
IDJOB=1084959
IDBENCH=57590
IDSOLVER=363
FILE ID=node4/1084959-1215232422
PBS_JOBID= 7881779
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-11_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-1084959-1215232422/watcher-1084959-1215232422 -o /tmp/evaluation-result-1084959-1215232422/solver-1084959-1215232422 -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-1084959-1215232422.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9a1e5061af5a11aec5f3135ecda7e6f0
RANDOM SEED=1326536463
node4.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.213
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.213
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: 1090792 kB
Buffers: 58124 kB
Cached: 246304 kB
SwapCached: 7012 kB
Active: 788204 kB
Inactive: 115888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1090792 kB
SwapTotal: 4192956 kB
SwapFree: 4180028 kB
Dirty: 47192 kB
Writeback: 0 kB
Mapped: 611080 kB
Slab: 45124 kB
Committed_AS: 4030852 kB
PageTables: 3068 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= 66404 MiB
End job on node4 at 2008-07-05 06:42:55