0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.28 name=HOME/instance-1078247-1215206085.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.34 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.34 => wckTime=0.102 cpuTime=0.09 mem=7M919
0.29/0.34
0.29/0.34 relations being loaded...
0.48/0.58
0.48/0.58 constraints being loaded...
0.77/0.82 nbConstraints=60 nbRelationTypes=60 nbGlobalConstraints=60 nbExtensionStructures=60
0.77/0.82 nbSharedExtensionStructures=0 nbConflictsStructures=60 nbSharedConflictsStructures=0
0.77/0.82 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=13 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.77/0.82 symmetryWckTime=0.043 symmetryCpuTime=0.02
0.77/0.82 => wckTime=0.571 cpuTime=0.49 mem=48M758
0.87/0.94
0.87/0.94 solver IterativeSystematicSolver being built...
0.98/1.01
0.98/1.02 INFO : Forward propagation technique limited
0.98/1.08 => wckTime=0.842 cpuTime=0.62 mem=30M171
1.08/1.13
1.08/1.13 preprocessing
1.08/1.13 nbConstraintChecks=0 nbValidityChecks=176640 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.08/1.13 nbRemovedValues=0 detectedInconsistency=no
1.08/1.13 => wckTime=0.039 cpuTime=0.03 mem=30M171
1.67/1.73
1.67/1.73 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M126)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078247-1215206085/watcher-1078247-1215206085 -o /tmp/evaluation-result-1078247-1215206085/solver-1078247-1215206085 -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-1078247-1215206085.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.95 3/73 24406
/proc/meminfo: memFree=1662296/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=152 CPUtime=0
/proc/24406/stat : 24406 (java) R 24404 24406 23359 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1999583806 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 2187563 0 0 4096 0 0 0 0 17 0 0 0
/proc/24406/statm: 38 26 19 9 0 4 0
[startup+0.100488 s]
/proc/loadavg: 2.00 2.00 1.95 3/73 24406
/proc/meminfo: memFree=1662296/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=865884 CPUtime=0.08
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 3753 0 1 0 7 1 0 0 18 0 9 0 1999583806 886665216 3215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216471 3218 1706 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.201505 s]
/proc/loadavg: 2.00 2.00 1.95 3/73 24406
/proc/meminfo: memFree=1662296/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866044 CPUtime=0.18
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 4832 0 1 0 16 2 0 0 18 0 9 0 1999583806 886829056 4259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216511 4259 1861 9 0 211059 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.301524 s]
/proc/loadavg: 2.00 2.00 1.95 3/73 24406
/proc/meminfo: memFree=1662296/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866284 CPUtime=0.29
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 5926 0 1 0 26 3 0 0 18 0 9 0 1999583806 887074816 5300 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216571 5305 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701603 s]
/proc/loadavg: 2.00 2.00 1.95 3/73 24406
/proc/meminfo: memFree=1662296/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866520 CPUtime=0.68
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 13768 0 1 0 60 8 0 0 18 0 9 0 1999583806 887316480 13128 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216630 13130 1977 9 0 211158 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866520
[startup+1.50277 s]
/proc/loadavg: 2.00 2.00 1.95 5/84 24419
/proc/meminfo: memFree=1595456/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866932 CPUtime=1.47
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28401 270 1 0 133 13 0 1 18 0 9 0 1999583806 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216733 19285 2631 9 0 211239 0
[pid=24406/tid=24408] ppid=24404 vsize=866932 CPUtime=1.16
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19481 270 1 0 106 9 0 1 19 0 9 0 1999583807 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4126735371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=866932 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 17 0 9 0 1999583808 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=866932 CPUtime=0.17
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 504 270 0 0 16 0 0 1 15 0 9 0 1999583810 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887738368 19285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887738368 19285 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) 866932
[startup+3.10208 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 24419
/proc/meminfo: memFree=1595144/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866932 CPUtime=3.06
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28425 270 1 0 292 13 0 1 18 0 9 0 1999583806 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216733 19297 2631 9 0 211239 0
[pid=24406/tid=24408] ppid=24404 vsize=866932 CPUtime=2.72
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19493 270 1 0 262 9 0 1 17 0 9 0 1999583807 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4126746626 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=866932 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=866932 CPUtime=0.19
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 516 270 0 0 18 0 0 1 15 0 9 0 1999583810 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=866932 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887738368 19297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866932
[startup+6.30171 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 24419
/proc/meminfo: memFree=1594888/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=6.22
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28457 270 1 0 608 13 0 1 18 0 9 0 1999583806 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19310 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=5.86
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19510 270 1 0 576 9 0 1 25 0 9 0 1999583807 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4126746626 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.22
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 531 270 0 0 21 0 0 1 17 0 9 0 1999583810 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867064
[startup+12.703 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 24419
/proc/meminfo: memFree=1594696/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=12.57
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28475 270 1 0 1242 14 0 1 18 0 9 0 1999583806 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19314 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=12.19
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19523 270 1 0 1209 9 0 1 25 0 9 0 1999583807 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4126735319 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 536 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867064
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 24419
/proc/meminfo: memFree=1594760/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=25.24
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28522 270 1 0 2509 14 0 1 18 0 9 0 1999583806 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19314 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=24.87
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19570 270 1 0 2476 10 0 1 18 0 9 0 1999583807 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4126746485 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 536 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867064
[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 24419
/proc/meminfo: memFree=1594760/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=50.59
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 28597 270 1 0 5044 14 0 1 18 0 9 0 1999583806 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19314 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=50.23
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 19645 270 1 0 5012 10 0 1 25 0 9 0 1999583807 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4126746469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 536 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19314 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
################
# More data... #
################
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 537 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19320 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.67
Current children cumulated vsize (KiB) 867064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/83 24599
/proc/meminfo: memFree=1632064/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=1595.63
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 32941 270 1 0 159541 21 0 1 18 0 9 0 1999583806 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19341 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=1595.26
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 23988 270 1 0 159508 17 0 1 25 0 9 0 1999583807 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4126746439 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 537 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19341 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.63
Current children cumulated vsize (KiB) 867064
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/83 24599
/proc/meminfo: memFree=1630848/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=1655.61
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 33215 270 1 0 165538 22 0 1 18 0 9 0 1999583806 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19615 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=1655.24
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 24262 270 1 0 165505 18 0 1 25 0 9 0 1999583807 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4126746781 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 537 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19615 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 867064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/83 24601
/proc/meminfo: memFree=1629440/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=867064 CPUtime=1715.58
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 33418 270 1 0 171535 22 0 1 18 0 9 0 1999583806 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216766 19817 2631 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=867064 CPUtime=1715.2
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 24464 270 1 0 171501 18 0 1 25 0 9 0 1999583807 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4126796707 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24409] ppid=24404 vsize=867064 CPUtime=0.11
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 7579 270 0 0 9 1 0 1 16 0 9 0 1999583808 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24411] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1999583808 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24412] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=867064 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 538 270 0 0 22 0 0 1 16 0 9 0 1999583810 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=867064 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887873536 19817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.58
Current children cumulated vsize (KiB) 867064
[startup+1782.3 s]
/proc/loadavg: 2.27 2.09 1.98 3/92 24703
/proc/meminfo: memFree=914232/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866976 CPUtime=1773.84
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 34541 270 1 0 177359 24 0 1 18 0 9 0 1999583806 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216744 20914 2613 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=866976 CPUtime=1773.46
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 24565 270 1 0 177325 20 0 1 25 0 9 0 1999583807 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4126746469 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=866976 CPUtime=0.14
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 8600 270 0 0 11 2 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24411] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 10 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24412] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=866976 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 538 270 0 0 22 0 0 1 16 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.84
Current children cumulated vsize (KiB) 866976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.8 s]
/proc/loadavg: 2.16 2.08 1.98 3/92 24703
/proc/meminfo: memFree=882040/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866976 CPUtime=1800.08
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 34541 270 1 0 179983 24 0 1 18 0 9 0 1999583806 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216744 20914 2613 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=866976 CPUtime=1799.7
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 24565 270 1 0 179949 20 0 1 25 0 9 0 1999583807 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4126746831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=866976 CPUtime=0.14
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 8600 270 0 0 11 2 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24411] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 10 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24412] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=866976 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 538 270 0 0 22 0 0 1 16 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887783424 20914 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) 866976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.8 s]
/proc/loadavg: 2.16 2.08 1.98 3/92 24703
/proc/meminfo: memFree=882040/2055924 swapFree=4180432/4192956
[pid=24406] ppid=24404 vsize=866976 CPUtime=1800.08
/proc/24406/stat : 24406 (java) S 24404 24406 23359 0 -1 0 34541 270 1 0 179983 24 0 1 18 0 9 0 1999583806 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24406/statm: 216744 20914 2613 9 0 211272 0
[pid=24406/tid=24408] ppid=24404 vsize=866976 CPUtime=1799.7
/proc/24406/task/24408/stat : 24408 (java) R 24404 24406 23359 0 -1 64 24565 270 1 0 179949 20 0 1 25 0 9 0 1999583807 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4126746831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24406/tid=24409] ppid=24404 vsize=866976 CPUtime=0.14
/proc/24406/task/24409/stat : 24409 (java) S 24404 24406 23359 0 -1 64 8600 270 0 0 11 2 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24410] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24410/stat : 24410 (java) S 24404 24406 23359 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24411] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24411/stat : 24411 (java) S 24404 24406 23359 0 -1 64 10 270 0 0 0 0 0 1 16 0 9 0 1999583808 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24412] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24412/stat : 24412 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 24 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24413] ppid=24404 vsize=866976 CPUtime=0.23
/proc/24406/task/24413/stat : 24413 (java) S 24404 24406 23359 0 -1 64 538 270 0 0 22 0 0 1 16 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24414] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24414/stat : 24414 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 25 0 9 0 1999583810 887783424 20914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24406/tid=24415] ppid=24404 vsize=866976 CPUtime=0.01
/proc/24406/task/24415/stat : 24415 (java) S 24404 24406 23359 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1999583810 887783424 20914 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) 866976
Child status: 143
Real time (s): 1808.88
CPU time (s): 1800.17
CPU user time (s): 1799.9
CPU system time (s): 0.272958
CPU usage (%): 99.5185
Max. virtual memory (cumulated for all children) (KiB): 867064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34841
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= 37629
involuntary context switches= 45365
runsolver used 2.67559 second user time and 5.57115 second system time
The end
Begin job on node6 at 2008-07-04 23:14:45
IDJOB=1078247
IDBENCH=56771
IDSOLVER=363
FILE ID=node6/1078247-1215206085
PBS_JOBID= 7881645
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-27_ext.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-1078247-1215206085/watcher-1078247-1215206085 -o /tmp/evaluation-result-1078247-1215206085/solver-1078247-1215206085 -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-1078247-1215206085.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5d827178576edb3581cfab2e015d5861
RANDOM SEED=1269532026
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: 1662776 kB
Buffers: 53820 kB
Cached: 247280 kB
SwapCached: 6328 kB
Active: 269480 kB
Inactive: 69488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1662776 kB
SwapTotal: 4192956 kB
SwapFree: 4180432 kB
Dirty: 3440 kB
Writeback: 0 kB
Mapped: 45612 kB
Slab: 39260 kB
Committed_AS: 3348584 kB
PageTables: 2000 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= 66488 MiB
End job on node6 at 2008-07-04 23:44:56