0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.27 configuration
0.18/0.27 name=esac.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-1056564-1215063623.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.27/0.35
0.27/0.35 variables being loaded...
0.27/0.40 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1093 nbTotalValues=109301
0.27/0.40 => wckTime=0.128 cpuTime=0.1 mem=9M878
0.27/0.40
0.27/0.40 predicates being loaded...
0.37/0.46
0.37/0.46 constraints being loaded...
1.06/1.15 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.06/1.15 nbConvertConstraintsChecks=60115 nbExtensionStructures=55 nbSharedExtensionStructures=45
1.06/1.15 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60113 minDegree=20
1.06/1.15 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.225
1.06/1.15 symmetryCpuTime=0.18 nbCliques=10
1.06/1.15 => wckTime=0.882 cpuTime=0.66 mem=25M621
1.16/1.23
1.16/1.23 solver IterativeSystematicSolver being built...
1.16/1.29
1.16/1.29 INFO : Forward propagation technique limited
1.26/1.36 => wckTime=1.097 cpuTime=0.76 mem=27M46
1.34/1.41
1.34/1.41 preprocessing
1.34/1.41 nbConstraintChecks=109300 nbPropagations=105 nbRevisions=106 nbUselessRevisions=6 nbRemovedValues=15298
1.34/1.41 detectedInconsistency=no
1.34/1.41 => wckTime=0.036 cpuTime=0.02 mem=27M979
19.58/19.89
19.58/19.89 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=25M903)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056564-1215063623/watcher-1056564-1215063623 -o /tmp/evaluation-result-1056564-1215063623/solver-1056564-1215063623 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1056564-1215063623.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: 1.99 1.98 1.99 4/81 12416
/proc/meminfo: memFree=1740040/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=18572 CPUtime=0
/proc/12416/stat : 12416 (runsolver) R 12414 12416 7759 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1985337539 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12416/statm: 4643 292 257 25 0 2626 0
[startup+0.0308899 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 12416
/proc/meminfo: memFree=1740040/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=861228 CPUtime=0
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 1709 0 1 0 0 0 0 0 18 0 3 0 1985337539 881897472 1406 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 861228
[startup+0.102953 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 12416
/proc/meminfo: memFree=1740040/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=865884 CPUtime=0.07
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 3680 0 1 0 6 1 0 0 18 0 9 0 1985337539 886665216 3155 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 216471 3155 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884
[startup+0.302005 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 12416
/proc/meminfo: memFree=1740040/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=866284 CPUtime=0.27
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 5718 0 1 0 23 4 0 0 18 0 9 0 1985337539 887074816 5107 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 216571 5107 1941 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.701075 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 12416
/proc/meminfo: memFree=1740040/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=867672 CPUtime=0.67
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 9056 0 1 0 60 7 0 0 18 0 9 0 1985337539 888496128 8414 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 216918 8414 2012 9 0 211424 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867672
[startup+1.50122 s]
/proc/loadavg: 1.99 1.98 1.99 5/92 12429
/proc/meminfo: memFree=1706800/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868320 CPUtime=1.44
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 20235 327 1 0 128 15 1 0 18 0 9 0 1985337539 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217080 12434 2632 9 0 211586 0
[pid=12416/tid=12418] ppid=12414 vsize=868320 CPUtime=1.07
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 14025 327 1 0 94 12 1 0 24 0 9 0 1985337540 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4127123407 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868320 CPUtime=0.07
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 4469 327 0 0 6 0 1 0 16 0 9 0 1985337542 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868320 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 16 0 9 0 1985337542 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868320 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868320 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868320 CPUtime=0.29
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 901 327 0 0 27 1 1 0 15 0 9 0 1985337544 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868320 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868320 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 3 327 0 0 0 0 1 0 15 0 9 0 1985337544 889159680 12434 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 868320
[startup+3.10254 s]
/proc/loadavg: 2.07 2.00 2.00 3/90 12429
/proc/meminfo: memFree=1694456/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=3.03
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 24360 327 1 0 285 17 1 0 18 0 9 0 1985337539 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 16545 2632 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=2.63
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 18126 327 1 0 248 14 1 0 25 0 9 0 1985337540 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4126703640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.07
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 4469 327 0 0 6 0 1 0 17 0 9 0 1985337542 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.32
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 925 327 0 0 30 1 1 0 15 0 9 0 1985337544 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 3 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 16545 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 868448
[startup+6.30117 s]
/proc/loadavg: 2.07 2.00 2.00 3/90 12429
/proc/meminfo: memFree=1667320/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=6.2
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 28607 327 1 0 600 19 1 0 18 0 9 0 1985337539 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 20629 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=5.77
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20382 327 1 0 561 15 1 0 25 0 9 0 1985337540 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4127103697 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.09
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 6426 327 0 0 7 1 1 0 17 0 9 0 1985337542 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.33
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 930 327 0 0 31 1 1 0 16 0 9 0 1985337544 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 20629 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 868448
[startup+12.7014 s]
/proc/loadavg: 2.06 2.00 2.00 3/90 12429
/proc/meminfo: memFree=1660920/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=12.55
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30213 327 1 0 1234 20 1 0 18 0 9 0 1985337539 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22189 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=12.07
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20389 327 1 0 1191 15 1 0 25 0 9 0 1985337540 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4127096590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.11
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 7973 327 0 0 8 2 1 0 17 0 9 0 1985337542 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.36
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 982 327 0 0 34 1 1 0 15 0 9 0 1985337544 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22189 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22189 996147200 134512640 134550740 4294955984 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) 868448
[startup+25.5029 s]
/proc/loadavg: 2.05 2.00 2.00 3/90 12429
/proc/meminfo: memFree=1660856/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=25.23
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30215 327 1 0 2502 20 1 0 18 0 9 0 1985337539 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22190 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=24.75
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20391 327 1 0 2459 15 1 0 25 0 9 0 1985337540 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4127110445 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.11
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 7973 327 0 0 8 2 1 0 16 0 9 0 1985337542 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.36
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 982 327 0 0 34 1 1 0 16 0 9 0 1985337544 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22190 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22190 996147200 134512640 134550740 4294955984 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) 868448
[startup+51.103 s]
/proc/loadavg: 2.03 2.00 2.00 3/90 12429
/proc/meminfo: memFree=1660856/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=50.58
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30243 327 1 0 5037 20 1 0 18 0 9 0 1985337539 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22214 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=50.09
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20395 327 1 0 4993 15 1 0 25 0 9 0 1985337540 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4125952166 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.12
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 7997 327 0 0 9 2 1 0 16 0 9 0 1985337542 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.36
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 982 327 0 0 34 1 1 0 16 0 9 0 1985337544 889290752 22214 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
################
# More data... #
################
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.3
Current children cumulated vsize (KiB) 868448
[startup+1602.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/73 12461
/proc/meminfo: memFree=1706448/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1594.28
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30676 327 1 0 159403 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1593.5
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20678 327 1 0 159332 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127101126 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.39
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 34 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.28
Current children cumulated vsize (KiB) 868448
[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/73 12461
/proc/meminfo: memFree=1706384/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1654.25
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30694 327 1 0 165400 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1653.47
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20696 327 1 0 165329 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127096665 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.41
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 36 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.25
Current children cumulated vsize (KiB) 868448
[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/73 12461
/proc/meminfo: memFree=1706384/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1714.23
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30703 327 1 0 171398 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1713.44
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20705 327 1 0 171326 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127112821 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.41
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 36 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.23
Current children cumulated vsize (KiB) 868448
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.32 2/73 12461
/proc/meminfo: memFree=1706320/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1774.21
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30712 327 1 0 177396 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1773.41
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20714 327 1 0 177323 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127094715 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.42
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 37 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.21
Current children cumulated vsize (KiB) 868448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.1 s]
/proc/loadavg: 1.00 1.02 1.31 2/73 12461
/proc/meminfo: memFree=1706320/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1800.01
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30716 327 1 0 179976 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1799.2
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20718 327 1 0 179902 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127160729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.42
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 37 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 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) 868448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.1 s]
/proc/loadavg: 1.00 1.02 1.31 2/73 12461
/proc/meminfo: memFree=1706320/2055924 swapFree=4180432/4192956
[pid=12416] ppid=12414 vsize=868448 CPUtime=1800.01
/proc/12416/stat : 12416 (java) S 12414 12416 7759 0 -1 0 30716 327 1 0 179976 24 1 0 18 0 9 0 1985337539 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12416/statm: 217112 22362 2636 9 0 211618 0
[pid=12416/tid=12418] ppid=12414 vsize=868448 CPUtime=1799.2
/proc/12416/task/12418/stat : 12418 (java) R 12414 12416 7759 0 -1 64 20718 327 1 0 179902 17 1 0 25 0 9 0 1985337540 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4127160729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12416/tid=12419] ppid=12414 vsize=868448 CPUtime=0.42
/proc/12416/task/12419/stat : 12419 (java) S 12414 12416 7759 0 -1 64 8141 327 0 0 37 4 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12420] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12420/stat : 12420 (java) S 12414 12416 7759 0 -1 64 14 327 0 0 0 0 1 0 17 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12421] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12421/stat : 12421 (java) S 12414 12416 7759 0 -1 64 12 327 0 0 0 0 1 0 16 0 9 0 1985337542 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12422] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12422/stat : 12422 (java) S 12414 12416 7759 0 -1 64 1 327 0 0 0 0 1 0 18 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12423] ppid=12414 vsize=868448 CPUtime=0.37
/proc/12416/task/12423/stat : 12423 (java) S 12414 12416 7759 0 -1 64 988 327 0 0 35 1 1 0 16 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12424] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12424/stat : 12424 (java) S 12414 12416 7759 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985337544 889290752 22362 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12416/tid=12425] ppid=12414 vsize=868448 CPUtime=0.01
/proc/12416/task/12425/stat : 12425 (java) S 12414 12416 7759 0 -1 64 32 327 0 0 0 0 1 0 15 0 9 0 1985337544 889290752 22362 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) 868448
Child status: 143
Real time (s): 1808.18
CPU time (s): 1800.11
CPU user time (s): 1799.84
CPU system time (s): 0.269958
CPU usage (%): 99.5533
Max. virtual memory (cumulated for all children) (KiB): 870724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31076
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= 39734
involuntary context switches= 64813
runsolver used 1.9807 second user time and 5.33819 second system time
The end
Begin job on node6 at 2008-07-03 07:40:23
IDJOB=1056564
IDBENCH=57655
IDSOLVER=364
FILE ID=node6/1056564-1215063623
PBS_JOBID= 7875161
Free space on /tmp= 66544 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-08-1092.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056564-1215063623/watcher-1056564-1215063623 -o /tmp/evaluation-result-1056564-1215063623/solver-1056564-1215063623 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1056564-1215063623.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f41ed40355d7ef2ae84bd4ab3983b449
RANDOM SEED=1169284401
node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1740520 kB
Buffers: 42960 kB
Cached: 152500 kB
SwapCached: 6636 kB
Active: 160444 kB
Inactive: 89508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1740520 kB
SwapTotal: 4192956 kB
SwapFree: 4180432 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 70648 kB
Slab: 50384 kB
Committed_AS: 3329500 kB
PageTables: 2060 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= 66544 MiB
End job on node6 at 2008-07-03 08:10:33