0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1080884-1215213627.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.38/0.40
0.38/0.40 variables being loaded...
0.48/0.59 nbVariables=300 nbDomainTypes=300 minDomainSize=1326 maxDomainSize=1424 nbTotalValues=413190
0.48/0.59 => wckTime=0.35 cpuTime=0.25 mem=16M680
0.48/0.59
0.48/0.59 predicates being loaded...
0.58/0.65
0.58/0.65 constraints being loaded...
2.76/2.82 nbConstraints=3145 nbGlobalConstraints=3143 nbConvertedConstraints=2 nbConvertConstraintsChecks=3706242
2.76/2.82 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.76/2.82 nbSharedBinaryRepresentations=253 minDegree=21 maxDegree=22 minArity=2 avgArity=2.09 maxArity=20
2.76/2.82 nbGenerators=0 nbFusions=0 symmetryWckTime=0.756 symmetryCpuTime=0.55 nbCliques=15
2.76/2.82 => wckTime=2.584 cpuTime=2.13 mem=19M286
2.86/2.90
2.86/2.90 solver IterativeSystematicSolver being built...
2.86/2.97
2.86/2.97 INFO : Forward propagation technique limited
2.95/3.06 => wckTime=2.824 cpuTime=2.26 mem=46M974
3.26/3.39
3.26/3.39 preprocessing
3.26/3.39 nbConstraintChecks=66999 nbPropagations=713 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=200340
3.26/3.39 detectedInconsistency=no
3.26/3.39 => wckTime=0.311 cpuTime=0.25 mem=44M868
5.33/5.43
5.33/5.43 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=228, mem=42M319)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080884-1215213627/watcher-1080884-1215213627 -o /tmp/evaluation-result-1080884-1215213627/solver-1080884-1215213627 -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-1080884-1215213627.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.11 2.25 2.13 4/81 12707
/proc/meminfo: memFree=1460160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=1616 CPUtime=0
/proc/12707/stat : 12707 (java) R 12705 12707 9794 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 2000334072 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12707/statm: 404 148 122 9 0 46 0
[startup+0.101332 s]
/proc/loadavg: 2.11 2.25 2.13 4/81 12707
/proc/meminfo: memFree=1460160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=865884 CPUtime=0.08
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 3762 0 1 0 6 2 0 0 18 0 9 0 2000334072 886665216 3218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 216471 3218 1707 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.201351 s]
/proc/loadavg: 2.11 2.25 2.13 4/81 12707
/proc/meminfo: memFree=1460160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=866048 CPUtime=0.19
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 4730 0 1 0 16 3 0 0 18 0 9 0 2000334072 886833152 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 216512 4157 1852 9 0 211060 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866048
[startup+0.301368 s]
/proc/loadavg: 2.11 2.25 2.13 4/81 12707
/proc/meminfo: memFree=1460160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=866196 CPUtime=0.28
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 5624 0 1 0 25 3 0 0 18 0 9 0 2000334072 886984704 5038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 216549 5038 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701437 s]
/proc/loadavg: 2.11 2.25 2.13 4/81 12707
/proc/meminfo: memFree=1460160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=867108 CPUtime=0.67
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 9717 0 1 0 62 5 0 0 18 0 9 0 2000334072 887918592 9077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 216777 9077 2006 9 0 211283 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867108
[startup+1.50258 s]
/proc/loadavg: 2.11 2.25 2.13 3/90 12716
/proc/meminfo: memFree=1417592/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=867720 CPUtime=1.47
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 14118 0 1 0 135 12 0 0 18 0 9 0 2000334072 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 216930 13475 2014 9 0 211436 0
[pid=12707/tid=12709] ppid=12705 vsize=867720 CPUtime=1.26
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 12727 0 1 0 115 11 0 0 25 0 9 0 2000334073 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4126946370 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2000334075 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2000334075 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2000334075 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000334077 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=867720 CPUtime=0.19
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 693 0 0 0 19 0 0 0 16 0 9 0 2000334077 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2000334077 888545280 13475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=867720 CPUtime=0
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000334077 888545280 13475 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) 867720
[startup+3.10286 s]
/proc/loadavg: 2.11 2.25 2.13 3/92 12718
/proc/meminfo: memFree=1401704/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868044 CPUtime=3.06
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 35810 438 1 0 274 28 3 1 18 0 9 0 2000334072 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217011 22517 2637 9 0 211517 0
[pid=12707/tid=12709] ppid=12705 vsize=868044 CPUtime=2.54
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 18735 438 1 0 229 21 3 1 25 0 9 0 2000334073 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868044 CPUtime=0.23
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 15350 438 0 0 15 4 3 1 16 0 9 0 2000334075 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868044 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868044 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868044 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868044 CPUtime=0.34
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 895 438 0 0 29 1 3 1 15 0 9 0 2000334077 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868044 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868044 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 8 438 0 0 0 0 3 1 15 0 9 0 2000334077 888877056 22517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868044
[startup+6.30242 s]
/proc/loadavg: 2.10 2.24 2.13 3/90 12720
/proc/meminfo: memFree=1357168/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=6.22
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 42463 438 1 0 587 31 3 1 18 0 9 0 2000334072 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28216 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=5.57
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 19834 438 1 0 532 21 3 1 25 0 9 0 2000334073 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4127171803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=0.29
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 20825 438 0 0 19 6 3 1 16 0 9 0 2000334075 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.4
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 943 438 0 0 35 1 3 1 15 0 9 0 2000334077 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868172
[startup+12.7025 s]
/proc/loadavg: 2.10 2.24 2.13 3/90 12720
/proc/meminfo: memFree=1356848/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=12.56
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 42510 438 1 0 1221 31 3 1 18 0 9 0 2000334072 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28229 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=11.84
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 19843 438 1 0 1159 21 3 1 25 0 9 0 2000334073 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4127071536 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=0.32
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 20825 438 0 0 22 6 3 1 17 0 9 0 2000334075 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.43
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 981 438 0 0 38 1 3 1 16 0 9 0 2000334077 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28229 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868172
[startup+25.5018 s]
/proc/loadavg: 2.07 2.22 2.12 4/90 12720
/proc/meminfo: memFree=1355056/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=25.24
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 42999 438 1 0 2488 32 3 1 18 0 9 0 2000334072 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28702 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=24.47
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 19858 438 1 0 2422 21 3 1 25 0 9 0 2000334073 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4127183705 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=0.37
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21296 438 0 0 26 7 3 1 17 0 9 0 2000334075 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.44
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 984 438 0 0 39 1 3 1 15 0 9 0 2000334077 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28702 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868172
[startup+51.1023 s]
/proc/loadavg: 2.05 2.20 2.12 3/90 12720
/proc/meminfo: memFree=1354672/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=50.59
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 43102 438 1 0 5023 32 3 1 18 0 9 0 2000334072 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28773 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=49.75
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 19889 438 1 0 4950 21 3 1 25 0 9 0 2000334073 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=0.44
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21368 438 0 0 33 7 3 1 16 0 9 0 2000334075 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.44
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 984 438 0 0 39 1 3 1 16 0 9 0 2000334077 889008128 28773 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
################
# More data... #
################
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1527.9
Current children cumulated vsize (KiB) 868172
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/81 12752
/proc/meminfo: memFree=1521160/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1587.86
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45064 438 1 0 158730 52 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1584.05
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21752 438 1 0 158371 30 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4127286025 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.41
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 318 19 3 1 17 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.86
Current children cumulated vsize (KiB) 868172
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/81 12752
/proc/meminfo: memFree=1521096/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1647.84
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45131 438 1 0 164727 53 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1643.92
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21819 438 1 0 164358 30 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.51
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 328 19 3 1 17 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.84
Current children cumulated vsize (KiB) 868172
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.07 3/81 12752
/proc/meminfo: memFree=1521032/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1707.81
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45204 438 1 0 170723 54 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1703.79
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21892 438 1 0 170345 30 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4127181051 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.62
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 338 20 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.81
Current children cumulated vsize (KiB) 868172
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/81 12779
/proc/meminfo: memFree=1520776/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1767.78
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45275 438 1 0 176719 55 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1763.67
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21963 438 1 0 176332 31 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4127230426 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.7
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 346 20 3 1 17 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.78
Current children cumulated vsize (KiB) 868172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.6 s]
/proc/loadavg: 2.09 2.06 2.06 3/81 12779
/proc/meminfo: memFree=1520840/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1800.07
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45309 438 1 0 179948 55 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1795.92
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21997 438 1 0 179557 31 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4127251714 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.74
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 350 20 3 1 17 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.6 s]
/proc/loadavg: 2.09 2.06 2.06 3/81 12779
/proc/meminfo: memFree=1520840/2055920 swapFree=4180700/4192956
[pid=12707] ppid=12705 vsize=868172 CPUtime=1800.07
/proc/12707/stat : 12707 (java) S 12705 12707 9794 0 -1 0 45309 438 1 0 179948 55 3 1 18 0 9 0 2000334072 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12707/statm: 217043 28871 2637 9 0 211549 0
[pid=12707/tid=12709] ppid=12705 vsize=868172 CPUtime=1795.92
/proc/12707/task/12709/stat : 12709 (java) R 12705 12707 9794 0 -1 64 21997 438 1 0 179557 31 3 1 25 0 9 0 2000334073 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4127251714 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12710] ppid=12705 vsize=868172 CPUtime=3.74
/proc/12707/task/12710/stat : 12710 (java) S 12705 12707 9794 0 -1 64 21464 438 0 0 350 20 3 1 17 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12707/tid=12711] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12711/stat : 12711 (java) S 12705 12707 9794 0 -1 64 21 438 0 0 0 0 3 1 16 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12712] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12712/stat : 12712 (java) S 12705 12707 9794 0 -1 64 16 438 0 0 0 0 3 1 15 0 9 0 2000334075 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12713] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12713/stat : 12713 (java) S 12705 12707 9794 0 -1 64 0 438 0 0 0 0 3 1 18 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12714] ppid=12705 vsize=868172 CPUtime=0.45
/proc/12707/task/12714/stat : 12714 (java) S 12705 12707 9794 0 -1 64 987 438 0 0 40 1 3 1 16 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12715] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12715/stat : 12715 (java) S 12705 12707 9794 0 -1 64 2 438 0 0 0 0 3 1 19 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12707/tid=12716] ppid=12705 vsize=868172 CPUtime=0.04
/proc/12707/task/12716/stat : 12716 (java) S 12705 12707 9794 0 -1 64 39 438 0 0 0 0 3 1 15 0 9 0 2000334077 889008128 28871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868172
Child status: 143
Real time (s): 1814.65
CPU time (s): 1800.13
CPU user time (s): 1799.54
CPU system time (s): 0.59091
CPU usage (%): 99.1999
Max. virtual memory (cumulated for all children) (KiB): 869636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.59091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45777
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= 51813
involuntary context switches= 83330
runsolver used 2.6006 second user time and 5.66714 second system time
The end
Begin job on node61 at 2008-07-05 01:20:27
IDJOB=1080884
IDBENCH=57038
IDSOLVER=364
FILE ID=node61/1080884-1215213627
PBS_JOBID= 7881660
Free space on /tmp= 66496 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-3.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-1080884-1215213627/watcher-1080884-1215213627 -o /tmp/evaluation-result-1080884-1215213627/solver-1080884-1215213627 -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-1080884-1215213627.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9ba2c05d75416be79db8f8c7771688d8
RANDOM SEED=674818518
node61.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.269
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.269
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: 1460640 kB
Buffers: 59748 kB
Cached: 292832 kB
SwapCached: 6188 kB
Active: 343912 kB
Inactive: 193184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1460640 kB
SwapTotal: 4192956 kB
SwapFree: 4180700 kB
Dirty: 2476 kB
Writeback: 0 kB
Mapped: 200656 kB
Slab: 43052 kB
Committed_AS: 4205568 kB
PageTables: 2180 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node61 at 2008-07-05 01:50:44