0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=esac.xml
0.17/0.28
0.17/0.28 instance
0.17/0.28 name=HOME/instance-1082379-1215222298.xml
0.27/0.32
0.27/0.32 domains being loaded...
0.27/0.34
0.27/0.34 variables being loaded...
0.37/0.45 nbVariables=450 nbDomainTypes=86 minDomainSize=944 maxDomainSize=1042 nbTotalValues=445464
0.37/0.45 => wckTime=0.201 cpuTime=0.15 mem=18M632
0.37/0.45
0.37/0.45 predicates being loaded...
0.47/0.51
0.47/0.51 constraints being loaded...
18.54/18.69 nbConstraints=9690 nbGlobalConstraints=9465 nbConvertedConstraints=225 nbConvertConstraintsChecks=84832678
18.54/18.69 nbExtensionStructures=86 nbSharedExtensionStructures=139 nbConflictsStructures=86
18.54/18.69 nbSharedConflictsStructures=139 nbSharedBinaryRepresentations=85380 minDegree=29 maxDegree=58 minArity=2
18.54/18.69 avgArity=2.02 maxArity=16 nbGenerators=0 nbFusions=0 symmetryWckTime=1.306 symmetryCpuTime=1.12 nbCliques=15
18.54/18.69 => wckTime=18.442 cpuTime=17.78 mem=61M535
18.83/18.92
18.83/18.92 solver IterativeSystematicSolver being built...
18.83/18.99
18.83/18.99 INFO : Forward propagation technique limited
18.93/19.09 => wckTime=18.842 cpuTime=17.93 mem=71M639
19.03/19.16
19.03/19.16 preprocessing
19.03/19.16 nbConstraintChecks=0 nbPropagations=450 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
19.03/19.16 detectedInconsistency=no
19.03/19.16 => wckTime=0.045 cpuTime=0.03 mem=73M642
22.20/22.33
22.20/22.33 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=238, mem=102M960)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082379-1215222298/watcher-1082379-1215222298 -o /tmp/evaluation-result-1082379-1215222298/solver-1082379-1215222298 -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-1082379-1215222298.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.15 2.05 2.02 4/80 6470
/proc/meminfo: memFree=1716848/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=152 CPUtime=0
/proc/6470/stat : 6470 (java) R 6468 6470 6321 0 -1 0 200 0 0 0 0 0 0 0 18 0 1 0 1006634408 155648 21 996147200 134512640 134550740 4294955968 18446744073709551615 10485354 0 0 4096 0 0 0 0 17 0 0 0
/proc/6470/statm: 38 26 19 9 0 4 0
[startup+0.0331279 s]
/proc/loadavg: 2.15 2.05 2.02 4/80 6470
/proc/meminfo: memFree=1716848/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=861876 CPUtime=0.02
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 2105 0 1 0 1 1 0 0 18 0 5 0 1006634408 882561024 1753 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 215469 1754 808 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.101135 s]
/proc/loadavg: 2.15 2.05 2.02 4/80 6470
/proc/meminfo: memFree=1716848/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=865884 CPUtime=0.08
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 3704 0 1 0 6 2 0 0 18 0 9 0 1006634408 886665216 3177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216471 3177 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301155 s]
/proc/loadavg: 2.15 2.05 2.02 4/80 6470
/proc/meminfo: memFree=1716848/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=866284 CPUtime=0.27
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 5849 0 1 0 22 5 0 0 18 0 9 0 1006634408 887074816 5223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216571 5223 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.701196 s]
/proc/loadavg: 2.15 2.05 2.02 4/80 6470
/proc/meminfo: memFree=1716848/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=867708 CPUtime=0.67
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 11111 0 1 0 60 7 0 0 18 0 9 0 1006634408 888532992 10471 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216927 10472 2011 9 0 211433 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867708
[startup+1.50128 s]
/proc/loadavg: 2.15 2.05 2.02 3/89 6479
/proc/meminfo: memFree=1662568/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=867620 CPUtime=1.47
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 20936 0 1 0 135 12 0 0 18 0 9 0 1006634408 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216905 20269 2005 9 0 211433 0
[pid=6470/tid=6472] ppid=6468 vsize=867620 CPUtime=1.19
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 15774 0 1 0 110 9 0 0 25 0 9 0 1006634410 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4126877429 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=867620 CPUtime=0.08
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 3794 0 0 0 7 1 0 0 16 0 9 0 1006634411 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6475] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6476] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1006634413 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=867620 CPUtime=0.17
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 672 0 0 0 17 0 0 0 15 0 9 0 1006634413 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1006634413 888442880 20269 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1006634413 888442880 20269 996147200 134512640 134550740 4294955968 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) 867620
[startup+3.10244 s]
/proc/loadavg: 2.15 2.05 2.02 3/89 6479
/proc/meminfo: memFree=1642984/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=867620 CPUtime=3.07
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 20960 0 1 0 292 15 0 0 18 0 9 0 1006634408 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216905 20292 2005 9 0 211433 0
[pid=6470/tid=6472] ppid=6468 vsize=867620 CPUtime=2.77
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 15777 0 1 0 265 12 0 0 25 0 9 0 1006634410 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4126898265 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=867620 CPUtime=0.08
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 3794 0 0 0 7 1 0 0 17 0 9 0 1006634411 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6475] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6476] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1006634413 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=867620 CPUtime=0.19
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 693 0 0 0 19 0 0 0 15 0 9 0 1006634413 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1006634413 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1006634413 888442880 20292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867620
[startup+6.30177 s]
/proc/loadavg: 2.14 2.05 2.02 3/89 6479
/proc/meminfo: memFree=1642792/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=867620 CPUtime=6.27
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 20984 0 1 0 606 21 0 0 18 0 9 0 1006634408 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216905 20313 2005 9 0 211433 0
[pid=6470/tid=6472] ppid=6468 vsize=867620 CPUtime=5.94
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 15784 0 1 0 576 18 0 0 25 0 9 0 1006634410 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4126898455 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=867620 CPUtime=0.08
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 3794 0 0 0 7 1 0 0 16 0 9 0 1006634411 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6475] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6476] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1006634413 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=867620 CPUtime=0.21
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 710 0 0 0 21 0 0 0 16 0 9 0 1006634413 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1006634413 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1006634413 888442880 20313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867620
[startup+12.7024 s]
/proc/loadavg: 2.12 2.05 2.01 3/89 6479
/proc/meminfo: memFree=1642600/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=867620 CPUtime=12.67
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 20990 0 1 0 1229 38 0 0 18 0 9 0 1006634408 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 216905 20316 2005 9 0 211433 0
[pid=6470/tid=6472] ppid=6468 vsize=867620 CPUtime=12.33
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 15788 0 1 0 1199 34 0 0 25 0 9 0 1006634410 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4126898455 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=867620 CPUtime=0.08
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 3794 0 0 0 7 1 0 0 17 0 9 0 1006634411 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6475] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1006634411 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6476] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1006634413 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=867620 CPUtime=0.21
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 712 0 0 0 21 0 0 0 16 0 9 0 1006634413 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1006634413 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=867620 CPUtime=0
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1006634413 888442880 20316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867620
[startup+25.5018 s]
/proc/loadavg: 2.10 2.05 2.01 3/89 6483
/proc/meminfo: memFree=1586592/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=25.37
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 59036 735 1 0 2466 60 10 1 18 0 9 0 1006634408 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 34887 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=24.42
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 28954 735 1 0 2382 49 10 1 25 0 9 0 1006634410 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4126637272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=0.67
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28312 735 0 0 49 7 10 1 17 0 9 0 1006634411 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.46
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 907 735 0 0 34 1 10 1 16 0 9 0 1006634413 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 34887 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 868356
[startup+51.1014 s]
/proc/loadavg: 2.06 2.04 2.01 3/89 6483
/proc/meminfo: memFree=1585824/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=50.73
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 59254 735 1 0 5001 61 10 1 18 0 9 0 1006634408 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35077 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=49.65
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 28981 735 1 0 4905 49 10 1 25 0 9 0 1006634410 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4126637272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=0.76
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28490 735 0 0 57 8 10 1 16 0 9 0 1006634411 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 920 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35077 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
################
# More data... #
################
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.99
Current children cumulated vsize (KiB) 868356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 7150
/proc/meminfo: memFree=1096336/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1589.97
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61389 735 1 0 158896 90 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1584.29
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 30826 735 1 0 158352 66 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4126878716 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=5.35
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 504 20 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.97
Current children cumulated vsize (KiB) 868356
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7150
/proc/meminfo: memFree=1062032/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1649.94
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61481 735 1 0 164892 91 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1644.03
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 30918 735 1 0 164326 66 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4127207557 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=5.59
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 527 21 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.94
Current children cumulated vsize (KiB) 868356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7150
/proc/meminfo: memFree=1039248/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1709.91
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61577 735 1 0 170889 91 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1703.76
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 31014 735 1 0 170298 67 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4127199888 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=5.83
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 551 21 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.91
Current children cumulated vsize (KiB) 868356
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7150
/proc/meminfo: memFree=1013904/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1769.89
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61677 735 1 0 176885 93 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1763.47
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 31114 735 1 0 176269 67 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4126637272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=6.09
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 576 22 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.89
Current children cumulated vsize (KiB) 868356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7150
/proc/meminfo: memFree=987216/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1800.08
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61725 735 1 0 179904 93 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1793.54
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 31162 735 1 0 179276 67 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4126830450 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=6.22
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 589 22 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7150
/proc/meminfo: memFree=987216/2055920 swapFree=4180884/4192956
[pid=6470] ppid=6468 vsize=868356 CPUtime=1800.08
/proc/6470/stat : 6470 (java) S 6468 6470 6321 0 -1 0 61725 735 1 0 179904 93 10 1 18 0 9 0 1006634408 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6470/statm: 217089 35367 2637 9 0 211595 0
[pid=6470/tid=6472] ppid=6468 vsize=868356 CPUtime=1793.54
/proc/6470/task/6472/stat : 6472 (java) R 6468 6470 6321 0 -1 64 31162 735 1 0 179276 67 10 1 25 0 9 0 1006634410 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4126830450 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6473] ppid=6468 vsize=868356 CPUtime=6.22
/proc/6470/task/6473/stat : 6473 (java) S 6468 6470 6321 0 -1 64 28778 735 0 0 589 22 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6474] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6474/stat : 6474 (java) S 6468 6470 6321 0 -1 64 17 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6475] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6475/stat : 6475 (java) S 6468 6470 6321 0 -1 64 20 735 0 0 0 0 10 1 16 0 9 0 1006634411 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6470/tid=6476] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6476/stat : 6476 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 23 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6477] ppid=6468 vsize=868356 CPUtime=0.5
/proc/6470/task/6477/stat : 6477 (java) S 6468 6470 6321 0 -1 64 922 735 0 0 38 1 10 1 16 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6478] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6478/stat : 6478 (java) S 6468 6470 6321 0 -1 64 1 735 0 0 0 0 10 1 24 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6470/tid=6479] ppid=6468 vsize=868356 CPUtime=0.11
/proc/6470/task/6479/stat : 6479 (java) S 6468 6470 6321 0 -1 64 10 735 0 0 0 0 10 1 15 0 9 0 1006634413 889196544 35367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868356
Child status: 143
Real time (s): 1812.55
CPU time (s): 1800.15
CPU user time (s): 1799.17
CPU system time (s): 0.975851
CPU usage (%): 99.3159
Max. virtual memory (cumulated for all children) (KiB): 869932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.975851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62492
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= 52761
involuntary context switches= 76854
runsolver used 2.51362 second user time and 5.77012 second system time
The end
Begin job on node2 at 2008-07-05 03:44:58
IDJOB=1082379
IDBENCH=57224
IDSOLVER=364
FILE ID=node2/1082379-1215222298
PBS_JOBID= 7881831
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082379-1215222298/watcher-1082379-1215222298 -o /tmp/evaluation-result-1082379-1215222298/solver-1082379-1215222298 -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-1082379-1215222298.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 874fd86118a4813c9be08ba39f4519b6
RANDOM SEED=1031140012
node2.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.236
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.236
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: 1717328 kB
Buffers: 51312 kB
Cached: 142976 kB
SwapCached: 5700 kB
Active: 135780 kB
Inactive: 135444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717328 kB
SwapTotal: 4192956 kB
SwapFree: 4180884 kB
Dirty: 3248 kB
Writeback: 0 kB
Mapped: 90716 kB
Slab: 52220 kB
Committed_AS: 2419108 kB
PageTables: 2132 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66384 MiB
End job on node2 at 2008-07-05 04:15:12