0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2095198-1247406850.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.39 nbVariables=77 nbDomainTypes=5 minDomainSize=1 maxDomainSize=41 nbTotalValues=1477
0.28/0.39 => wckTime=0.153 cpuTime=0.12 mem=7M892
0.28/0.39
0.28/0.39 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
1.27/1.34 nbConstraints=350 nbSingletonDomainVariables=2 nbConflictsStructures=38 nbSharedConflictsStructures=12
1.27/1.34 nbUnbuiltConflictsStructures=213 nbSharedBinaryRepresentations=0 nbEvaluationManagers=251
1.27/1.35 nbSharedEvaluationManagers=99 minDegree=25 maxDegree=26 minArity=3 avgArity=5.57 maxArity=6 nbGenerators=0
1.27/1.35 nbFusions=0 symmetryWckTime=0.097 symmetryCpuTime=0.05
1.27/1.35 => wckTime=1.107 cpuTime=0.86 mem=48M758
1.37/1.43
1.37/1.43 solver IterativeSystematicSolver being built...
1.47/1.54
1.47/1.54 INFO : Forward propagation technique limited
1.57/1.61 => wckTime=1.371 cpuTime=1.01 mem=27M290
2.16/2.26
2.16/2.26 preprocessing
2.16/2.26 nbConstraintChecks=387652 nbValidityChecks=119430 nbPropagations=220 nbRevisions=8079 nbUselessRevisions=7917
2.16/2.26 nbSingletonTests=83 nbEffectiveSingletonTests=0 nbACRemovals=166 nbFoundSingletons=0 nbRemovedValues=166
2.16/2.26 detectedInconsistency=no
2.16/2.26 => wckTime=0.644 cpuTime=0.6 mem=28M279
6.52/6.63
6.52/6.63 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=29M284)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095198-1247406850/watcher-2095198-1247406850 -o /tmp/evaluation-result-2095198-1247406850/solver-2095198-1247406850 -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-2095198-1247406850.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.00 2.00 1.98 4/80 30020
/proc/meminfo: memFree=1784416/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=1616 CPUtime=0
/proc/30020/stat : 30020 (java) D 30018 30020 28496 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 27747620 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30020/statm: 404 148 122 9 0 46 0
[startup+0.0702141 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 30020
/proc/meminfo: memFree=1784416/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=864024 CPUtime=0.05
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 2891 0 1 0 3 2 0 0 18 0 9 0 27747620 884760576 2408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216006 2408 1143 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101221 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 30020
/proc/meminfo: memFree=1784416/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=865984 CPUtime=0.09
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 3770 0 1 0 6 3 0 0 18 0 9 0 27747620 886767616 3225 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216496 3225 1701 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301249 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 30020
/proc/meminfo: memFree=1784416/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=866296 CPUtime=0.28
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 5701 0 1 0 24 4 0 0 18 0 9 0 27747620 887087104 5104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216574 5104 1928 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701302 s]
/proc/loadavg: 2.00 2.00 1.98 4/80 30020
/proc/meminfo: memFree=1784416/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867192 CPUtime=0.69
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 8343 0 1 0 62 7 0 0 18 0 9 0 27747620 888004608 7697 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216798 7697 2035 9 0 211234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867192
[startup+1.50141 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 30029
/proc/meminfo: memFree=1746328/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1.47
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 23863 317 1 0 131 14 1 1 18 0 9 0 27747620 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17238 2655 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1.14
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 17219 317 1 0 101 11 1 1 24 0 9 0 27747621 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5071 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.24
/proc/30020/task/30027/stat : 30027 (java) R 30018 30020 28496 0 -1 64 727 317 0 0 22 0 1 1 16 0 9 0 27747625 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 103199458 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 9 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17238 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) 867964
[startup+3.10263 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 30033
/proc/meminfo: memFree=1725464/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=3.05
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27358 317 1 0 288 15 1 1 18 0 9 0 27747620 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17323 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=2.65
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20671 317 1 0 251 12 1 1 25 0 9 0 27747621 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4126776970 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 17 0 9 0 27747622 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.32
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 769 317 0 0 30 0 1 1 15 0 9 0 27747625 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 9 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867964
[startup+6.30205 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 30033
/proc/meminfo: memFree=1725080/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=6.22
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27391 317 1 0 605 15 1 1 18 0 9 0 27747620 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17328 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=5.81
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20690 317 1 0 567 12 1 1 25 0 9 0 27747621 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4126790584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.32
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 773 317 0 0 30 0 1 1 15 0 9 0 27747625 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17328 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867964
[startup+12.7029 s]
/proc/loadavg: 2.00 2.00 1.98 3/89 30033
/proc/meminfo: memFree=1724888/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=12.56
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27412 317 1 0 1239 15 1 1 18 0 9 0 27747620 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17333 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=12.14
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20695 317 1 0 1200 12 1 1 25 0 9 0 27747621 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4127087198 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 17 0 9 0 27747622 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.34
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 789 317 0 0 32 0 1 1 15 0 9 0 27747625 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17333 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) 867964
[startup+25.5017 s]
/proc/loadavg: 2.15 2.03 1.99 3/89 30033
/proc/meminfo: memFree=1724888/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=25.24
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27445 317 1 0 2506 16 1 1 18 0 9 0 27747620 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17343 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=24.8
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20698 317 1 0 2465 13 1 1 25 0 9 0 27747621 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4126791095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.35
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 819 317 0 0 33 0 1 1 17 0 9 0 27747625 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867964
[startup+51.1011 s]
/proc/loadavg: 2.30 2.08 2.01 3/89 30033
/proc/meminfo: memFree=1724888/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=50.6
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27450 317 1 0 5042 16 1 1 18 0 9 0 27747620 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17344 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=50.16
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20702 317 1 0 5001 13 1 1 25 0 9 0 27747621 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4126811905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.35
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 820 317 0 0 33 0 1 1 16 0 9 0 27747625 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17344 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.34
Current children cumulated vsize (KiB) 867964
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725592/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1529.04
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 152880 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1528.59
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 152839 18 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4126795815 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.04
Current children cumulated vsize (KiB) 867964
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725592/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1588.75
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 158851 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1588.3
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 158809 19 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4126776913 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.75
Current children cumulated vsize (KiB) 867964
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725528/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1648.46
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 164822 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1648.01
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 164780 19 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4126790583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.46
Current children cumulated vsize (KiB) 867964
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725528/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1708.17
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 170793 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1707.72
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 170751 19 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4126776925 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.17
Current children cumulated vsize (KiB) 867964
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725400/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1767.88
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 176764 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1767.43
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 176722 19 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4126811832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.88
Current children cumulated vsize (KiB) 867964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.6 s]
/proc/loadavg: 1.99 1.99 1.99 3/89 30158
/proc/meminfo: memFree=1725464/2055920 swapFree=4192812/4192956
[pid=30020] ppid=30018 vsize=867964 CPUtime=1800.02
/proc/30020/stat : 30020 (java) S 30018 30020 28496 0 -1 0 27465 317 1 0 179978 22 1 1 18 0 9 0 27747620 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30020/statm: 216991 17348 2658 9 0 211427 0
[pid=30020/tid=30022] ppid=30018 vsize=867964 CPUtime=1799.57
/proc/30020/task/30022/stat : 30022 (java) R 30018 30020 28496 0 -1 64 20711 317 1 0 179936 19 1 1 25 0 9 0 27747621 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4127101385 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30023] ppid=30018 vsize=867964 CPUtime=0.09
/proc/30020/task/30023/stat : 30023 (java) S 30018 30020 28496 0 -1 64 5072 317 0 0 7 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30024] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30024/stat : 30024 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 17 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30025] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30025/stat : 30025 (java) S 30018 30020 28496 0 -1 64 12 317 0 0 0 0 1 1 16 0 9 0 27747622 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30026] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30026/stat : 30026 (java) S 30018 30020 28496 0 -1 64 2 317 0 0 0 0 1 1 18 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30027] ppid=30018 vsize=867964 CPUtime=0.36
/proc/30020/task/30027/stat : 30027 (java) S 30018 30020 28496 0 -1 64 826 317 0 0 34 0 1 1 16 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30028] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30028/stat : 30028 (java) S 30018 30020 28496 0 -1 64 0 317 0 0 0 0 1 1 19 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30020/tid=30029] ppid=30018 vsize=867964 CPUtime=0.02
/proc/30020/task/30029/stat : 30029 (java) S 30018 30020 28496 0 -1 64 19 317 0 0 0 0 1 1 15 0 9 0 27747625 888795136 17348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 867964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1814.64
CPU time (s): 1800.07
CPU user time (s): 1799.82
CPU system time (s): 0.251961
CPU usage (%): 99.1971
Max. virtual memory (cumulated for all children) (KiB): 867964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27814
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= 38155
involuntary context switches= 74587
runsolver used 2.14767 second user time and 6.11907 second system time
The end
Begin job on node71 at 2009-07-12 15:54:10
IDJOB=2095198
IDBENCH=54976
IDSOLVER=774
FILE ID=node71/2095198-1247406850
PBS_JOBID= 9510506
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tdsp/normalized-C2-3-15.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-2095198-1247406850/watcher-2095198-1247406850 -o /tmp/evaluation-result-2095198-1247406850/solver-2095198-1247406850 -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-2095198-1247406850.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6a8f72af11bd26aa939eb0f56abd394b
RANDOM SEED=1297797434
node71.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.222
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.222
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: 1784896 kB
Buffers: 39376 kB
Cached: 125864 kB
SwapCached: 0 kB
Active: 139088 kB
Inactive: 77308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1784896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 71580 kB
Slab: 39716 kB
Committed_AS: 1014588 kB
PageTables: 1928 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= 66396 MiB
End job on node71 at 2009-07-12 16:24:27