0.00/0.07
0.00/0.07 Abscon 112 (May, 2008)
0.11/0.19
0.11/0.19 configuration
0.11/0.19 name=esac.xml
0.22/0.22
0.22/0.22 instance
0.22/0.22 name=HOME/instance-1060337-1215126268.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.26
0.22/0.26 variables being loaded...
0.22/0.29 nbVariables=69 nbDomainTypes=2 minDomainSize=34 maxDomainSize=35 nbTotalValues=2381
0.22/0.29 => wckTime=0.095 cpuTime=0.09 mem=7M919
0.22/0.29
0.22/0.29 predicates being loaded...
0.35/0.34
0.35/0.34 constraints being loaded...
0.86/0.77 nbConstraints=1193 nbGlobalConstraints=3 nbConvertedConstraints=1156 nbConvertConstraintsChecks=3606
0.86/0.77 nbExtensionStructures=3 nbSharedExtensionStructures=1153 nbConflictsStructures=3
0.86/0.77 nbSharedConflictsStructures=1153 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=69
0.86/0.77 nbEvaluationManagers=1 nbSharedEvaluationManagers=33 minDegree=36 maxDegree=38 minArity=2 avgArity=2.14
0.86/0.77 maxArity=68 nbGenerators=1 nbFusions=1 symmetryWckTime=0.12 symmetryCpuTime=0.07 nbCliques=2
0.86/0.77 => wckTime=0.578 cpuTime=0.51 mem=20M703
0.95/0.84
0.95/0.84 solver IterativeSystematicSolver being built...
1.06/0.91
1.06/0.93 INFO : Forward propagation technique limited
1.06/0.98 => wckTime=0.784 cpuTime=0.64 mem=21M663
2.35/2.25
2.35/2.25 preprocessing
2.35/2.25 nbConstraintChecks=4726941 nbValidityChecks=160390 nbPropagations=3489 nbRevisions=8876 nbUselessRevisions=4552
2.35/2.25 nbSingletonTests=86 nbEffectiveSingletonTests=0 nbACRemovals=2 nbFoundSingletons=0 nbRemovedValues=2
2.35/2.25 nbRemovedTuples=595 detectedInconsistency=no
2.35/2.25 => wckTime=1.266 cpuTime=1.2 mem=21M663
4.24/4.12
4.24/4.12 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=23M613)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060337-1215126268/watcher-1060337-1215126268 -o /tmp/evaluation-result-1060337-1215126268/solver-1060337-1215126268 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1060337-1215126268.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.97 1.72 1.90 3/67 24152
/proc/meminfo: memFree=1504400/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=152 CPUtime=0
/proc/24152/stat : 24152 (java) R 24150 24152 21863 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1542303052 155648 26 996147200 134512640 134550740 4294955984 18446744073709551615 8663339 0 0 4096 0 0 0 0 17 0 0 0
/proc/24152/statm: 38 26 19 9 0 4 0
[startup+0.0199999 s]
/proc/loadavg: 0.97 1.72 1.90 3/67 24152
/proc/meminfo: memFree=1504400/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=860712 CPUtime=0
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 1585 0 1 0 0 0 0 0 18 0 2 0 1542303052 881369088 1305 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 215178 1307 514 9 0 210157 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 860712
[startup+0.102016 s]
/proc/loadavg: 0.97 1.72 1.90 3/67 24152
/proc/meminfo: memFree=1504400/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=866768 CPUtime=0.11
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 4017 0 1 0 9 2 0 0 18 0 9 0 1542303052 887570432 3457 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 216692 3457 1786 9 0 211247 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 866768
[startup+0.301055 s]
/proc/loadavg: 0.97 1.72 1.90 3/67 24152
/proc/meminfo: memFree=1504400/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=867152 CPUtime=0.35
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 6608 0 1 0 31 4 0 0 18 0 9 0 1542303052 887963648 5970 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 216788 5970 1973 9 0 211316 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 867152
[startup+0.701225 s]
/proc/loadavg: 0.97 1.72 1.90 3/67 24152
/proc/meminfo: memFree=1504400/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=868784 CPUtime=0.86
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 9549 0 1 0 77 9 0 0 18 0 10 0 1542303052 889634816 8887 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217196 8887 2018 9 0 211702 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 868784
[startup+1.50128 s]
/proc/loadavg: 0.97 1.72 1.90 5/91 24186
/proc/meminfo: memFree=1459920/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869108 CPUtime=1.65
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17465 363 1 0 151 12 1 1 18 0 9 0 1542303052 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217277 10964 2632 9 0 211783 0
[pid=24152/tid=24154] ppid=24150 vsize=869108 CPUtime=1.32
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12625 363 1 0 120 10 1 1 21 0 9 0 1542303053 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4127065182 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869108 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3071 363 0 0 5 0 1 1 16 0 9 0 1542303054 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869108 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869108 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869108 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869108 CPUtime=0.27
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 930 363 0 0 25 0 1 1 15 0 9 0 1542303056 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869108 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869108 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 15 0 9 0 1542303057 889966592 10964 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 869108
[startup+3.10259 s]
/proc/loadavg: 1.06 1.72 1.90 3/90 24187
/proc/meminfo: memFree=1454872/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=3.25
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17681 363 1 0 310 13 1 1 18 0 9 0 1542303052 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11174 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=2.87
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12815 363 1 0 275 10 1 1 25 0 9 0 1542303053 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4127086992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 17 0 9 0 1542303054 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.31
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 955 363 0 0 29 0 1 1 15 0 9 0 1542303056 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 869240
[startup+6.30121 s]
/proc/loadavg: 1.06 1.72 1.90 3/90 24187
/proc/meminfo: memFree=1453720/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=6.43
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17752 363 1 0 628 13 1 1 18 0 9 0 1542303052 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11210 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=6.03
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12836 363 1 0 590 11 1 1 17 0 9 0 1542303053 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4127091741 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.33
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 975 363 0 0 31 0 1 1 16 0 9 0 1542303056 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11210 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 869240
[startup+12.7024 s]
/proc/loadavg: 1.20 1.73 1.90 3/90 24187
/proc/meminfo: memFree=1453344/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=12.79
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17773 363 1 0 1264 13 1 1 18 0 9 0 1542303052 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11219 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=12.39
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12844 363 1 0 1226 11 1 1 25 0 9 0 1542303053 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4127085028 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.34
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 988 363 0 0 32 0 1 1 15 0 9 0 1542303056 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11219 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 869240
[startup+25.5019 s]
/proc/loadavg: 1.32 1.74 1.91 3/90 24187
/proc/meminfo: memFree=1453344/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=25.54
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17778 363 1 0 2538 14 1 1 18 0 9 0 1542303052 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11224 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=25.12
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12848 363 1 0 2499 11 1 1 25 0 9 0 1542303053 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4127068656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.34
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 989 363 0 0 32 0 1 1 17 0 9 0 1542303056 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11224 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 869240
[startup+51.1018 s]
/proc/loadavg: 1.55 1.76 1.91 3/90 24187
/proc/meminfo: memFree=1453280/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=51.01
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17786 363 1 0 5085 14 1 1 18 0 9 0 1542303052 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11230 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=50.6
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12855 363 1 0 5047 11 1 1 25 0 9 0 1542303053 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4126962493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.34
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 990 363 0 0 32 0 1 1 16 0 9 0 1542303056 890101760 11230 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
################
# More data... #
################
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.92
Current children cumulated vsize (KiB) 869240
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24187
/proc/meminfo: memFree=1452512/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1594.63
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17806 363 1 0 159443 18 1 1 18 0 9 0 1542303052 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11246 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1594.2
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12872 363 1 0 159403 15 1 1 25 0 9 0 1542303053 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4127068210 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.63
Current children cumulated vsize (KiB) 869240
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24187
/proc/meminfo: memFree=1452512/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1654.33
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17806 363 1 0 165413 18 1 1 18 0 9 0 1542303052 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11246 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1653.91
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12872 363 1 0 165374 15 1 1 25 0 9 0 1542303053 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4126932176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11246 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.33
Current children cumulated vsize (KiB) 869240
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24187
/proc/meminfo: memFree=1452512/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1714.04
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17808 363 1 0 171384 18 1 1 18 0 9 0 1542303052 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11248 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1713.62
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12874 363 1 0 171345 15 1 1 25 0 9 0 1542303053 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4127074830 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.04
Current children cumulated vsize (KiB) 869240
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24189
/proc/meminfo: memFree=1452384/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1773.74
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17808 363 1 0 177354 18 1 1 18 0 9 0 1542303052 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11248 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1773.32
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12874 363 1 0 177315 15 1 1 25 0 9 0 1542303053 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4126930881 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.74
Current children cumulated vsize (KiB) 869240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24189
/proc/meminfo: memFree=1452384/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1800.01
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17808 363 1 0 179981 18 1 1 18 0 9 0 1542303052 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11248 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1799.6
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12874 363 1 0 179942 16 1 1 25 0 9 0 1542303053 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 869240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.7 s]
/proc/loadavg: 1.99 1.97 1.91 3/90 24189
/proc/meminfo: memFree=1452384/2055920 swapFree=4113920/4192956
[pid=24152] ppid=24150 vsize=869240 CPUtime=1800.01
/proc/24152/stat : 24152 (java) S 24150 24152 21863 0 -1 0 17808 363 1 0 179981 18 1 1 18 0 9 0 1542303052 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24152/statm: 217310 11248 2632 9 0 211816 0
[pid=24152/tid=24154] ppid=24150 vsize=869240 CPUtime=1799.6
/proc/24152/task/24154/stat : 24154 (java) R 24150 24152 21863 0 -1 64 12874 363 1 0 179942 16 1 1 25 0 9 0 1542303053 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24155] ppid=24150 vsize=869240 CPUtime=0.07
/proc/24152/task/24155/stat : 24155 (java) S 24150 24152 21863 0 -1 64 3072 363 0 0 5 0 1 1 16 0 9 0 1542303054 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24156] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24156/stat : 24156 (java) S 24150 24152 21863 0 -1 64 14 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24157] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24157/stat : 24157 (java) S 24150 24152 21863 0 -1 64 10 363 0 0 0 0 1 1 16 0 9 0 1542303055 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24158] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24158/stat : 24158 (java) S 24150 24152 21863 0 -1 64 1 363 0 0 0 0 1 1 24 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24159] ppid=24150 vsize=869240 CPUtime=0.35
/proc/24152/task/24159/stat : 24159 (java) S 24150 24152 21863 0 -1 64 993 363 0 0 33 0 1 1 16 0 9 0 1542303056 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24152/tid=24160] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24160/stat : 24160 (java) S 24150 24152 21863 0 -1 64 2 363 0 0 0 0 1 1 25 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24152/tid=24161] ppid=24150 vsize=869240 CPUtime=0.02
/proc/24152/task/24161/stat : 24161 (java) S 24150 24152 21863 0 -1 64 40 363 0 0 0 0 1 1 15 0 9 0 1542303057 890101760 11248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 869240
Child status: 143
Real time (s): 1808.72
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.205968
CPU usage (%): 99.5201
Max. virtual memory (cumulated for all children) (KiB): 869240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18204
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= 37637
involuntary context switches= 23633
runsolver used 2.20466 second user time and 6.02808 second system time
The end
Begin job on node9 at 2008-07-04 01:04:28
IDJOB=1060337
IDBENCH=54444
IDSOLVER=364
FILE ID=node9/1060337-1215126268
PBS_JOBID= 7877185
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-35.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060337-1215126268/watcher-1060337-1215126268 -o /tmp/evaluation-result-1060337-1215126268/solver-1060337-1215126268 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1060337-1215126268.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 69977ce6c8ea267a2a069c25034e898b
RANDOM SEED=284226233
node9.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.265
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 : 5931.00
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.265
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: 1504880 kB
Buffers: 59464 kB
Cached: 325032 kB
SwapCached: 72940 kB
Active: 272284 kB
Inactive: 210448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1504880 kB
SwapTotal: 4192956 kB
SwapFree: 4113920 kB
Dirty: 2552 kB
Writeback: 0 kB
Mapped: 103752 kB
Slab: 53788 kB
Committed_AS: 2909240 kB
PageTables: 1840 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= 66536 MiB
End job on node9 at 2008-07-04 01:34:39