0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3 CACHED
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 c Number of processors 2
0.26 c --- Begin Solver configuration ---
0.26 c Stops conflict analysis at the first Unique Implication Point
0.26 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26 c Learn all clauses as in MiniSAT
0.26 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.26 c VSIDS like heuristics from MiniSAT using a heap
0.26 c No reason simplification
0.26 c --- End Solver configuration ---
0.26 c solving /tmp/evaluation/238857-1168360834/unknown.xml
0.26 c reading problem ...
0.51 c reading problem named ?
0.51 c reading domains done.
0.52 c reading variables
c reading variables (208) done.
0.78 c reading relations
c reading relations (9) done.
1.00 c reading constraints
c reading constraints done.
3.87 c ... done. Wall clock time 3.619s.
3.88 c CPU time (experimental) 1.66s.
3.88 c #vars 7334
3.88 c #constraints 5530
522.28 c cleaning 113207 clauses out of 226452 for limit 1.153295651003011E13
1006.44 c cleaning 106307 clauses out of 212645 for limit 1.9042851334519619E-4
1355.92 c cleaning 95439 clauses out of 190938 for limit 1.2195254419993426E-7
1650.85 c cleaning 98635 clauses out of 197299 for limit 0.0020195608597330618
1807.58 c starts : 20
1807.58 c conflicts : 575986
1807.58 c decisions : 877934
1807.58 c propagations : 34653496
1807.58 c inspects : 2300663156
1807.58 c learnt literals : 3
1807.58 c learnt binary clauses : 0
1807.58 c learnt ternary clauses : 17
1807.58 c learnt clauses : 575938
1807.58 c root simplifications : 0
1807.58 c removed literals (reason simplification) : 0
1807.58 c reason swapping (by a shorter reason) : 0
1807.58 c Calls to reduceDB : 4
1807.58 c speed (decisions/second) : 486.7467955737086
1807.58 c non guided choices 9110
1807.58 s UNKNOWN
1807.58 c Total wall clock time (in seconds) : 1807.328
1807.58 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-238857-1168360834 -o ROOT/results/node14/solver-238857-1168360834 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238857-1168360834/sat4jCSP-bf3-cached.jar /tmp/evaluation/238857-1168360834/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.80 1.95 1.98 4/87 11445
/proc/meminfo: memFree=1773656/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=18540 CPUtime=0
/proc/11444/stat : 11444 (runsolver) R 11442 11444 11386 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 184478318 18984960 279 18446744073709551615 4194304 4267372 548682068976 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11444/statm: 4635 279 244 17 0 2626 0
[startup+0.108486 s]
/proc/loadavg: 1.80 1.95 1.98 4/87 11445
/proc/meminfo: memFree=1773656/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=901540 CPUtime=0.08
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 3319 0 1 0 7 1 0 0 22 0 12 0 184478318 923176960 3079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7360506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11444/statm: 225385 3079 1559 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.51752 s]
/proc/loadavg: 1.80 1.95 1.98 4/87 11445
/proc/meminfo: memFree=1773656/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=905236 CPUtime=0.49
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 5962 0 1 0 47 2 0 0 19 0 12 0 184478318 926961664 5556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151513458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226309 5556 2287 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.3446 s]
/proc/loadavg: 1.80 1.95 1.98 4/98 11456
/proc/meminfo: memFree=1756608/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=905288 CPUtime=1.31
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 7286 0 1 0 128 3 0 0 22 0 12 0 184478318 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226322 6777 2329 14 0 212759 0
[pid=11444/tid=11446] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184478322 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184478322 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11448] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 184478324 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11449] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 184478325 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11450] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 184478325 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=905288 CPUtime=0.34
/proc/11444/task/11453/stat : 11453 (java) R 11442 11444 11386 0 -1 64 352 0 0 0 34 0 0 0 16 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152647598 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=905288 CPUtime=0.28
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 702 0 0 0 28 0 0 0 16 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=905288 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184478329 927014912 6777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 905288
[startup+2.98876 s]
/proc/loadavg: 1.80 1.95 1.98 3/98 11456
/proc/meminfo: memFree=1751744/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=905480 CPUtime=2.96
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 11065 0 1 0 290 6 0 0 25 0 12 0 184478318 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226370 9169 2333 14 0 212807 0
[pid=11444/tid=11446] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184478322 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184478322 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11448] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 184478324 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 20 0 12 0 184478325 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11450] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 184478325 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=905480 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=905480 CPUtime=0.83
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1361 0 0 0 83 0 0 0 16 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=905480 CPUtime=0.8
/proc/11444/task/11454/stat : 11454 (java) R 11442 11444 11386 0 -1 64 1226 0 0 0 80 0 0 0 16 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152336000 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=905480 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184478329 927211520 9169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 905480
[startup+6.28407 s]
/proc/loadavg: 1.89 1.97 1.99 3/99 11457
/proc/meminfo: memFree=1726968/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=908060 CPUtime=6.24
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 17768 0 1 0 615 9 0 0 25 0 13 0 184478318 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054809654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 227015 14933 2349 14 0 213452 0
[pid=11444/tid=11446] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184478322 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184478322 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11448] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 184478324 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 20 0 13 0 184478325 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11450] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 184478325 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=908060 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=908060 CPUtime=1.21
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1389 0 0 0 121 0 0 0 16 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=908060 CPUtime=1.46
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2730 0 0 0 145 1 0 0 15 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=908060 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929853440 14933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 908060
[startup+12.7827 s]
/proc/loadavg: 1.98 1.99 1.99 3/99 11457
/proc/meminfo: memFree=1658936/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=12.74
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 35232 0 1 0 1255 19 0 0 20 0 13 0 184478318 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054715537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11444/statm: 226815 30918 2357 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=0.07
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 7289 0 0 0 4 3 0 0 17 0 13 0 184478322 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=0.08
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 4137 0 0 0 4 4 0 0 17 0 13 0 184478322 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 184478324 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.22
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1389 0 0 0 122 0 0 0 16 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.47
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2732 0 0 0 146 1 0 0 16 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 30918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 907260
[startup+25.5849 s]
/proc/loadavg: 1.98 1.99 1.99 3/99 11457
/proc/meminfo: memFree=1658936/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=25.49
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 35233 0 1 0 2529 20 0 0 25 0 13 0 184478318 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054751136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11444/statm: 226815 30919 2357 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=0.07
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 7289 0 0 0 4 3 0 0 17 0 13 0 184478322 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=0.08
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 4137 0 0 0 4 4 0 0 17 0 13 0 184478322 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 184478324 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.23
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1390 0 0 0 123 0 0 0 16 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.49
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2732 0 0 0 148 1 0 0 16 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 30919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 907260
[startup+51.2793 s]
/proc/loadavg: 1.99 1.99 1.99 3/99 11457
/proc/meminfo: memFree=1587832/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=51.13
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 57097 0 1 0 5084 29 0 0 25 0 13 0 184478318 929034240 48681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054715792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/loadavg: 2.05 2.03 2.00 3/101 11657
/proc/meminfo: memFree=1066216/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=1596.69
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 196455 0 1 0 159559 110 0 0 25 0 13 0 184478318 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054716054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11444/statm: 226815 178442 2366 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=2.74
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 71494 0 0 0 243 31 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=2.83
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 94989 0 0 0 243 40 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=1.59
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6112 0 0 0 157 2 0 0 16 0 13 0 184478324 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.31
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1395 0 0 0 131 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.56
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2733 0 0 0 155 1 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.69
Current children cumulated vsize (KiB) 907260
[startup+1663.66 s]
/proc/loadavg: 2.02 2.02 2.00 6/101 11657
/proc/meminfo: memFree=1066216/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=1656.5
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 196459 0 1 0 165540 110 0 0 25 0 13 0 184478318 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226815 178442 2366 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=2.9
/proc/11444/task/11446/stat : 11446 (java) R 11442 11444 11386 0 -1 64 71494 0 0 0 259 31 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154958745 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=2.99
/proc/11444/task/11447/stat : 11447 (java) R 11442 11444 11386 0 -1 64 94989 0 0 0 259 40 0 0 16 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154958745 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=1.82
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6112 0 0 0 180 2 0 0 15 0 13 0 184478324 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.31
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1395 0 0 0 131 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.56
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2733 0 0 0 155 1 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.5
Current children cumulated vsize (KiB) 907260
[startup+1723.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 11657
/proc/meminfo: memFree=1066152/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=1716.34
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 196462 0 1 0 171523 111 0 0 25 0 13 0 184478318 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054715790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226815 178442 2366 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=3.08
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 71494 0 0 0 277 31 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=3.17
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 94989 0 0 0 277 40 0 0 16 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=1.82
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6112 0 0 0 180 2 0 0 16 0 13 0 184478324 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.31
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1395 0 0 0 131 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.56
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2733 0 0 0 155 1 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.34
Current children cumulated vsize (KiB) 907260
[startup+1783.73 s]
/proc/loadavg: 2.00 2.01 2.00 3/98 11887
/proc/meminfo: memFree=1064392/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=1776.2
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 196466 0 1 0 177507 113 0 0 25 0 13 0 184478318 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054715537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226815 178442 2366 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=3.23
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 71494 0 0 0 292 31 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=3.36
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 94989 0 0 0 296 40 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=1.82
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6112 0 0 0 180 2 0 0 16 0 13 0 184478324 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.31
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1395 0 0 0 131 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.56
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2733 0 0 0 155 1 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.2
Current children cumulated vsize (KiB) 907260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.57 s]
/proc/loadavg: 2.00 2.01 2.00 3/98 11887
/proc/meminfo: memFree=1064520/2055920 swapFree=4158768/4192956
[pid=11444] ppid=11442 vsize=907260 CPUtime=1800.02
/proc/11444/stat : 11444 (java) R 11442 11444 11386 0 -1 0 196467 0 1 0 179889 113 0 0 25 0 13 0 184478318 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054677466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11444/statm: 226815 178442 2366 14 0 213252 0
[pid=11444/tid=11446] ppid=11442 vsize=907260 CPUtime=3.27
/proc/11444/task/11446/stat : 11446 (java) S 11442 11444 11386 0 -1 64 71494 0 0 0 296 31 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11447] ppid=11442 vsize=907260 CPUtime=3.4
/proc/11444/task/11447/stat : 11447 (java) S 11442 11444 11386 0 -1 64 94989 0 0 0 300 40 0 0 17 0 13 0 184478322 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11448] ppid=11442 vsize=907260 CPUtime=1.82
/proc/11444/task/11448/stat : 11448 (java) S 11442 11444 11386 0 -1 64 6112 0 0 0 180 2 0 0 16 0 13 0 184478324 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11449] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11449/stat : 11449 (java) S 11442 11444 11386 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11450] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11450/stat : 11450 (java) S 11442 11444 11386 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184478325 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11451] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11451/stat : 11451 (java) S 11442 11444 11386 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11452] ppid=11442 vsize=907260 CPUtime=0.01
/proc/11444/task/11452/stat : 11452 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11453] ppid=11442 vsize=907260 CPUtime=1.31
/proc/11444/task/11453/stat : 11453 (java) S 11442 11444 11386 0 -1 64 1395 0 0 0 131 0 0 0 16 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11454] ppid=11442 vsize=907260 CPUtime=1.56
/proc/11444/task/11454/stat : 11454 (java) S 11442 11444 11386 0 -1 64 2733 0 0 0 155 1 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11444/tid=11455] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11455/stat : 11455 (java) S 11442 11444 11386 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11456] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11456/stat : 11456 (java) S 11442 11444 11386 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184478329 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11444/tid=11457] ppid=11442 vsize=907260 CPUtime=0
/proc/11444/task/11457/stat : 11457 (java) S 11442 11444 11386 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184478710 929034240 178442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 907260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.71
CPU time (s): 1800.15
CPU user time (s): 1798.91
CPU system time (s): 1.24481
CPU usage (%): 99.582
Max. virtual memory (cumulated for all children) (KiB): 908264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196485
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= 38382
involuntary context switches= 65273
runsolver used 2.27965 s user time and 5.78712 s system time
The end
Begin job on node14 on Tue Jan 9 16:40:34 UTC 2007
IDJOB= 238857
IDBENCH= 7024
FILE ID= node14/238857-1168360834
PBS_JOBID= 3503757
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-3_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238857-1168360834/sat4jCSP-bf3-cached.jar /tmp/evaluation/238857-1168360834/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-238857-1168360834 -o ROOT/results/node14/solver-238857-1168360834 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238857-1168360834/sat4jCSP-bf3-cached.jar /tmp/evaluation/238857-1168360834/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= d9fc6498eb8cc87a372efbb16281ba77
RANDOM SEED= 771257602
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
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: 1774072 kB
Buffers: 30176 kB
Cached: 155176 kB
SwapCached: 3144 kB
Active: 118784 kB
Inactive: 108352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774072 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 2768 kB
Writeback: 0 kB
Mapped: 49812 kB
Slab: 39600 kB
Committed_AS: 6309244 kB
PageTables: 2168 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= 66557 MiB
End job on node14 on Tue Jan 9 17:10:42 UTC 2007