0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2094253-1247403064.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.38/0.43
0.38/0.43 variables being loaded...
0.48/0.54 nbVariables=800 nbDomainTypes=437 minDomainSize=1 maxDomainSize=34 nbTotalValues=13774
0.48/0.54 => wckTime=0.281 cpuTime=0.19 mem=10M813
0.48/0.54
0.48/0.54 predicates being loaded...
0.58/0.60
0.58/0.60 constraints being loaded...
21.58/21.90
21.58/21.90 INFO : Stopping converting binary constraints (cpu=20.05, mem = 138M928)
34.03/34.46 nbConstraints=41851 nbGlobalConstraints=300 nbSingletonDomainVariables=92 nbConflictsStructures=6867
34.03/34.46 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=34684 nbSharedBinaryRepresentations=0
34.03/34.46 nbEvaluationManagers=41551 nbSharedEvaluationManagers=0 minDegree=92 maxDegree=368 minArity=4 avgArity=4.12
34.03/34.46 maxArity=24 nbGenerators=0 nbFusions=0 symmetryWckTime=2.227 symmetryCpuTime=0.78
34.03/34.46 => wckTime=34.197 cpuTime=30.53 mem=260M45
34.85/35.24
34.85/35.25 solver IterativeSystematicSolver being built...
36.92/37.32
36.92/37.33 INFO : Forward propagation technique limited
37.02/37.42 => wckTime=37.165 cpuTime=31.86 mem=393M374
38.91/39.31
38.91/39.31 preprocessing
38.91/39.31 nbConstraintChecks=2536442 nbValidityChecks=117680 nbPropagations=800 nbRevisions=138736
38.91/39.31 nbUselessRevisions=138736 nbRemovedValues=0 detectedInconsistency=no
38.91/39.31 => wckTime=1.885 cpuTime=1.84 mem=399M506
76.15/76.91
76.15/76.91 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=392M207)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094253-1247403064/watcher-2094253-1247403064 -o /tmp/evaluation-result-2094253-1247403064/solver-2094253-1247403064 -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-2094253-1247403064.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.15 2.00 1.74 4/80 31978
/proc/meminfo: memFree=1808432/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=861936 CPUtime=0.02
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 1877 0 1 0 1 1 0 0 18 0 5 0 27374177 882622464 1562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 215484 1562 686 9 0 210399 0
[pid=31978/tid=31979] ppid=31976 vsize=861936 CPUtime=0
/proc/31978/task/31979/stat : 31979 (java) S 31976 31978 31535 0 -1 64 1187 0 1 0 0 0 0 0 19 0 5 0 27374178 882622464 1562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=861936 CPUtime=0
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 5 0 27374180 882622464 1562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=861936 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 11 0 0 0 0 0 0 0 19 0 5 0 27374180 882622464 1562 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=861936 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) R 31976 31978 31535 0 -1 64 0 0 0 0 0 0 0 0 20 0 5 0 27374180 882622464 1562 996147200 134512640 134550932 4294955968 18446744073709551615 6676440 0 4 0 16784584 0 0 0 -1 1 0 0
[startup+0.120112 s]
/proc/loadavg: 2.15 2.00 1.74 4/80 31978
/proc/meminfo: memFree=1808432/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=865984 CPUtime=0.1
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 3986 0 1 0 8 2 0 0 18 0 9 0 27374177 886767616 3415 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216496 3415 1781 9 0 210981 0
[pid=31978/tid=31979] ppid=31976 vsize=865984 CPUtime=0.07
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 3060 0 1 0 6 1 0 0 20 0 9 0 27374178 886767616 3415 996147200 134512640 134550932 4294955968 18446744073709551615 102253702 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=865984 CPUtime=0
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374180 886767616 3415 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=865984 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27374180 886767616 3415 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=865984 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 27374180 886767616 3415 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 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.201119 s]
/proc/loadavg: 2.15 2.00 1.74 4/80 31978
/proc/meminfo: memFree=1808432/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=866144 CPUtime=0.18
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 4687 0 1 0 15 3 0 0 18 0 9 0 27374177 886931456 4104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216536 4104 1885 9 0 211014 0
[pid=31978/tid=31979] ppid=31976 vsize=866144 CPUtime=0.15
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 3759 0 1 0 13 2 0 0 20 0 9 0 27374178 886931456 4104 996147200 134512640 134550932 4294955968 18446744073709551615 4125969649 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=866144 CPUtime=0
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374180 886931456 4104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=866144 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27374180 886931456 4104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=866144 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 27374180 886931456 4104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144
[startup+0.30113 s]
/proc/loadavg: 2.15 2.00 1.74 4/80 31978
/proc/meminfo: memFree=1808432/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=866380 CPUtime=0.29
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 5863 0 1 0 25 4 0 0 18 0 9 0 27374177 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216595 5229 1981 9 0 211053 0
[pid=31978/tid=31979] ppid=31976 vsize=866380 CPUtime=0.22
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 4882 0 1 0 19 3 0 0 18 0 9 0 27374178 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 104186004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=866380 CPUtime=0
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374180 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=866380 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27374180 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=866380 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 27374180 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701178 s]
/proc/loadavg: 2.15 2.00 1.74 4/80 31978
/proc/meminfo: memFree=1808432/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867808 CPUtime=0.68
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 8801 0 1 0 62 6 0 0 18 0 9 0 27374177 888635392 8155 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216952 8155 2038 9 0 211388 0
[pid=31978/tid=31979] ppid=31976 vsize=867808 CPUtime=0.49
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 7439 0 1 0 44 5 0 0 19 0 9 0 27374178 888635392 8155 996147200 134512640 134550932 4294955968 18446744073709551615 4126578783 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=867808 CPUtime=0
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374180 888635392 8155 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=867808 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 27374180 888635392 8155 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=867808 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 27374180 888635392 8155 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867808
[startup+1.50227 s]
/proc/loadavg: 2.15 2.00 1.74 3/89 31987
/proc/meminfo: memFree=1760296/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867720 CPUtime=1.47
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 18532 0 1 0 135 12 0 0 18 0 9 0 27374177 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216930 17860 2028 9 0 211388 0
[pid=31978/tid=31979] ppid=31976 vsize=867720 CPUtime=1.21
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 15804 0 1 0 111 10 0 0 25 0 9 0 27374178 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4126603070 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=867720 CPUtime=0.05
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 1354 0 0 0 5 0 0 0 16 0 9 0 27374180 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374182 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=867720 CPUtime=0.18
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 672 0 0 0 18 0 0 0 16 0 9 0 27374182 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31986] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27374182 888545280 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27374182 888545280 17860 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) 867720
[startup+3.10246 s]
/proc/loadavg: 2.15 2.00 1.74 3/89 31987
/proc/meminfo: memFree=1733672/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867720 CPUtime=3.06
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 22784 0 1 0 292 14 0 0 18 0 9 0 27374177 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216930 22110 2028 9 0 211388 0
[pid=31978/tid=31979] ppid=31976 vsize=867720 CPUtime=2.59
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 15806 0 1 0 248 11 0 0 25 0 9 0 27374178 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4126379782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=867720 CPUtime=0.25
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 5603 0 0 0 24 1 0 0 16 0 9 0 27374180 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374182 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=867720 CPUtime=0.18
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 673 0 0 0 18 0 0 0 16 0 9 0 27374182 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31986] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27374182 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27374182 888545280 22110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867720
[startup+6.30183 s]
/proc/loadavg: 2.13 2.00 1.74 3/89 31987
/proc/meminfo: memFree=1713000/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867720 CPUtime=6.23
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 28117 0 1 0 592 31 0 0 18 0 9 0 27374177 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216930 27438 2029 9 0 211388 0
[pid=31978/tid=31979] ppid=31976 vsize=867720 CPUtime=5.45
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 15838 0 1 0 519 26 0 0 25 0 9 0 27374178 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4126917911 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=867720 CPUtime=0.48
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 10838 0 0 0 45 3 0 0 16 0 9 0 27374180 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374182 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=867720 CPUtime=0.27
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 739 0 0 0 27 0 0 0 16 0 9 0 27374182 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31986] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27374182 888545280 27438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27374182 888545280 27438 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) 867720
[startup+12.7026 s]
/proc/loadavg: 2.12 2.00 1.74 3/89 31987
/proc/meminfo: memFree=1671592/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867720 CPUtime=12.56
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 36708 0 1 0 1184 72 0 0 18 0 9 0 27374177 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 216930 36024 2029 9 0 211388 0
[pid=31978/tid=31979] ppid=31976 vsize=867720 CPUtime=11.54
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 15843 0 1 0 1090 64 0 0 25 0 9 0 27374178 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 102640440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31980] ppid=31976 vsize=867720 CPUtime=0.72
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 19424 0 0 0 65 7 0 0 16 0 9 0 27374180 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31981] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27374180 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27374182 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=867720 CPUtime=0.27
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 739 0 0 0 27 0 0 0 16 0 9 0 27374182 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31986] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27374182 888545280 36024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=867720 CPUtime=0
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27374182 888545280 36024 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) 867720
[startup+25.5011 s]
/proc/loadavg: 2.10 2.00 1.74 3/89 31987
/proc/meminfo: memFree=1588648/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=867720 CPUtime=25.24
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 57408 0 1 0 2389 135 0 0 18 0 9 0 27374177 888545280 56712 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.22
Current children cumulated vsize (KiB) 868368
[startup+1602.3 s]
/proc/loadavg: 2.11 2.10 2.01 3/89 32038
/proc/meminfo: memFree=1030920/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1599.19
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180318 3803 1 0 159638 181 95 5 18 0 9 0 27374177 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111369 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1593.55
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29298 3803 1 0 159125 130 95 5 25 0 9 0 27374178 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4126954517 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.1
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149115 3803 0 0 464 46 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.19
Current children cumulated vsize (KiB) 868368
[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.01 3/89 32038
/proc/meminfo: memFree=1030920/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1659.17
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180318 3803 1 0 165636 181 95 5 18 0 9 0 27374177 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111369 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1653.53
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29298 3803 1 0 165123 130 95 5 25 0 9 0 27374178 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4127415572 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.1
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149115 3803 0 0 464 46 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.17
Current children cumulated vsize (KiB) 868368
[startup+1722.3 s]
/proc/loadavg: 2.16 2.11 2.01 3/89 32038
/proc/meminfo: memFree=1030920/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1719.15
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180320 3803 1 0 171634 181 95 5 18 0 9 0 27374177 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111369 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1713.47
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29300 3803 1 0 171117 130 95 5 25 0 9 0 27374178 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4126954728 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.13
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149115 3803 0 0 467 46 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.15
Current children cumulated vsize (KiB) 868368
[startup+1782.3 s]
/proc/loadavg: 2.18 2.12 2.02 3/89 32038
/proc/meminfo: memFree=1030856/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1779.12
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180326 3803 1 0 177631 181 95 5 18 0 9 0 27374177 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111373 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1773.38
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29302 3803 1 0 177108 130 95 5 25 0 9 0 27374178 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4127404287 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.2
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149119 3803 0 0 474 46 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.12
Current children cumulated vsize (KiB) 868368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.2 s]
/proc/loadavg: 2.13 2.11 2.01 3/89 32038
/proc/meminfo: memFree=1030856/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1800.03
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180326 3803 1 0 179721 182 95 5 18 0 9 0 27374177 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111373 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1794.28
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29302 3803 1 0 179198 130 95 5 25 0 9 0 27374178 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4127414409 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.2
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149119 3803 0 0 474 46 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.2 s]
/proc/loadavg: 2.13 2.11 2.01 3/89 32038
/proc/meminfo: memFree=1030856/2055920 swapFree=4192812/4192956
[pid=31978] ppid=31976 vsize=868368 CPUtime=1800.03
/proc/31978/stat : 31978 (java) S 31976 31978 31535 0 -1 0 180326 3803 1 0 179721 182 95 5 18 0 9 0 27374177 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31978/statm: 217092 111373 2640 9 0 211550 0
[pid=31978/tid=31979] ppid=31976 vsize=868368 CPUtime=1794.28
/proc/31978/task/31979/stat : 31979 (java) R 31976 31978 31535 0 -1 64 29302 3803 1 0 179198 130 95 5 25 0 9 0 27374178 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4127414409 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31980] ppid=31976 vsize=868368 CPUtime=6.2
/proc/31978/task/31980/stat : 31980 (java) S 31976 31978 31535 0 -1 64 149119 3803 0 0 474 46 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31981] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31981/stat : 31981 (java) S 31976 31978 31535 0 -1 64 22 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31982] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31982/stat : 31982 (java) S 31976 31978 31535 0 -1 64 26 3803 0 0 0 0 95 5 16 0 9 0 27374180 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31984] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31984/stat : 31984 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 18 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31985] ppid=31976 vsize=868368 CPUtime=1.48
/proc/31978/task/31985/stat : 31985 (java) S 31976 31978 31535 0 -1 64 1033 3803 0 0 48 0 95 5 16 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31978/tid=31986] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31986/stat : 31986 (java) S 31976 31978 31535 0 -1 64 1 3803 0 0 0 0 95 5 19 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31978/tid=31987] ppid=31976 vsize=868368 CPUtime=1
/proc/31978/task/31987/stat : 31987 (java) S 31976 31978 31535 0 -1 64 12 3803 0 0 0 0 95 5 15 0 9 0 27374182 889208832 111373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868368
Child status: 143
Real time (s): 1803.3
CPU time (s): 1800.14
CPU user time (s): 1798.2
CPU system time (s): 1.9417
CPU usage (%): 99.8249
Max. virtual memory (cumulated for all children) (KiB): 891188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.9417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184158
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= 39402
involuntary context switches= 52856
runsolver used 2.56661 second user time and 5.64714 second system time
The end
Begin job on node1 at 2009-07-12 14:51:04
IDJOB=2094253
IDBENCH=54097
IDSOLVER=773
FILE ID=node1/2094253-1247403064
PBS_JOBID= 9510641
Free space on /tmp= 66380 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-5.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-2094253-1247403064/watcher-2094253-1247403064 -o /tmp/evaluation-result-2094253-1247403064/solver-2094253-1247403064 -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-2094253-1247403064.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f5998e2cea9b4eec8b3b7aad8f0dac4c
RANDOM SEED=48389860
node1.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.216
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.216
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: 1808912 kB
Buffers: 32348 kB
Cached: 107664 kB
SwapCached: 0 kB
Active: 121848 kB
Inactive: 71384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8196 kB
Writeback: 0 kB
Mapped: 73652 kB
Slab: 38796 kB
Committed_AS: 1005516 kB
PageTables: 1924 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= 66372 MiB
End job on node1 at 2009-07-12 15:21:10