0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2095566-1247407766.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=12 nbDomainTypes=1 minDomainSize=71 maxDomainSize=71 nbTotalValues=852
0.28/0.37 => wckTime=0.109 cpuTime=0.09 mem=7M892
0.28/0.37
0.28/0.37 predicates being loaded...
0.38/0.43
0.38/0.43 constraints being loaded...
0.98/1.09 nbConstraints=782 nbGlobalConstraints=1 nbMergedConstraints=1210 nbConvertedConstraints=66
0.98/1.09 nbConvertConstraintsChecks=5041 nbExtensionStructures=1 nbSharedExtensionStructures=65 nbConflictsStructures=1
0.98/1.09 nbSharedConflictsStructures=65 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1
0.98/1.09 nbEvaluationManagers=2 nbSharedEvaluationManagers=713 minDegree=232 maxDegree=232 minArity=2 avgArity=3.56
0.98/1.09 maxArity=12 nbGenerators=0 nbFusions=0 symmetryWckTime=0.102 symmetryCpuTime=0.05 nbCliques=1
0.98/1.09 => wckTime=0.835 cpuTime=0.6 mem=29M552
1.07/1.17
1.07/1.18 solver IterativeSystematicSolver being built...
1.26/1.31
1.26/1.31 INFO : Forward propagation technique limited
1.26/1.37 => wckTime=1.117 cpuTime=0.78 mem=33M689
4.14/4.21
4.14/4.21 preprocessing
4.14/4.21 nbConstraintChecks=2699856 nbValidityChecks=5630659 nbPropagations=734 nbRevisions=189713
4.14/4.21 nbUselessRevisions=186029 nbSingletonTests=159 nbEffectiveSingletonTests=15 nbACRemovals=132
4.14/4.21 nbFoundSingletons=0 nbRemovedValues=187 detectedInconsistency=no
4.14/4.21 => wckTime=2.836 cpuTime=2.77 mem=33M689
11.77/11.99
11.77/11.99 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M659)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095566-1247407766/watcher-2095566-1247407766 -o /tmp/evaluation-result-2095566-1247407766/solver-2095566-1247407766 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095566-1247407766.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: 2.02 2.03 2.00 4/80 1776
/proc/meminfo: memFree=1771360/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=10676 CPUtime=0
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27839766 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 2669 474 207 9 0 1184 0
[pid=1776/tid=1777] ppid=1773 vsize=10676 CPUtime=0
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27839767 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 5717976 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.040616 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 1776
/proc/meminfo: memFree=1771360/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=861936 CPUtime=0.03
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 2294 0 1 0 2 1 0 0 18 0 5 0 27839766 882622464 1894 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 215484 1894 867 9 0 210399 0
[pid=1776/tid=1777] ppid=1773 vsize=862776 CPUtime=0.02
/proc/1776/task/1777/stat : 1777 (java) S 1773 1776 32401 0 -1 64 1706 0 1 0 2 0 0 0 18 0 7 0 27839767 883482624 1978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.109478 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 1776
/proc/meminfo: memFree=1771360/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=865984 CPUtime=0.1
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 3825 0 1 0 8 2 0 0 18 0 9 0 27839766 886767616 3271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 216496 3271 1725 9 0 210981 0
[pid=1776/tid=1777] ppid=1773 vsize=865984 CPUtime=0.07
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 2898 0 1 0 6 1 0 0 20 0 9 0 27839767 886767616 3271 996147200 134512640 134550932 4294955968 18446744073709551615 104167979 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865984
[startup+0.301492 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 1776
/proc/meminfo: memFree=1771360/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=866380 CPUtime=0.28
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 5871 0 1 0 25 3 0 0 18 0 9 0 27839766 887173120 5237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 216595 5237 1981 9 0 211053 0
[pid=1776/tid=1777] ppid=1773 vsize=866380 CPUtime=0.22
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 4889 0 1 0 20 2 0 0 21 0 9 0 27839767 887173120 5237 996147200 134512640 134550932 4294955968 18446744073709551615 4159506239 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701529 s]
/proc/loadavg: 2.02 2.03 2.00 4/80 1776
/proc/meminfo: memFree=1771360/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=867732 CPUtime=0.69
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 8822 0 1 0 64 5 0 0 18 0 9 0 27839766 888557568 8176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 216933 8176 2036 9 0 211369 0
[pid=1776/tid=1777] ppid=1773 vsize=867732 CPUtime=0.49
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 7457 0 1 0 46 3 0 0 23 0 9 0 27839767 888557568 8176 996147200 134512640 134550932 4294955968 18446744073709551615 103210643 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867732
[startup+1.5026 s]
/proc/loadavg: 2.02 2.03 2.00 4/89 1785
/proc/meminfo: memFree=1735320/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1.46
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 22667 340 1 0 131 13 1 1 18 0 9 0 27839766 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 13796 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1.09
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15177 340 1 0 97 10 1 1 25 0 9 0 27839767 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4126467365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5727 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.29
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 914 340 0 0 26 1 1 1 16 0 9 0 27839771 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 13796 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 13 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 13796 996147200 134512640 134550932 4294955968 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) 868512
[startup+3.10274 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 1789
/proc/meminfo: memFree=1726232/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=3.05
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 22694 340 1 0 289 14 1 1 18 0 9 0 27839766 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 13821 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=2.66
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15194 340 1 0 254 10 1 1 25 0 9 0 27839767 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4127124919 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 17 0 9 0 27839769 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.31
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 923 340 0 0 28 1 1 1 15 0 9 0 27839771 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 13821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 13 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 13821 996147200 134512640 134550932 4294955968 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) 868512
[startup+6.30202 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 1789
/proc/meminfo: memFree=1724952/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=6.23
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 22988 340 1 0 606 15 1 1 18 0 9 0 27839766 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14079 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=5.82
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15451 340 1 0 569 11 1 1 25 0 9 0 27839767 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4127142855 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.32
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 930 340 0 0 29 1 1 1 15 0 9 0 27839771 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868512
[startup+12.7026 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 1789
/proc/meminfo: memFree=1724568/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=12.56
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23060 340 1 0 1239 15 1 1 18 0 9 0 27839766 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14101 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=12.13
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15467 340 1 0 1200 11 1 1 25 0 9 0 27839767 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4127122828 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 17 0 9 0 27839769 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.34
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 986 340 0 0 31 1 1 1 15 0 9 0 27839771 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14101 996147200 134512640 134550932 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) 868512
[startup+25.5027 s]
/proc/loadavg: 2.09 2.04 2.01 3/89 1789
/proc/meminfo: memFree=1724504/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=25.24
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23106 340 1 0 2507 15 1 1 18 0 9 0 27839766 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14116 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=24.77
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15470 340 1 0 2464 11 1 1 25 0 9 0 27839767 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4127133402 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.37
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1029 340 0 0 34 1 1 1 15 0 9 0 27839771 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14116 996147200 134512640 134550932 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) 868512
[startup+51.103 s]
/proc/loadavg: 2.06 2.04 2.00 3/89 1789
/proc/meminfo: memFree=1724440/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=50.6
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23117 340 1 0 5043 15 1 1 18 0 9 0 27839766 889356288 14123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14123 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=50.12
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15474 340 1 0 4999 11 1 1 25 0 9 0 27839767 889356288 14123 996147200 134512640 134550932 4294955968 18446744073709551615 4127119335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14123 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1527.84
Current children cumulated vsize (KiB) 868512
[startup+1602.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/89 1789
/proc/meminfo: memFree=1723544/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1587.29
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23136 340 1 0 158709 18 1 1 18 0 9 0 27839766 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14135 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1586.81
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15486 340 1 0 158665 14 1 1 25 0 9 0 27839767 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4127122812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.29
Current children cumulated vsize (KiB) 868512
[startup+1662.3 s]
/proc/loadavg: 1.93 2.04 2.02 4/91 1831
/proc/meminfo: memFree=1738488/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1646.73
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23136 340 1 0 164653 18 1 1 18 0 9 0 27839766 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14135 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1646.26
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15486 340 1 0 164609 15 1 1 25 0 9 0 27839767 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4127124996 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1646.73
Current children cumulated vsize (KiB) 868512
[startup+1722.3 s]
/proc/loadavg: 1.97 2.03 2.01 3/89 1831
/proc/meminfo: memFree=1729624/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1706.72
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23136 340 1 0 170651 19 1 1 18 0 9 0 27839766 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14135 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1706.24
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15486 340 1 0 170607 15 1 1 25 0 9 0 27839767 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4127122828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1706.72
Current children cumulated vsize (KiB) 868512
[startup+1782.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/89 1831
/proc/meminfo: memFree=1729368/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1766.7
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23136 340 1 0 176649 19 1 1 18 0 9 0 27839766 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14135 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1766.22
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15486 340 1 0 176605 15 1 1 25 0 9 0 27839767 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4127133032 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14135 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.7
Current children cumulated vsize (KiB) 868512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.7 s]
/proc/loadavg: 1.99 2.02 2.00 3/89 1831
/proc/meminfo: memFree=1729368/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1800.09
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23137 340 1 0 179988 19 1 1 18 0 9 0 27839766 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14136 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1799.61
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15487 340 1 0 179944 15 1 1 25 0 9 0 27839767 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4126889373 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.7 s]
/proc/loadavg: 1.99 2.02 2.00 3/89 1831
/proc/meminfo: memFree=1729368/2055920 swapFree=4192812/4192956
[pid=1776] ppid=1773 vsize=868512 CPUtime=1800.09
/proc/1776/stat : 1776 (java) S 1773 1776 32401 0 -1 0 23137 340 1 0 179988 19 1 1 18 0 9 0 27839766 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1776/statm: 217128 14136 2660 9 0 211564 0
[pid=1776/tid=1777] ppid=1773 vsize=868512 CPUtime=1799.61
/proc/1776/task/1777/stat : 1777 (java) R 1773 1776 32401 0 -1 64 15487 340 1 0 179944 15 1 1 25 0 9 0 27839767 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4126889373 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1776/tid=1779] ppid=1773 vsize=868512 CPUtime=0.08
/proc/1776/task/1779/stat : 1779 (java) S 1773 1776 32401 0 -1 64 5728 340 0 0 6 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1780] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1780/stat : 1780 (java) S 1773 1776 32401 0 -1 64 17 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1781] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1781/stat : 1781 (java) S 1773 1776 32401 0 -1 64 10 340 0 0 0 0 1 1 16 0 9 0 27839769 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1782] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1782/stat : 1782 (java) S 1773 1776 32401 0 -1 64 2 340 0 0 0 0 1 1 18 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1783] ppid=1773 vsize=868512 CPUtime=0.39
/proc/1776/task/1783/stat : 1783 (java) S 1773 1776 32401 0 -1 64 1043 340 0 0 36 1 1 1 16 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1784] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1784/stat : 1784 (java) S 1773 1776 32401 0 -1 64 1 340 0 0 0 0 1 1 19 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1776/tid=1785] ppid=1773 vsize=868512 CPUtime=0.02
/proc/1776/task/1785/stat : 1785 (java) S 1773 1776 32401 0 -1 64 43 340 0 0 0 0 1 1 15 0 9 0 27839771 889356288 14136 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868512
Child status: 143
Real time (s): 1815.74
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.212967
CPU usage (%): 99.1405
Max. virtual memory (cumulated for all children) (KiB): 868512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23506
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= 38456
involuntary context switches= 80195
runsolver used 2.6326 second user time and 5.63714 second system time
The end
Begin job on node58 at 2009-07-12 16:09:26
IDJOB=2095566
IDBENCH=55429
IDSOLVER=774
FILE ID=node58/2095566-1247407766
PBS_JOBID= 9510529
Free space on /tmp= 66312 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-70-12-a4.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095566-1247407766/watcher-2095566-1247407766 -o /tmp/evaluation-result-2095566-1247407766/solver-2095566-1247407766 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095566-1247407766.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17a5880df049540f5bc9b4999c8d510f
RANDOM SEED=351797610
node58.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.234
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.234
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: 1771840 kB
Buffers: 41224 kB
Cached: 129252 kB
SwapCached: 0 kB
Active: 149488 kB
Inactive: 76260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2480 kB
Writeback: 0 kB
Mapped: 75748 kB
Slab: 43652 kB
Committed_AS: 1021256 kB
PageTables: 1816 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= 66312 MiB
End job on node58 at 2009-07-12 16:39:44