0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1050326-1215049177.xml
0.28/0.31
0.28/0.32 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.48/0.57 nbVariables=4000 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=8000
0.48/0.57 => wckTime=0.322 cpuTime=0.21 mem=18M581
0.48/0.57
0.48/0.57 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
3.53/3.63 nbConstraints=10500 nbConvertedConstraints=2000 nbConvertConstraintsChecks=12 nbExtensionStructures=1
3.53/3.63 nbSharedExtensionStructures=1999 nbConflictsStructures=2 nbSharedConflictsStructures=10498
3.53/3.63 nbSharedBinaryRepresentations=2 nbEvaluationManagers=1 nbSharedEvaluationManagers=8499 minDegree=1 maxDegree=20
3.53/3.63 minArity=2 avgArity=2.81 maxArity=3 nbGenerators=0 nbFusions=0 symmetryWckTime=0.988 symmetryCpuTime=0.23
3.53/3.63 => wckTime=3.379 cpuTime=2.21 mem=38M816
3.73/3.83
3.73/3.83 solver IterativeSystematicSolver being built...
4.13/4.27 => wckTime=4.025 cpuTime=2.59 mem=59M377
4.23/4.32
4.23/4.32 preprocessing
4.23/4.32 nbConstraintChecks=0 nbPropagations=4000 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.23/4.32 detectedInconsistency=no
4.23/4.32 => wckTime=0.044 cpuTime=0.03 mem=60M349
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050326-1215049177/watcher-1050326-1215049177 -o /tmp/evaluation-result-1050326-1215049177/solver-1050326-1215049177 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1050326-1215049177.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: 2.00 2.00 1.98 3/88 24251
/proc/meminfo: memFree=1573912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=272 CPUtime=0
/proc/24251/stat : 24251 (java) R 24249 24251 22265 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 116598335 278528 37 996147200 134512640 134550740 4294956144 18446744073709551615 11768740 0 0 4096 0 0 0 0 17 0 0 0
/proc/24251/statm: 77 39 29 9 0 6 0
[startup+0.061781 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 24251
/proc/meminfo: memFree=1573912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=864076 CPUtime=0.05
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 2798 0 1 0 3 2 0 0 18 0 9 0 116598335 884813824 2337 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216019 2337 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101407 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 24251
/proc/meminfo: memFree=1573912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=865884 CPUtime=0.08
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 3693 0 1 0 6 2 0 0 18 0 9 0 116598335 886665216 3168 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216471 3168 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301433 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 24251
/proc/meminfo: memFree=1573912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=866284 CPUtime=0.28
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 5875 0 1 0 24 4 0 0 18 0 9 0 116598335 887074816 5249 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216571 5249 1954 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701476 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 24251
/proc/meminfo: memFree=1573912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867516 CPUtime=0.68
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 10358 0 1 0 62 6 0 0 18 0 9 0 116598335 888336384 9718 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216879 9718 2009 9 0 211385 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867516
[startup+1.50156 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24260
/proc/meminfo: memFree=1525072/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867428 CPUtime=1.47
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 18851 0 1 0 131 16 0 0 18 0 9 0 116598335 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216857 18184 2006 9 0 211385 0
[pid=24251/tid=24253] ppid=24249 vsize=867428 CPUtime=1.17
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 15771 0 1 0 104 13 0 0 25 0 9 0 116598336 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 12202431 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867428 CPUtime=0.07
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 1727 0 0 0 7 0 0 0 16 0 9 0 116598338 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867428 CPUtime=0
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 116598338 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867428 CPUtime=0
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 116598338 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867428 CPUtime=0
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 116598340 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867428 CPUtime=0.19
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 656 0 0 0 19 0 0 0 15 0 9 0 116598340 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867428 CPUtime=0
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 116598340 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867428 CPUtime=0
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 116598340 888246272 18184 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867428
[startup+3.10274 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24260
/proc/meminfo: memFree=1508496/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867752 CPUtime=2.78
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 22240 0 1 0 225 53 0 0 18 0 10 0 116598335 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216938 21445 2010 9 0 211466 0
[pid=24251/tid=24253] ppid=24249 vsize=867752 CPUtime=2.33
/proc/24251/task/24253/stat : 24253 (java) S 24249 24251 22265 0 -1 64 15857 0 1 0 184 49 0 0 24 0 10 0 116598336 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867752 CPUtime=0.19
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 4930 0 0 0 17 2 0 0 17 0 10 0 116598338 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867752 CPUtime=0
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 116598338 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867752 CPUtime=0
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 116598338 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867752 CPUtime=0
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 116598340 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867752 CPUtime=0.23
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 683 0 0 0 23 0 0 0 15 0 10 0 116598340 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867752 CPUtime=0
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 0 0 0 0 0 0 0 24 0 10 0 116598340 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867752 CPUtime=0
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 116598340 888578048 21445 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 867752
[startup+6.30212 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24264
/proc/meminfo: memFree=1486152/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=6.21
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42894 938 1 0 493 59 67 2 18 0 9 0 116598335 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24350 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=5.39
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27616 938 1 0 418 52 67 2 25 0 9 0 116598336 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4127294867 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 17 0 9 0 116598338 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.07
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 995 938 0 0 37 1 67 2 16 0 9 0 116598340 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24350 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867936
[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24264
/proc/meminfo: memFree=1486024/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=12.54
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42904 938 1 0 1126 59 67 2 18 0 9 0 116598335 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24356 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=11.72
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27618 938 1 0 1051 52 67 2 25 0 9 0 116598336 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4127292488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1003 938 0 0 38 1 67 2 16 0 9 0 116598340 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867936
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24264
/proc/meminfo: memFree=1486088/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=25.22
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42907 938 1 0 2394 59 67 2 18 0 9 0 116598335 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24357 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=24.39
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27620 938 1 0 2318 52 67 2 25 0 9 0 116598336 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4127290796 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1004 938 0 0 38 1 67 2 16 0 9 0 116598340 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24357 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867936
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.98 3/97 24264
/proc/meminfo: memFree=1485960/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=50.59
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42909 938 1 0 4930 60 67 2 18 0 9 0 116598335 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24358 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=49.74
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27621 938 1 0 4853 52 67 2 25 0 9 0 116598336 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4127268941 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1005 938 0 0 39 1 67 2 17 0 9 0 116598340 888766464 24358 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
################
# More data... #
################
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1466.33
Current children cumulated vsize (KiB) 867936
[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/90 24822
/proc/meminfo: memFree=1499912/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1526.03
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 152471 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1525.19
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 152395 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4127272852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1526.03
Current children cumulated vsize (KiB) 867936
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/90 24822
/proc/meminfo: memFree=1498312/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1585.75
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 158443 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1584.9
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 158366 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4126799555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1585.75
Current children cumulated vsize (KiB) 867936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 24822
/proc/meminfo: memFree=1496584/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1645.45
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 164413 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1644.61
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 164337 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4127290842 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1645.45
Current children cumulated vsize (KiB) 867936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/90 24822
/proc/meminfo: memFree=1494920/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1705.16
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 170384 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1704.32
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 170308 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4127364267 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1705.16
Current children cumulated vsize (KiB) 867936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 24822
/proc/meminfo: memFree=1493576/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1764.87
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 176355 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1764.03
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 176279 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4127085127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.87
Current children cumulated vsize (KiB) 867936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 24822
/proc/meminfo: memFree=1492808/2055920 swapFree=4179076/4192956
[pid=24251] ppid=24249 vsize=867936 CPUtime=1800.01
/proc/24251/stat : 24251 (java) S 24249 24251 22265 0 -1 0 42911 938 1 0 179869 63 67 2 18 0 9 0 116598335 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24251/statm: 216984 24359 2637 9 0 211490 0
[pid=24251/tid=24253] ppid=24249 vsize=867936 CPUtime=1799.16
/proc/24251/task/24253/stat : 24253 (java) R 24249 24251 22265 0 -1 64 27622 938 1 0 179792 55 67 2 25 0 9 0 116598336 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4127329866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24251/tid=24254] ppid=24249 vsize=867936 CPUtime=1.08
/proc/24251/task/24254/stat : 24254 (java) S 24249 24251 22265 0 -1 64 13424 938 0 0 36 3 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24255] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24255/stat : 24255 (java) S 24249 24251 22265 0 -1 64 18 938 0 0 0 0 67 2 16 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24256] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24256/stat : 24256 (java) S 24249 24251 22265 0 -1 64 8 938 0 0 0 0 67 2 15 0 9 0 116598338 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24257] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24257/stat : 24257 (java) S 24249 24251 22265 0 -1 64 0 938 0 0 0 0 67 2 23 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24258] ppid=24249 vsize=867936 CPUtime=1.09
/proc/24251/task/24258/stat : 24258 (java) S 24249 24251 22265 0 -1 64 1006 938 0 0 39 1 67 2 15 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24259] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24259/stat : 24259 (java) S 24249 24251 22265 0 -1 64 2 938 0 0 0 0 67 2 24 0 9 0 116598340 888766464 24359 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24251/tid=24260] ppid=24249 vsize=867936 CPUtime=0.69
/proc/24251/task/24260/stat : 24260 (java) S 24249 24251 22265 0 -1 64 31 938 0 0 0 0 67 2 15 0 9 0 116598340 888766464 24359 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) 867936
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): 1817.66
CPU time (s): 1800.08
CPU user time (s): 1799.41
CPU system time (s): 0.669898
CPU usage (%): 99.0328
Max. virtual memory (cumulated for all children) (KiB): 873548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.669898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43881
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= 38835
involuntary context switches= 61297
runsolver used 2.23166 second user time and 6.05808 second system time
The end
Begin job on node76 at 2008-07-03 03:39:37
IDJOB=1050326
IDBENCH=54872
IDSOLVER=363
FILE ID=node76/1050326-1215049177
PBS_JOBID= 7875026
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-f2000.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050326-1215049177/watcher-1050326-1215049177 -o /tmp/evaluation-result-1050326-1215049177/solver-1050326-1215049177 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1050326-1215049177.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d0af6237455830e6705fc3a2242cad63
RANDOM SEED=1504421560
node76.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1574328 kB
Buffers: 50504 kB
Cached: 288296 kB
SwapCached: 7660 kB
Active: 161084 kB
Inactive: 249368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1574328 kB
SwapTotal: 4192956 kB
SwapFree: 4179076 kB
Dirty: 3588 kB
Writeback: 0 kB
Mapped: 90584 kB
Slab: 55844 kB
Committed_AS: 348220 kB
PageTables: 2228 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= 66540 MiB
End job on node76 at 2008-07-03 04:09:57