0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15 c version CSP COMPETITION BUGFIX 3
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.24 c --- Begin Solver configuration ---
0.24 c Stops conflict analysis at the first Unique Implication Point
0.24 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.24 c Learn all clauses as in MiniSAT
0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.24 c VSIDS like heuristics from MiniSAT using a heap
0.24 c No reason simplification
0.24 c --- End Solver configuration ---
0.24 c solving /tmp/evaluation/206767-1168177721/unknown.xml
0.24 c reading problem ...
0.50 c reading problem named ?
0.50 c reading domains done.
0.50 c reading variables
c reading variables (28) done.
0.55 c reading relations
c reading relations (93) done.
4.80 c reading constraints
c reading constraints done.
6.81 c ... done. Wall clock time 6.567s.
6.81 c CPU time (experimental) 4.61s.
6.81 c #vars 784
6.81 c #constraints 1290245
1809.13 c starts : 21
1809.13 c conflicts : 741454
1809.13 c decisions : 1382839
1809.13 c propagations : 48427154
1809.13 c inspects : 4245776056
1809.13 c learnt literals : 0
1809.13 c learnt binary clauses : 0
1809.13 c learnt ternary clauses : 343
1809.13 c learnt clauses : 741451
1809.13 c root simplifications : 0
1809.13 c removed literals (reason simplification) : 0
1809.13 c reason swapping (by a shorter reason) : 0
1809.13 c Calls to reduceDB : 0
1809.13 c speed (decisions/second) : 767.2549824670425
1809.13 c non guided choices 309
1809.13 s UNKNOWN
1809.13 c Total wall clock time (in seconds) : 1808.891
1809.13 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/node72/watcher-206767-1168177721 -o ROOT/results/node72/solver-206767-1168177721 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/206767-1168177721/sat4jCSP-bf3.jar /tmp/evaluation/206767-1168177721/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: 2.03 2.01 1.86 4/98 29460
/proc/meminfo: memFree=676408/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=172 CPUtime=0
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 166180956 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 0 0 0
/proc/29459/statm: 43 24 18 14 0 3 0
[startup+0.108437 s]
/proc/loadavg: 2.03 2.01 1.86 4/98 29460
/proc/meminfo: memFree=676408/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=902816 CPUtime=0.09
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 3416 0 1 0 7 2 0 0 25 0 12 0 166180956 924483584 3176 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 225704 3176 1586 14 0 212148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902816
[startup+0.517472 s]
/proc/loadavg: 2.03 2.01 1.86 4/98 29460
/proc/meminfo: memFree=676408/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=905236 CPUtime=0.5
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 5975 0 1 0 46 4 0 0 25 0 12 0 166180956 926961664 5569 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 226309 5569 2292 14 0 212746 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 905236
[startup+1.33854 s]
/proc/loadavg: 2.03 2.01 1.86 7/109 29471
/proc/meminfo: memFree=656928/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=907060 CPUtime=1.31
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 9676 0 1 0 125 6 0 0 25 0 12 0 166180956 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 226765 8839 2326 14 0 213202 0
[pid=29459/tid=29461] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 166180959 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 166180959 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 166180961 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 22 0 12 0 166180962 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 166180962 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29468] ppid=29457 vsize=907060 CPUtime=0.28
/proc/29459/task/29468/stat : 29468 (java) R 29457 29459 29274 0 -1 64 290 0 0 0 28 0 0 0 16 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152453235 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=907060 CPUtime=0.41
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 1518 0 0 0 41 0 0 0 16 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 166180965 928829440 8839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 907060
[startup+2.97969 s]
/proc/loadavg: 2.03 2.01 1.86 3/109 29471
/proc/meminfo: memFree=591904/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=907060 CPUtime=2.95
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 25968 0 1 0 281 14 0 0 25 0 12 0 166180956 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054142968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 226765 25126 2334 14 0 213202 0
[pid=29459/tid=29461] ppid=29457 vsize=907060 CPUtime=0.11
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 2368 0 0 0 11 0 0 0 16 0 12 0 166180959 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=907060 CPUtime=0.11
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 2125 0 0 0 10 1 0 0 16 0 12 0 166180959 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 27 0 0 0 0 0 0 0 17 0 12 0 166180961 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 166180962 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166180962 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29468] ppid=29457 vsize=907060 CPUtime=0.3
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 296 0 0 0 30 0 0 0 17 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=907060 CPUtime=0.43
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 1518 0 0 0 43 0 0 0 16 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=907060 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 166180965 928829440 25126 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 907060
[startup+6.18798 s]
/proc/loadavg: 2.03 2.01 1.86 3/109 29471
/proc/meminfo: memFree=564704/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909208 CPUtime=6.24
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 43033 0 1 0 599 25 0 0 17 0 12 0 166180956 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054276179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29459/statm: 227302 41130 2337 14 0 213739 0
[pid=29459/tid=29461] ppid=29457 vsize=909208 CPUtime=0.59
/proc/29459/task/29461/stat : 29461 (java) R 29457 29459 29274 0 -1 64 14386 0 0 0 52 7 0 0 18 0 12 0 166180959 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909208 CPUtime=0.52
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 7131 0 0 0 49 3 0 0 17 0 12 0 166180959 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 32 0 0 0 0 0 0 0 17 0 12 0 166180961 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 166180962 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166180962 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909208 CPUtime=0.41
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 308 0 0 0 41 0 0 0 16 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909208 CPUtime=0.53
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 1526 0 0 0 53 0 0 0 16 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909208 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 166180965 931028992 41130 18446744073709551615 134512640 134570532 4294956496 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) 909208
[startup+12.6844 s]
/proc/loadavg: 2.09 2.03 1.87 2/93 29486
/proc/meminfo: memFree=1130200/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=911620 CPUtime=12.98
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 52921 0 1 0 1268 30 0 0 25 0 13 0 166180956 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054354062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29459/statm: 227905 49527 2356 14 0 214342 0
[pid=29459/tid=29461] ppid=29457 vsize=911620 CPUtime=0.87
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 17115 0 0 0 79 8 0 0 17 0 13 0 166180959 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29462] ppid=29457 vsize=911620 CPUtime=0.83
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 12329 0 0 0 78 5 0 0 17 0 13 0 166180959 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29463] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 166180961 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29464] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=911620 CPUtime=0.87
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1244 0 0 0 87 0 0 0 16 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29469] ppid=29457 vsize=911620 CPUtime=0.83
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2525 0 0 0 82 1 0 0 16 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=911620 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 933498880 49527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 911620
[startup+25.5796 s]
/proc/loadavg: 2.08 2.02 1.87 3/97 29530
/proc/meminfo: memFree=915576/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=911524 CPUtime=25.78
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 52926 0 1 0 2544 34 0 0 25 0 13 0 166180956 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054353826 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 227881 49507 2357 14 0 214318 0
[pid=29459/tid=29461] ppid=29457 vsize=911524 CPUtime=0.87
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 17115 0 0 0 79 8 0 0 17 0 13 0 166180959 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29462] ppid=29457 vsize=911524 CPUtime=0.83
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 12329 0 0 0 78 5 0 0 17 0 13 0 166180959 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29463] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 166180961 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=911524 CPUtime=0.88
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 88 0 0 0 17 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=911524 CPUtime=0.85
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2525 0 0 0 84 1 0 0 17 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=911524 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 933400576 49507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.78
Current children cumulated vsize (KiB) 911524
[startup+51.2619 s]
/proc/loadavg: 2.05 2.02 1.87 3/98 29537
/proc/meminfo: memFree=900600/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=51.43
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 58117 0 1 0 5106 37 0 0 25 0 13 0 166180956 931557376 54016 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054353903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 227431 54016 2357 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=0.99
################
# More data... #
################
/proc/loadavg: 2.06 2.02 1.94 3/101 29742
/proc/meminfo: memFree=149664/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=1595.11
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 176252 0 1 0 159402 109 0 0 25 0 13 0 166180956 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054386647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 227431 167122 2357 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=2.52
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 74966 0 0 0 224 28 0 0 17 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909724 CPUtime=2.53
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 77784 0 0 0 222 31 0 0 16 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909724 CPUtime=0.01
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 166180961 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909724 CPUtime=0.89
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 89 0 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909724 CPUtime=0.88
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2527 0 0 0 87 1 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.11
Current children cumulated vsize (KiB) 909724
[startup+1663.08 s]
/proc/loadavg: 2.02 2.01 1.94 3/101 29744
/proc/meminfo: memFree=149336/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=1654.8
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 176252 0 1 0 165371 109 0 0 25 0 13 0 166180956 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054386129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 227431 167122 2357 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=2.52
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 74966 0 0 0 224 28 0 0 17 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909724 CPUtime=2.53
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 77784 0 0 0 222 31 0 0 16 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909724 CPUtime=0.01
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 166180961 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909724 CPUtime=0.89
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 89 0 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909724 CPUtime=0.88
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2527 0 0 0 87 1 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.8
Current children cumulated vsize (KiB) 909724
[startup+1723.1 s]
/proc/loadavg: 2.01 2.00 1.94 3/101 29744
/proc/meminfo: memFree=149344/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=1714.5
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 176252 0 1 0 171341 109 0 0 25 0 13 0 166180956 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054386458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29459/statm: 227431 167122 2357 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=2.52
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 74966 0 0 0 224 28 0 0 17 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909724 CPUtime=2.53
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 77784 0 0 0 222 31 0 0 16 0 13 0 166180959 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909724 CPUtime=0.01
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 166180961 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909724 CPUtime=0.89
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 89 0 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909724 CPUtime=0.88
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2527 0 0 0 87 1 0 0 17 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 931557376 167122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.5
Current children cumulated vsize (KiB) 909724
[startup+1783.13 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 29744
/proc/meminfo: memFree=120672/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=1774.23
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 186968 0 1 0 177309 114 0 0 25 0 13 0 166180956 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054386129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29459/statm: 227431 174309 2358 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=2.62
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 79033 0 0 0 232 30 0 0 17 0 13 0 166180959 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909724 CPUtime=2.64
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 81291 0 0 0 232 32 0 0 16 0 13 0 166180959 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909724 CPUtime=1.63
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 3174 0 0 0 162 1 0 0 16 0 13 0 166180961 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909724 CPUtime=0.89
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 89 0 0 0 17 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909724 CPUtime=0.88
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2527 0 0 0 87 1 0 0 17 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.23
Current children cumulated vsize (KiB) 909724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.12 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 29744
/proc/meminfo: memFree=120672/2055920 swapFree=4191880/4192956
[pid=29459] ppid=29457 vsize=909724 CPUtime=1800.1
/proc/29459/stat : 29459 (java) R 29457 29459 29274 0 -1 0 186968 0 1 0 179896 114 0 0 25 0 13 0 166180956 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054386566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29459/statm: 227431 174309 2358 14 0 213868 0
[pid=29459/tid=29461] ppid=29457 vsize=909724 CPUtime=2.62
/proc/29459/task/29461/stat : 29461 (java) S 29457 29459 29274 0 -1 64 79033 0 0 0 232 30 0 0 17 0 13 0 166180959 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29462] ppid=29457 vsize=909724 CPUtime=2.64
/proc/29459/task/29462/stat : 29462 (java) S 29457 29459 29274 0 -1 64 81291 0 0 0 232 32 0 0 16 0 13 0 166180959 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29463] ppid=29457 vsize=909724 CPUtime=1.63
/proc/29459/task/29463/stat : 29463 (java) S 29457 29459 29274 0 -1 64 3174 0 0 0 162 1 0 0 16 0 13 0 166180961 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29464] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29464/stat : 29464 (java) S 29457 29459 29274 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29465] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29465/stat : 29465 (java) S 29457 29459 29274 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 166180962 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29466] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29466/stat : 29466 (java) S 29457 29459 29274 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29467] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29467/stat : 29467 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29459/tid=29468] ppid=29457 vsize=909724 CPUtime=0.89
/proc/29459/task/29468/stat : 29468 (java) S 29457 29459 29274 0 -1 64 1245 0 0 0 89 0 0 0 17 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29469] ppid=29457 vsize=909724 CPUtime=0.88
/proc/29459/task/29469/stat : 29469 (java) S 29457 29459 29274 0 -1 64 2527 0 0 0 87 1 0 0 17 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29470] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29470/stat : 29470 (java) S 29457 29459 29274 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29471] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29471/stat : 29471 (java) S 29457 29459 29274 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 166180965 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29459/tid=29472] ppid=29457 vsize=909724 CPUtime=0
/proc/29459/task/29472/stat : 29472 (java) S 29457 29459 29274 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 166181638 931557376 174309 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 909724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.3
CPU time (s): 1800.27
CPU user time (s): 1799.02
CPU system time (s): 1.25281
CPU usage (%): 99.501
Max. virtual memory (cumulated for all children) (KiB): 917728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.25281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186987
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= 37658
involuntary context switches= 65864
runsolver used 2.09968 s user time and 5.8961 s system time
The end
Begin job on node72 on Sun Jan 7 13:48:41 UTC 2007
IDJOB= 206767
IDBENCH= 4233
FILE ID= node72/206767-1168177721
PBS_JOBID= 3479096
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-25_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/206767-1168177721/sat4jCSP-bf3.jar /tmp/evaluation/206767-1168177721/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-206767-1168177721 -o ROOT/results/node72/solver-206767-1168177721 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/206767-1168177721/sat4jCSP-bf3.jar /tmp/evaluation/206767-1168177721/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 5fbdc367aff83d7ec4267032df1b5a4a
RANDOM SEED= 388498329
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.223
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.223
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: 676888 kB
Buffers: 47260 kB
Cached: 573580 kB
SwapCached: 408 kB
Active: 778040 kB
Inactive: 525008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 676888 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 8236 kB
Writeback: 0 kB
Mapped: 709352 kB
Slab: 59528 kB
Committed_AS: 3771656 kB
PageTables: 3560 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= 66535 MiB
End job on node72 on Sun Jan 7 14:18:51 UTC 2007