0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1050179-1215048500.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.57/0.60 nbVariables=4250 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=8500
0.57/0.60 => wckTime=0.341 cpuTime=0.24 mem=18M581
0.57/0.60
0.57/0.60 predicates being loaded...
0.57/0.66
0.57/0.66 constraints being loaded...
16.21/16.41 nbConstraints=68413 nbGlobalConstraints=16 nbConvertedConstraints=68272 nbConvertConstraintsChecks=8
16.30/16.54 nbExtensionStructures=2 nbSharedExtensionStructures=68270 nbConflictsStructures=2
16.30/16.54 nbSharedConflictsStructures=68270 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
16.30/16.54 nbEvaluationManagers=1 nbSharedEvaluationManagers=124 minDegree=3 maxDegree=78 minArity=2 avgArity=2.14
16.30/16.54 maxArity=500 nbGenerators=16 nbFusions=0 symmetryWckTime=5.573 symmetryCpuTime=2.16
16.30/16.54 => wckTime=16.154 cpuTime=11.2 mem=115M256
16.89/17.13
16.89/17.13 solver IterativeSystematicSolver being built...
16.99/17.27
16.99/17.27 INFO : Forward propagation technique limited
17.19/17.49 => wckTime=17.228 cpuTime=11.49 mem=136M857
17.40/17.63
17.40/17.64 preprocessing
17.40/17.64 nbConstraintChecks=2250 nbValidityChecks=2125 nbPropagations=4250 nbRevisions=2125 nbUselessRevisions=2125
17.40/17.64 nbRemovedValues=0 detectedInconsistency=no
17.40/17.64 => wckTime=0.139 cpuTime=0.11 mem=137M817
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050179-1215048500/watcher-1050179-1215048500 -o /tmp/evaluation-result-1050179-1215048500/solver-1050179-1215048500 -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-1050179-1215048500.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 16752
/proc/meminfo: memFree=1766672/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=1616 CPUtime=0
/proc/16752/stat : 16752 (java) R 16750 16752 15638 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1983822500 1654784 148 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/16752/statm: 404 148 122 9 0 46 0
[startup+0.0294691 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 16752
/proc/meminfo: memFree=1766672/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=861876 CPUtime=0.03
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 2249 0 1 0 2 1 0 0 18 0 5 0 1983822500 882561024 1860 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 215469 1860 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.113328 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 16752
/proc/meminfo: memFree=1766672/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=865884 CPUtime=0.09
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 3815 0 1 0 8 1 0 0 18 0 9 0 1983822500 886665216 3266 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216471 3266 1724 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301344 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 16752
/proc/meminfo: memFree=1766672/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=866372 CPUtime=0.28
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 5799 0 1 0 24 4 0 0 18 0 9 0 1983822500 887164928 5173 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216593 5173 1953 9 0 211121 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866372
[startup+0.701389 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 16752
/proc/meminfo: memFree=1766672/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=867484 CPUtime=0.67
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 10285 0 1 0 60 7 0 0 18 0 9 0 1983822500 888303616 9645 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216871 9645 2008 9 0 211377 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867484
[startup+1.50148 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 16761
/proc/meminfo: memFree=1720776/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=867396 CPUtime=1.46
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 18915 0 1 0 135 11 0 0 18 0 9 0 1983822500 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216849 18250 2001 9 0 211377 0
[pid=16752/tid=16754] ppid=16750 vsize=867396 CPUtime=1.19
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 15732 0 1 0 110 9 0 0 25 0 9 0 1983822501 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 102887968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=867396 CPUtime=0.08
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 1853 0 0 0 8 0 0 0 16 0 9 0 1983822503 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983822505 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=867396 CPUtime=0.16
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 632 0 0 0 16 0 0 0 16 0 9 0 1983822505 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1983822505 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983822505 888213504 18250 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867396
[startup+3.10265 s]
/proc/loadavg: 1.98 1.98 1.99 4/83 16761
/proc/meminfo: memFree=1698376/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=867396 CPUtime=3.05
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 22854 0 1 0 290 15 0 0 18 0 9 0 1983822500 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216849 22187 2001 9 0 211377 0
[pid=16752/tid=16754] ppid=16750 vsize=867396 CPUtime=2.53
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 15737 0 1 0 243 10 0 0 25 0 9 0 1983822501 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=867396 CPUtime=0.32
/proc/16752/task/16755/stat : 16755 (java) R 16750 16752 15638 0 -1 64 5786 0 0 0 29 3 0 0 16 0 9 0 1983822503 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983822505 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=867396 CPUtime=0.16
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 633 0 0 0 16 0 0 0 16 0 9 0 1983822505 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1983822505 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983822505 888213504 22187 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867396
[startup+6.30201 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 16761
/proc/meminfo: memFree=1667208/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=867396 CPUtime=6.22
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 30004 0 1 0 509 113 0 0 18 0 9 0 1983822500 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216849 29331 2006 9 0 211377 0
[pid=16752/tid=16754] ppid=16750 vsize=867396 CPUtime=5.2
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 15777 0 1 0 415 105 0 0 25 0 9 0 1983822501 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=867396 CPUtime=0.76
/proc/16752/task/16755/stat : 16755 (java) R 16750 16752 15638 0 -1 64 12853 0 0 0 71 5 0 0 17 0 9 0 1983822503 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983822503 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983822505 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=867396 CPUtime=0.22
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 676 0 0 0 22 0 0 0 16 0 9 0 1983822505 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1983822505 888213504 29331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=867396 CPUtime=0
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983822505 888213504 29331 996147200 134512640 134550740 4294955984 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) 867396
[startup+12.7017 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 16763
/proc/meminfo: memFree=1599928/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=867720 CPUtime=11.35
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 41649 0 1 0 823 312 0 0 18 0 10 0 1983822500 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 216930 40801 2012 9 0 211458 0
[pid=16763] ppid=16752 vsize=22248 CPUtime=1.19
/proc/16763/stat : 16763 (saucy) R 16752 16752 15638 0 -1 4194304 2884 0 0 0 117 2 0 0 25 0 1 0 1983823647 22781952 2820 996147200 134512640 134531332 4294956000 18446744073709551615 134523714 0 4 0 0 0 0 0 17 1 0 0
/proc/16763/statm: 5562 2820 95 4 0 5238 0
[pid=16752/tid=16754] ppid=16750 vsize=867720 CPUtime=9.62
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 15638 0 -1 64 15865 0 1 0 664 298 0 0 24 0 10 0 1983822501 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=867720 CPUtime=1.45
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 24324 0 0 0 134 11 0 0 16 0 10 0 1983822503 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1983822503 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1983822503 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983822505 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=867720 CPUtime=0.24
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 687 0 0 0 23 1 0 0 16 0 10 0 1983822505 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 0 0 0 0 0 0 0 19 0 10 0 1983822505 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1983822505 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16762] ppid=16750 vsize=867720 CPUtime=0
/proc/16752/task/16762/stat : 16762 (java) S 16750 16752 15638 0 -1 64 69 0 0 0 0 0 0 0 23 0 10 0 1983823647 888545280 40801 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 889968
[startup+25.5011 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 16765
/proc/meminfo: memFree=1599288/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=25.22
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87481 4922 1 0 1900 322 295 5 18 0 9 0 1983822500 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43810 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=22.53
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39283 4922 1 0 1650 303 295 5 25 0 9 0 1983822501 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4127411401 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 17 0 9 0 1983822503 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1084 4922 0 0 41 1 295 5 15 0 9 0 1983822505 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43810 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868132
[startup+51.105 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 16765
/proc/meminfo: memFree=1597240/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=50.58
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87484 4922 1 0 4435 323 295 5 18 0 9 0 1983822500 888967168 43811 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43811 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=47.89
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39285 4922 1 0 4185 304 295 5 25 0 9 0 1983822501 888967168 43811 996147200 134512640 134550740 4294955984 18446744073709551615 4127354288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43811 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43811 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43811 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.77
Current children cumulated vsize (KiB) 868132
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 16767
/proc/meminfo: memFree=1576440/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1587.21
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 158098 323 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1584.52
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 157848 304 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127357353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.21
Current children cumulated vsize (KiB) 868132
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 16767
/proc/meminfo: memFree=1576312/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1646.65
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 164042 323 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1643.95
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 163791 304 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127354165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.65
Current children cumulated vsize (KiB) 868132
[startup+1722.3 s]
/proc/loadavg: 1.94 1.97 1.99 3/81 16976
/proc/meminfo: memFree=1622920/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1706.32
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 170006 326 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1703.63
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 169756 307 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127352306 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.32
Current children cumulated vsize (KiB) 868132
[startup+1782.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/81 16976
/proc/meminfo: memFree=1622984/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1766.3
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 176004 326 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1763.6
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 175753 307 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127411411 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.3
Current children cumulated vsize (KiB) 868132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.11 s]
/proc/loadavg: 1.98 1.97 1.99 3/81 16976
/proc/meminfo: memFree=1622856/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1800.09
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 179383 326 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1797.4
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 179133 307 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127352282 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.11 s]
/proc/loadavg: 1.98 1.97 1.99 3/81 16976
/proc/meminfo: memFree=1622856/2055920 swapFree=4180076/4192956
[pid=16752] ppid=16750 vsize=868132 CPUtime=1800.09
/proc/16752/stat : 16752 (java) S 16750 16752 15638 0 -1 0 87492 4922 1 0 179383 326 295 5 18 0 9 0 1983822500 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 217033 43814 2637 9 0 211539 0
[pid=16752/tid=16754] ppid=16750 vsize=868132 CPUtime=1797.4
/proc/16752/task/16754/stat : 16754 (java) R 16750 16752 15638 0 -1 64 39289 4922 1 0 179133 307 295 5 25 0 9 0 1983822501 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4127352282 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16752/tid=16755] ppid=16750 vsize=868132 CPUtime=5.23
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 15638 0 -1 64 46261 4922 0 0 208 15 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 15638 0 -1 64 21 4922 0 0 0 0 295 5 16 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 15638 0 -1 64 13 4922 0 0 0 0 295 5 17 0 9 0 1983822503 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 15638 0 -1 64 1 4922 0 0 0 0 295 5 18 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=868132 CPUtime=3.42
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 15638 0 -1 64 1089 4922 0 0 41 1 295 5 16 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 15638 0 -1 64 2 4922 0 0 0 0 295 5 19 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16752/tid=16761] ppid=16750 vsize=868132 CPUtime=3
/proc/16752/task/16761/stat : 16761 (java) S 16750 16752 15638 0 -1 64 15 4922 0 0 0 0 295 5 15 0 9 0 1983822505 888967168 43814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868132
Child status: 143
Real time (s): 1816.15
CPU time (s): 1800.16
CPU user time (s): 1796.81
CPU system time (s): 3.34749
CPU usage (%): 99.1193
Max. virtual memory (cumulated for all children) (KiB): 894324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 3.34749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92445
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= 39337
involuntary context switches= 71682
runsolver used 2.53161 second user time and 5.74013 second system time
The end
Begin job on node42 at 2008-07-03 03:28:20
IDJOB=1050179
IDBENCH=54865
IDSOLVER=363
FILE ID=node42/1050179-1215048500
PBS_JOBID= 7875092
Free space on /tmp= 66516 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-g-125-17.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-1050179-1215048500/watcher-1050179-1215048500 -o /tmp/evaluation-result-1050179-1215048500/solver-1050179-1215048500 -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-1050179-1215048500.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 28adb903193f339f0a75306072f25750
RANDOM SEED=2139806481
node42.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.214
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.214
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: 1767216 kB
Buffers: 33220 kB
Cached: 160164 kB
SwapCached: 6808 kB
Active: 92788 kB
Inactive: 123732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767216 kB
SwapTotal: 4192956 kB
SwapFree: 4180076 kB
Dirty: 10736 kB
Writeback: 0 kB
Mapped: 30096 kB
Slab: 57452 kB
Committed_AS: 3477412 kB
PageTables: 1912 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= 66524 MiB
End job on node42 at 2008-07-03 03:58:38