0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097263-1247412002.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.39
0.28/0.39 variables being loaded...
0.49/0.57 nbVariables=225 nbDomainTypes=225 minDomainSize=1127 maxDomainSize=1225 nbTotalValues=264015
0.49/0.57 => wckTime=0.327 cpuTime=0.24 mem=13M837
0.49/0.57
0.49/0.57 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
2.05/2.12 nbConstraints=1800 nbGlobalConstraints=1798 nbConvertedConstraints=2 nbConvertConstraintsChecks=2890974
2.05/2.12 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.05/2.12 nbSharedBinaryRepresentations=93 minDegree=16 maxDegree=17 minArity=2 avgArity=2.11 maxArity=15
2.05/2.12 nbGenerators=0 nbFusions=0 symmetryWckTime=0.382 symmetryCpuTime=0.32 nbCliques=15
2.05/2.12 => wckTime=1.873 cpuTime=1.56 mem=36M439
2.15/2.22
2.15/2.22 solver IterativeSystematicSolver being built...
2.15/2.29
2.15/2.29 INFO : Forward propagation technique limited
2.25/2.37 => wckTime=2.131 cpuTime=1.69 mem=36M525
2.45/2.54
2.45/2.54 preprocessing
2.45/2.54 nbConstraintChecks=53219 nbPropagations=558 nbRevisions=9 nbUselessRevisions=0 nbRemovedValues=165690
2.45/2.54 detectedInconsistency=no
2.45/2.54 => wckTime=0.15 cpuTime=0.13 mem=47M856
11.66/11.83
11.66/11.83 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=49M397)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097263-1247412002/watcher-2097263-1247412002 -o /tmp/evaluation-result-2097263-1247412002/solver-2097263-1247412002 -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-2097263-1247412002.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 30294
/proc/meminfo: memFree=1591384/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=1612 CPUtime=0
/proc/30294/stat : 30294 (java) D 30292 30294 29380 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 28264256 1650688 125 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30294/statm: 403 125 100 9 0 45 0
[startup+0.0309039 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 30294
/proc/meminfo: memFree=1591384/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=861288 CPUtime=0.02
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 1717 0 1 0 1 1 0 0 18 0 3 0 28264256 881958912 1414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 215322 1414 568 9 0 210237 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861288
[startup+0.102398 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 30294
/proc/meminfo: memFree=1591384/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=865940 CPUtime=0.08
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 3732 0 1 0 6 2 0 0 18 0 9 0 28264256 886722560 3198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216485 3198 1690 9 0 210970 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865940
[startup+0.302424 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 30294
/proc/meminfo: memFree=1591384/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=866360 CPUtime=0.28
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 5697 0 1 0 25 3 0 0 18 0 9 0 28264256 887152640 5100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216590 5100 1927 9 0 211068 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.702466 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 30294
/proc/meminfo: memFree=1591384/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=867128 CPUtime=0.68
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 9072 0 1 0 63 5 0 0 18 0 9 0 28264256 887939072 8426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216782 8426 2032 9 0 211218 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867128
[startup+1.50155 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 30303
/proc/meminfo: memFree=1557328/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=867712 CPUtime=1.47
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 12284 0 1 0 135 12 0 0 18 0 9 0 28264256 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216928 11635 2041 9 0 211364 0
[pid=30294/tid=30296] ppid=30292 vsize=867712 CPUtime=1.24
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 10878 0 1 0 114 10 0 0 25 0 9 0 28264257 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4126948908 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 28264259 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28264259 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28264259 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28264261 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=867712 CPUtime=0.2
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 708 0 0 0 20 0 0 0 16 0 9 0 28264261 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28264261 888537088 11635 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=867712 CPUtime=0
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28264261 888537088 11635 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) 867712
[startup+3.10174 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 30307
/proc/meminfo: memFree=1547216/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=3.04
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 33608 366 1 0 280 23 1 0 18 0 9 0 28264256 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 22983 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=2.54
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 21325 366 1 0 237 16 1 0 25 0 9 0 28264257 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4125952251 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=0.13
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 10474 366 0 0 9 3 1 0 16 0 9 0 28264259 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.34
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 965 366 0 0 32 1 1 0 16 0 9 0 28264261 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 9 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 22983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868076
[startup+6.3021 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 30307
/proc/meminfo: memFree=1503120/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=6.21
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 35237 366 1 0 597 23 1 0 18 0 9 0 28264256 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24538 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=5.67
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 21335 366 1 0 550 16 1 0 25 0 9 0 28264257 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4127209177 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=0.15
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12018 366 0 0 11 3 1 0 16 0 9 0 28264259 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.36
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1011 366 0 0 34 1 1 0 15 0 9 0 28264261 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24538 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868076
[startup+12.7018 s]
/proc/loadavg: 2.06 2.00 2.00 3/89 30307
/proc/meminfo: memFree=1502352/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=12.55
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 35425 366 1 0 1230 24 1 0 18 0 9 0 28264256 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24696 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=11.95
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 21344 366 1 0 1178 16 1 0 25 0 9 0 28264257 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4127201602 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=0.17
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12166 366 0 0 13 3 1 0 16 0 9 0 28264259 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.39
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1042 366 0 0 37 1 1 0 15 0 9 0 28264261 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24696 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868076
[startup+25.5022 s]
/proc/loadavg: 2.05 2.00 2.00 3/89 30307
/proc/meminfo: memFree=1501648/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=25.23
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 35628 366 1 0 2498 24 1 0 18 0 9 0 28264256 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24883 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=24.6
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 21360 366 1 0 2442 17 1 0 25 0 9 0 28264257 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4127209948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=0.22
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12348 366 0 0 17 4 1 0 17 0 9 0 28264259 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1047 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868076
[startup+51.1021 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 30307
/proc/meminfo: memFree=1501648/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=50.59
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 35672 366 1 0 5033 25 1 0 18 0 9 0 28264256 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24901 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=49.9
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 21386 366 1 0 4972 17 1 0 25 0 9 0 28264257 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4126947109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=0.27
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12366 366 0 0 22 4 1 0 17 0 9 0 28264259 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1047 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24901 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.92
Current children cumulated vsize (KiB) 868076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410256/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1595.89
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 37944 366 1 0 159539 49 1 0 18 0 9 0 28264256 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24933 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1591.7
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23626 366 1 0 159143 26 1 0 25 0 9 0 28264257 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4126864720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=3.76
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12395 366 0 0 356 19 1 0 16 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.89
Current children cumulated vsize (KiB) 868076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410192/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1655.87
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 38039 366 1 0 165536 50 1 0 18 0 9 0 28264256 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24933 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1651.55
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23721 366 1 0 165128 26 1 0 25 0 9 0 28264257 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4127244718 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=3.9
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12395 366 0 0 369 20 1 0 16 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.87
Current children cumulated vsize (KiB) 868076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410128/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1715.85
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 38118 366 1 0 171533 51 1 0 18 0 9 0 28264256 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24940 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1711.42
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23793 366 1 0 171115 26 1 0 25 0 9 0 28264257 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4127209102 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=3.99
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12402 366 0 0 378 20 1 0 16 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.85
Current children cumulated vsize (KiB) 868076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410000/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1775.83
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 38191 366 1 0 177530 52 1 0 18 0 9 0 28264256 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24940 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1771.3
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23866 366 1 0 177102 27 1 0 25 0 9 0 28264257 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4126095967 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=4.1
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12402 366 0 0 388 21 1 0 17 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.83
Current children cumulated vsize (KiB) 868076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410000/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1800.02
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 38220 366 1 0 179949 52 1 0 18 0 9 0 28264256 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24940 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1795.45
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23895 366 1 0 179517 27 1 0 25 0 9 0 28264257 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4127294617 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=4.14
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12402 366 0 0 392 21 1 0 17 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24940 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) 868076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30346
/proc/meminfo: memFree=1410000/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868076 CPUtime=1800.02
/proc/30294/stat : 30294 (java) S 30292 30294 29380 0 -1 0 38220 366 1 0 179949 52 1 0 18 0 9 0 28264256 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217019 24940 2640 9 0 211477 0
[pid=30294/tid=30296] ppid=30292 vsize=868076 CPUtime=1795.45
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29380 0 -1 64 23895 366 1 0 179517 27 1 0 25 0 9 0 28264257 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4127294617 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=868076 CPUtime=4.14
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29380 0 -1 64 12402 366 0 0 392 21 1 0 17 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29380 0 -1 64 19 366 0 0 0 0 1 0 16 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29380 0 -1 64 13 366 0 0 0 0 1 0 15 0 9 0 28264259 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30300] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29380 0 -1 64 2 366 0 0 0 0 1 0 18 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=868076 CPUtime=0.4
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29380 0 -1 64 1050 366 0 0 38 1 1 0 16 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29380 0 -1 64 0 366 0 0 0 0 1 0 19 0 9 0 28264261 888909824 24940 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=868076 CPUtime=0.01
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29380 0 -1 64 38 366 0 0 0 0 1 0 15 0 9 0 28264261 888909824 24940 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) 868076
Child status: 143
Real time (s): 1806.55
CPU time (s): 1800.09
CPU user time (s): 1799.54
CPU system time (s): 0.550916
CPU usage (%): 99.6425
Max. virtual memory (cumulated for all children) (KiB): 868164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.550916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38616
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= 59498
involuntary context switches= 78334
runsolver used 2.6386 second user time and 6.07208 second system time
The end
Begin job on node38 at 2009-07-12 17:20:02
IDJOB=2097263
IDBENCH=57076
IDSOLVER=773
FILE ID=node38/2097263-1247412002
PBS_JOBID= 9510567
Free space on /tmp= 66440 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-8.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-2097263-1247412002/watcher-2097263-1247412002 -o /tmp/evaluation-result-2097263-1247412002/solver-2097263-1247412002 -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-2097263-1247412002.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 31f84ce3b363624035dc20528456a27e
RANDOM SEED=800543361
node38.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.229
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.229
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: 1591864 kB
Buffers: 71992 kB
Cached: 228160 kB
SwapCached: 0 kB
Active: 242624 kB
Inactive: 140068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1591864 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 103020 kB
Slab: 66352 kB
Committed_AS: 1012208 kB
PageTables: 2016 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= 66440 MiB
End job on node38 at 2009-07-12 17:50:10