0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.27/0.33
0.27/0.33 instance
0.27/0.33 name=HOME/instance-2093365-1247401185.xml
0.27/0.36
0.27/0.36 domains being loaded...
0.27/0.38
0.27/0.38 variables being loaded...
0.37/0.46 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.37/0.46 => wckTime=0.213 cpuTime=0.18 mem=8M868
0.37/0.46
0.37/0.46 relations being loaded...
0.37/0.47
0.37/0.47 constraints being loaded...
1.15/1.23 nbConstraints=5562 nbRelationTypes=21 nbGlobalConstraints=22 nbSingletonDomainVariables=213
1.15/1.23 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
1.15/1.23 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
1.15/1.23 avgArity=2.03 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.289 symmetryCpuTime=0.15 nbCliques=22
1.15/1.23 => wckTime=0.977 cpuTime=0.65 mem=42M136
1.25/1.36
1.25/1.37 solver IterativeSystematicSolver being built...
1.34/1.44
1.34/1.44 INFO : Forward propagation technique limited
1.44/1.52 => wckTime=1.267 cpuTime=0.79 mem=26M627
1.44/1.57
1.44/1.57 preprocessing
1.44/1.57 nbConstraintChecks=45259 nbPropagations=400 nbRevisions=4012 nbUselessRevisions=1070 nbRemovedValues=2942
1.44/1.57 detectedInconsistency=no
1.44/1.57 => wckTime=0.05 cpuTime=0.04 mem=26M627
1.86/1.99
1.86/2.00 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M593)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093365-1247401185/watcher-2093365-1247401185 -o /tmp/evaluation-result-2093365-1247401185/solver-2093365-1247401185 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093365-1247401185.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 0.30 0.14 4/80 28733
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=18576 CPUtime=0
/proc/28733/stat : 28733 (runsolver) R 28731 28733 28528 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27182336 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28733/statm: 4644 284 249 26 0 2626 0
[startup+0.0739871 s]
/proc/loadavg: 1.09 0.30 0.14 4/80 28733
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=864024 CPUtime=0.05
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 2871 0 1 0 4 1 0 0 18 0 9 0 27182336 884760576 2393 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 216006 2393 1134 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101997 s]
/proc/loadavg: 1.09 0.30 0.14 4/80 28733
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=865984 CPUtime=0.08
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 3725 0 1 0 6 2 0 0 18 0 9 0 27182336 886767616 3193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 216496 3193 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302028 s]
/proc/loadavg: 1.09 0.30 0.14 4/80 28733
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=866144 CPUtime=0.27
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 5659 0 1 0 24 3 0 0 18 0 9 0 27182336 886931456 5062 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 216536 5062 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866144
[startup+0.7011 s]
/proc/loadavg: 1.09 0.30 0.14 4/80 28733
/proc/meminfo: memFree=1785552/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=867540 CPUtime=0.67
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 8096 0 1 0 62 5 0 0 18 0 9 0 27182336 888360960 7458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 216885 7458 2003 9 0 211343 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867540
[startup+1.50225 s]
/proc/loadavg: 1.09 0.30 0.14 3/89 28742
/proc/meminfo: memFree=1738312/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868276 CPUtime=1.44
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 26089 466 1 0 126 12 6 0 18 0 10 0 27182336 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217069 16726 2657 9 0 211505 0
[pid=28733/tid=28735] ppid=28731 vsize=868276 CPUtime=1.05
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 19751 466 1 0 90 9 6 0 17 0 10 0 27182338 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868276 CPUtime=0.17
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 4624 466 0 0 11 0 6 0 17 0 10 0 27182339 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868276 CPUtime=0.06
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 466 0 0 0 0 6 0 16 0 10 0 27182339 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868276 CPUtime=0.06
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 466 0 0 0 0 6 0 16 0 10 0 27182339 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868276 CPUtime=0.06
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 466 0 0 0 0 6 0 18 0 10 0 27182342 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868276 CPUtime=0.31
/proc/28733/task/28740/stat : 28740 (java) R 28731 28733 28528 0 -1 64 870 466 0 0 25 0 6 0 16 0 10 0 27182342 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 101771123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868276 CPUtime=0.06
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 466 0 0 0 0 6 0 19 0 10 0 27182342 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868276 CPUtime=0.06
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 10 466 0 0 0 0 6 0 15 0 10 0 27182342 889114624 16726 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 868276
[startup+3.10154 s]
/proc/loadavg: 1.09 0.30 0.14 3/89 28746
/proc/meminfo: memFree=1724936/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868408 CPUtime=3.04
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 26424 591 1 0 284 13 6 1 18 0 9 0 27182336 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217102 16798 2657 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868408 CPUtime=2.54
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 20029 591 1 0 238 9 6 1 25 0 9 0 27182338 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4127127537 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868408 CPUtime=0.18
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 4625 591 0 0 11 0 6 1 17 0 9 0 27182339 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868408 CPUtime=0.42
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 926 591 0 0 34 1 6 1 15 0 9 0 27182342 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 10 591 0 0 0 0 6 1 15 0 9 0 27182342 889249792 16798 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868408
[startup+6.30212 s]
/proc/loadavg: 1.16 0.33 0.15 3/89 28746
/proc/meminfo: memFree=1715208/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868408 CPUtime=6.21
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 27351 591 1 0 601 13 6 1 18 0 9 0 27182336 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217102 16800 2657 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868408 CPUtime=5.72
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 20928 591 1 0 555 10 6 1 25 0 9 0 27182338 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4127210720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868408 CPUtime=0.18
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 4625 591 0 0 11 0 6 1 16 0 9 0 27182339 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868408 CPUtime=0.42
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 929 591 0 0 34 1 6 1 15 0 9 0 27182342 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868408 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889249792 16800 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868408
[startup+12.7013 s]
/proc/loadavg: 1.23 0.35 0.16 3/89 28746
/proc/meminfo: memFree=1707144/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=12.55
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 31864 591 1 0 1233 15 6 1 18 0 9 0 27182336 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 20086 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=12.04
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24358 591 1 0 1185 12 6 1 25 0 9 0 27182338 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4127126612 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.2
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 5707 591 0 0 12 1 6 1 16 0 9 0 27182339 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 930 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 20086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868320
[startup+25.5026 s]
/proc/loadavg: 1.40 0.43 0.19 3/89 28746
/proc/meminfo: memFree=1697416/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=25.22
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 31867 591 1 0 2500 15 6 1 18 0 9 0 27182336 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 20087 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=24.71
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24360 591 1 0 2452 12 6 1 25 0 9 0 27182338 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4127115930 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.2
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 5707 591 0 0 12 1 6 1 16 0 9 0 27182339 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 931 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 20087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 20087 996147200 134512640 134550932 4294955968 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) 868320
[startup+51.1023 s]
/proc/loadavg: 1.60 0.56 0.24 3/89 28746
/proc/meminfo: memFree=1692936/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=50.59
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 32954 591 1 0 5036 16 6 1 18 0 9 0 27182336 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21169 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=50.06
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24363 591 1 0 4987 12 6 1 25 0 9 0 27182338 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4127131636 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.21
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6791 591 0 0 13 1 6 1 16 0 9 0 27182339 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 931 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21169 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21182 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.37
Current children cumulated vsize (KiB) 868320
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/89 29175
/proc/meminfo: memFree=1712200/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1600.35
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33057 591 1 0 159995 33 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1599.71
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24452 591 1 0 159935 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127171362 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.31
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 23 1 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.35
Current children cumulated vsize (KiB) 868320
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/89 29175
/proc/meminfo: memFree=1712264/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1660.32
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33060 591 1 0 165991 34 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1659.68
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24455 591 1 0 165932 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127297407 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.32
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 23 2 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.32
Current children cumulated vsize (KiB) 868320
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/89 29175
/proc/meminfo: memFree=1712200/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1720.29
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33064 591 1 0 171988 34 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1719.64
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24459 591 1 0 171928 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127164558 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.32
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 23 2 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.29
Current children cumulated vsize (KiB) 868320
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/89 29175
/proc/meminfo: memFree=1712136/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1780.27
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33067 591 1 0 177986 34 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1779.61
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24462 591 1 0 177925 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127128645 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.33
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 24 2 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.27
Current children cumulated vsize (KiB) 868320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.1 s]
/proc/loadavg: 2.00 1.97 1.70 3/89 29175
/proc/meminfo: memFree=1712200/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1800.06
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33068 591 1 0 179965 34 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1799.4
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24463 591 1 0 179904 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127132464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.33
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 24 2 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.1 s]
/proc/loadavg: 2.00 1.97 1.70 3/89 29175
/proc/meminfo: memFree=1712200/2055920 swapFree=4192812/4192956
[pid=28733] ppid=28731 vsize=868320 CPUtime=1800.06
/proc/28733/stat : 28733 (java) S 28731 28733 28528 0 -1 0 33068 591 1 0 179965 34 6 1 18 0 9 0 27182336 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28733/statm: 217080 21183 2638 9 0 211538 0
[pid=28733/tid=28735] ppid=28731 vsize=868320 CPUtime=1799.4
/proc/28733/task/28735/stat : 28735 (java) R 28731 28733 28528 0 -1 64 24463 591 1 0 179904 29 6 1 25 0 9 0 27182338 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4127132464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28736] ppid=28731 vsize=868320 CPUtime=0.33
/proc/28733/task/28736/stat : 28736 (java) S 28731 28733 28528 0 -1 64 6804 591 0 0 24 2 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28737] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28737/stat : 28737 (java) S 28731 28733 28528 0 -1 64 19 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28738] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28738/stat : 28738 (java) S 28731 28733 28528 0 -1 64 9 591 0 0 0 0 6 1 16 0 9 0 27182339 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28739] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28739/stat : 28739 (java) S 28731 28733 28528 0 -1 64 2 591 0 0 0 0 6 1 18 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28740] ppid=28731 vsize=868320 CPUtime=0.43
/proc/28733/task/28740/stat : 28740 (java) S 28731 28733 28528 0 -1 64 932 591 0 0 35 1 6 1 16 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28733/tid=28741] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28741/stat : 28741 (java) S 28731 28733 28528 0 -1 64 0 591 0 0 0 0 6 1 19 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28733/tid=28742] ppid=28731 vsize=868320 CPUtime=0.07
/proc/28733/task/28742/stat : 28742 (java) S 28731 28733 28528 0 -1 64 35 591 0 0 0 0 6 1 15 0 9 0 27182342 889159680 21183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868320
Child status: 143
Real time (s): 1802.15
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.373943
CPU usage (%): 99.8878
Max. virtual memory (cumulated for all children) (KiB): 868408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.373943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33686
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= 38671
involuntary context switches= 59639
runsolver used 2.48062 second user time and 5.72713 second system time
The end
Begin job on node45 at 2009-07-12 14:19:46
IDJOB=2093365
IDBENCH=53536
IDSOLVER=773
FILE ID=node45/2093365-1247401185
PBS_JOBID= 9510553
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-4_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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093365-1247401185/watcher-2093365-1247401185 -o /tmp/evaluation-result-2093365-1247401185/solver-2093365-1247401185 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093365-1247401185.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 58552dc0782bd99da35e11d38ee871b0
RANDOM SEED=895175559
node45.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.281
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.281
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: 1786032 kB
Buffers: 33896 kB
Cached: 107544 kB
SwapCached: 0 kB
Active: 159064 kB
Inactive: 55360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5088 kB
Writeback: 0 kB
Mapped: 93368 kB
Slab: 40524 kB
Committed_AS: 1002016 kB
PageTables: 1892 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= 66460 MiB
End job on node45 at 2009-07-12 14:49:50