0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2094960-1247405783.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.48/0.59 nbVariables=3300 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2 nbTotalValues=6599
0.48/0.59 => wckTime=0.336 cpuTime=0.21 mem=16M849
0.48/0.59
0.48/0.59 predicates being loaded...
0.78/0.80
0.78/0.80 constraints being loaded...
3.04/3.16 nbConstraints=1973 nbGlobalConstraints=5 nbMergedConstraints=604 nbSingletonDomainVariables=1
3.04/3.16 nbDisconnectedVariables=1 nbConvertedConstraints=1364 nbConvertConstraintsChecks=540 nbExtensionStructures=1
3.04/3.16 nbSharedExtensionStructures=1363 nbConflictsStructures=4 nbSharedConflictsStructures=1948
3.04/3.16 nbUnbuiltConflictsStructures=3 nbSharedBinaryRepresentations=2 nbEvaluationManagers=6
3.04/3.16 nbSharedEvaluationManagers=598 minDegree=0 maxDegree=4 minArity=2 avgArity=6.06 maxArity=870 nbGenerators=5
3.04/3.16 nbFusions=0 symmetryWckTime=1.055 symmetryCpuTime=0.85
3.04/3.16 => wckTime=2.907 cpuTime=2.35 mem=49M107
3.14/3.26
3.14/3.26 solver IterativeSystematicSolver being built...
3.25/3.38
3.25/3.38 INFO : Forward propagation technique limited
3.45/3.57 => wckTime=3.315 cpuTime=2.61 mem=26M380
67.22/67.38
67.22/67.38 INFO : Stopping ESAC
67.22/67.38
67.22/67.38 preprocessing
67.22/67.38 nbConstraintChecks=2098792 nbValidityChecks=1554 nbPropagations=3691 nbRevisions=1500 nbUselessRevisions=1498
67.22/67.38 nbSingletonTests=391 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
67.22/67.38 detectedInconsistency=no
67.22/67.38 => wckTime=63.799 cpuTime=63.73 mem=29M327
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094960-1247405783/watcher-2094960-1247405783 -o /tmp/evaluation-result-2094960-1247405783/solver-2094960-1247405783 -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-2094960-1247405783.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.93 1.98 1.99 4/80 30612
/proc/meminfo: memFree=1716536/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=272 CPUtime=0
/proc/30612/stat : 30612 (java) R 30610 30612 29462 0 -1 0 53 0 0 0 0 0 0 0 19 0 1 0 27644578 278528 37 996147200 134512640 134550932 4294956128 18446744073709551615 10687268 0 0 4096 0 0 0 0 17 0 0 0
/proc/30612/statm: 68 37 28 9 0 6 0
[startup+0.054791 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 30612
/proc/meminfo: memFree=1716536/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=863776 CPUtime=0.04
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 2603 0 1 0 3 1 0 0 19 0 9 0 27644578 884506624 2168 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 215944 2168 1024 9 0 210859 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863776
[startup+0.101801 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 30612
/proc/meminfo: memFree=1716536/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=865984 CPUtime=0.09
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 3736 0 1 0 7 2 0 0 19 0 9 0 27644578 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216496 3204 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301837 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 30612
/proc/meminfo: memFree=1716536/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=866380 CPUtime=0.29
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 5893 0 1 0 25 4 0 0 19 0 9 0 27644578 887173120 5259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216595 5259 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701909 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 30612
/proc/meminfo: memFree=1716536/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867616 CPUtime=0.68
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 10748 0 1 0 62 6 0 0 19 0 9 0 27644578 888438784 10102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216904 10102 2038 9 0 211340 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867616
[startup+1.50206 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 30621
/proc/meminfo: memFree=1664752/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867528 CPUtime=1.47
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 18244 0 1 0 130 17 0 0 19 0 9 0 27644578 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216882 17570 2032 9 0 211340 0
[pid=30612/tid=30614] ppid=30610 vsize=867528 CPUtime=1.17
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 15825 0 1 0 102 15 0 0 25 0 9 0 27644579 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4126561075 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867528 CPUtime=0.03
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 1035 0 0 0 3 0 0 0 16 0 9 0 27644580 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867528 CPUtime=0
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27644581 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867528 CPUtime=0
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27644581 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867528 CPUtime=0
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27644583 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867528 CPUtime=0.23
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 683 0 0 0 23 0 0 0 15 0 9 0 27644583 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867528 CPUtime=0
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27644583 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867528 CPUtime=0
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27644583 888348672 17570 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867528
[startup+3.10134 s]
/proc/loadavg: 1.93 1.98 1.99 4/89 30621
/proc/meminfo: memFree=1641584/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867852 CPUtime=3.04
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 37057 565 1 0 267 24 12 1 19 0 9 0 27644578 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216963 22179 2045 9 0 211421 0
[pid=30612/tid=30614] ppid=30610 vsize=867852 CPUtime=2.61
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28636 565 1 0 228 20 12 1 25 0 9 0 27644579 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4127177448 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867852 CPUtime=0.24
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 6687 565 0 0 9 2 12 1 16 0 9 0 27644580 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867852 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 17 0 9 0 27644581 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867852 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867852 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867852 CPUtime=0.43
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 883 565 0 0 29 1 12 1 15 0 9 0 27644583 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867852 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888680448 22179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867852 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 13 565 0 0 0 0 12 1 15 0 9 0 27644583 888680448 22179 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) 867852
[startup+6.30292 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 30625
/proc/meminfo: memFree=1632112/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=6.24
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41207 565 1 0 586 25 12 1 19 0 9 0 27644578 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23568 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=5.63
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28879 565 1 0 530 20 12 1 25 0 9 0 27644579 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4127073516 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.5
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 973 565 0 0 36 1 12 1 15 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867956
[startup+12.7021 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 30625
/proc/meminfo: memFree=1631952/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=12.64
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41207 565 1 0 1226 25 12 1 19 0 9 0 27644578 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23568 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=12.02
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28879 565 1 0 1169 20 12 1 25 0 9 0 27644579 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4127076169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.5
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 973 565 0 0 36 1 12 1 15 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 867956
[startup+25.5014 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 30625
/proc/meminfo: memFree=1632088/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=25.43
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41208 565 1 0 2505 25 12 1 19 0 9 0 27644578 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23568 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=24.81
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28880 565 1 0 2448 20 12 1 25 0 9 0 27644579 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4127076228 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.5
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 973 565 0 0 36 1 12 1 16 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 867956
[startup+51.102 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 30625
/proc/meminfo: memFree=1632088/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=51.02
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41232 565 1 0 5063 26 12 1 19 0 9 0 27644578 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23575 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=50.39
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28885 565 1 0 5006 20 12 1 25 0 9 0 27644579 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4127306794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.51
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 992 565 0 0 37 1 12 1 15 0 9 0 27644583 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.36
Current children cumulated vsize (KiB) 867956
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1599.79
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 159937 29 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1599.14
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 159877 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4127080985 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.79
Current children cumulated vsize (KiB) 867956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1659.22
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 165880 29 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1658.57
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 165820 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4127076151 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.22
Current children cumulated vsize (KiB) 867956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1718.67
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 171824 30 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1718
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 171763 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4127073489 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.67
Current children cumulated vsize (KiB) 867956
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1778.1
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 177767 30 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1777.43
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 177706 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4127080357 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) S 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.1
Current children cumulated vsize (KiB) 867956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.5 s]
/proc/loadavg: 2.02 2.03 2.00 4/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1800.09
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 179966 30 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1799.42
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 179905 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4126467491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) R 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 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) 867956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.5 s]
/proc/loadavg: 2.02 2.03 2.00 4/89 30787
/proc/meminfo: memFree=1633696/2055920 swapFree=4192812/4192956
[pid=30612] ppid=30610 vsize=867956 CPUtime=1800.09
/proc/30612/stat : 30612 (java) S 30610 30612 29462 0 -1 0 41282 565 1 0 179966 30 12 1 19 0 9 0 27644578 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30612/statm: 216989 23594 2640 9 0 211447 0
[pid=30612/tid=30614] ppid=30610 vsize=867956 CPUtime=1799.42
/proc/30612/task/30614/stat : 30614 (java) R 30610 30612 29462 0 -1 64 28893 565 1 0 179905 24 12 1 25 0 9 0 27644579 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4126467491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30615] ppid=30610 vsize=867956 CPUtime=0.34
/proc/30612/task/30615/stat : 30615 (java) S 30610 30612 29462 0 -1 64 10481 565 0 0 19 2 12 1 16 0 9 0 27644580 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30616] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30616/stat : 30616 (java) S 30610 30612 29462 0 -1 64 24 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30617] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30617/stat : 30617 (java) S 30610 30612 29462 0 -1 64 9 565 0 0 0 0 12 1 16 0 9 0 27644581 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30612/tid=30618] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30618/stat : 30618 (java) S 30610 30612 29462 0 -1 64 2 565 0 0 0 0 12 1 18 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30619] ppid=30610 vsize=867956 CPUtime=0.53
/proc/30612/task/30619/stat : 30619 (java) S 30610 30612 29462 0 -1 64 1034 565 0 0 39 1 12 1 16 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30620] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30620/stat : 30620 (java) S 30610 30612 29462 0 -1 64 0 565 0 0 0 0 12 1 19 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30612/tid=30621] ppid=30610 vsize=867956 CPUtime=0.13
/proc/30612/task/30621/stat : 30621 (java) R 30610 30612 29462 0 -1 64 36 565 0 0 0 0 12 1 15 0 9 0 27644583 888786944 23594 996147200 134512640 134550932 4294955968 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) 867956
Child status: 143
Real time (s): 1804.58
CPU time (s): 1800.18
CPU user time (s): 1799.84
CPU system time (s): 0.333949
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 868044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41878
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= 38416
involuntary context switches= 28744
runsolver used 2.39864 second user time and 5.83011 second system time
The end
Begin job on node27 at 2009-07-12 15:36:23
IDJOB=2094960
IDBENCH=54685
IDSOLVER=774
FILE ID=node27/2094960-1247405783
PBS_JOBID= 9510590
Free space on /tmp= 66320 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/course/normalized-ws97-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094960-1247405783/watcher-2094960-1247405783 -o /tmp/evaluation-result-2094960-1247405783/solver-2094960-1247405783 -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-2094960-1247405783.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6b29740823b1b2ba28b05996f386f881
RANDOM SEED=223929495
node27.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 : 2800.239
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 : 5521.40
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 : 2800.239
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: 1717016 kB
Buffers: 36388 kB
Cached: 138168 kB
SwapCached: 0 kB
Active: 197472 kB
Inactive: 83936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3008 kB
Writeback: 0 kB
Mapped: 127296 kB
Slab: 42576 kB
Committed_AS: 1003800 kB
PageTables: 1932 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66320 MiB
End job on node27 at 2009-07-12 16:06:30