0.19/0.28 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.19/0.28 c This is free software under the dual EPL/GNU LGPL licenses.
0.19/0.28 c See www.sat4j.org for details.
0.19/0.28 c That software uses the Rhino library from the Mozilla project.
0.30/0.32 c version 9.9.9.token
0.30/0.32 c sun.arch.data.model 32
0.30/0.32 c java.version 1.6.0_06
0.30/0.32 c os.name Linux
0.30/0.32 c os.version 2.6.9-22.EL.rootsmp
0.30/0.32 c os.arch i386
0.30/0.32 c Free memory 669864272
0.30/0.32 c Max memory 672137216
0.30/0.32 c Total memory 672137216
0.30/0.32 c Number of processors 2
0.30/0.37 c c --- Begin Solver configuration ---
0.30/0.37 c Stops conflict analysis at the first Unique Implication Point
0.30/0.37 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.30/0.37 c Learn all clauses as in MiniSAT
0.30/0.37 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.30/0.37 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.30/0.37 c Expensive reason simplification
0.30/0.37 c MiniSAT restarts strategy
0.30/0.37 c timeout=2147483s
0.30/0.37 c DB Simplification allowed=false
0.30/0.37 c --- End Solver configuration ---
0.30/0.37 c solving HOME/instance-1038908-1214966022.xml
0.30/0.37 c reading problem ...
0.59/0.62 c reading problem named null
0.59/0.62 c reading domains done.
0.59/0.63 c reading variables done.
0.80/0.88 c reading relations done.
1.00/1.03 c reading constraints
3.69/3.70 c done with constraints.
3.69/3.70 c ... done. Wall clock time 3.334s.
3.69/3.70 c #vars 7334
3.69/3.70 c #constraints 292712
3.69/3.70 c constraints type
3.69/3.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292082
3.69/3.70 c org.sat4j.minisat.constraints.card.AtLeast => 206
1701.99/1710.65 c cleaning 263239 clauses out of 526500 for limit 1120.6891223214568
1707.24/1715.94 c cleaning 131868 clauses out of 263760 for limit 3685.4962463337
1709.12/1717.87 c cleaning 66145 clauses out of 132392 for limit 12108.742713332638
1710.31/1719.03 c cleaning 33301 clauses out of 66747 for limit 39608.183979140726
1711.10/1719.85 c cleaning 16905 clauses out of 33946 for limit 128435.16899097065
1711.70/1720.48 c cleaning 8701 clauses out of 17542 for limit 410283.31936193357
1712.29/1721.00 c cleaning 4595 clauses out of 9340 for limit 1269513.9169547043
1712.69/1721.43 c cleaning 2550 clauses out of 5245 for limit 3728161.6682681413
1712.98/1721.71 c cleaning 1516 clauses out of 3195 for limit 1.0093115751110647E7
1713.18/1721.91 c cleaning 1027 clauses out of 2179 for limit 2.4405896948190812E7
1713.38/1722.16 c cleaning 821 clauses out of 1652 for limit 5.308818129326526E7
1713.58/1722.33 c cleaning 663 clauses out of 1333 for limit 1.0871829968446831E8
1713.78/1722.55 c cleaning 539 clauses out of 1172 for limit 2.0432904249149534E8
1713.97/1722.75 c cleaning 563 clauses out of 1131 for limit 3.484832995018107E8
1714.17/1722.95 c cleaning 529 clauses out of 1067 for limit 6.085573762300594E8
1714.37/1723.18 c cleaning 444 clauses out of 1037 for limit 1.031593433642401E9
1714.58/1723.39 c cleaning 545 clauses out of 1093 for limit 1.6140725457414691E9
1714.87/1723.64 c cleaning 519 clauses out of 1052 for limit 2.776651706380252E9
1715.07/1723.85 c cleaning 514 clauses out of 1031 for limit 4.662999240943075E9
1715.37/1724.10 c cleaning 502 clauses out of 1015 for limit 7.79551535383282E9
1715.57/1724.32 c cleaning 501 clauses out of 1013 for limit 1.2881229416697548E10
1715.77/1724.52 c cleaning 433 clauses out of 1013 for limit 2.1264134662838844E10
1800.00/1809.52 c starts : 20
1800.00/1809.52 c conflicts : 588141
1800.00/1809.52 c decisions : 863863
1800.00/1809.52 c propagations : 43508910
1800.00/1809.52 c inspects : 2798714176
1800.00/1809.52 c learnt literals : 1
1800.00/1809.52 c learnt binary clauses : 45
1800.00/1809.52 c learnt ternary clauses : 16
1800.00/1809.52 c learnt clauses : 588140
1800.00/1809.52 c ignored clauses : 0
1800.00/1809.52 c root simplifications : 0
1800.00/1809.52 c removed literals (reason simplification) : 77581697
1800.00/1809.52 c reason swapping (by a shorter reason) : 0
1800.00/1809.52 c Calls to reduceDB : 22
1800.00/1809.52 c speed (assignments/second) : 24093.953822179843
1800.00/1809.52 c non guided choices 12322
1800.00/1809.52 s UNKNOWN
1800.00/1809.52 c Total wall clock time (in seconds) : 1809.149
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038908-1214966022/watcher-1038908-1214966022 -o /tmp/evaluation-result-1038908-1214966022/solver-1038908-1214966022 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1038908-1214966022.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=152 CPUtime=0
/proc/17406/stat : 17406 (java) R 17404 17406 15327 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 619539327 155648 26 996147200 134512640 134550740 4294956032 18446744073709551615 7893291 0 0 4096 0 0 0 0 17 0 0 0
/proc/17406/statm: 38 26 19 9 0 4 0
[startup+0.076255 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=802236 CPUtime=0.06
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 2864 0 1 0 5 1 0 0 18 0 7 0 619539327 821489664 2599 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 200559 2600 1011 9 0 197942 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 802236
[startup+0.101265 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=804756 CPUtime=0.08
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 3227 0 1 0 7 1 0 0 18 0 12 0 619539327 824070144 2958 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201189 2960 1220 9 0 198558 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804756
[startup+0.301303 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=807856 CPUtime=0.3
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 5001 0 1 0 27 3 0 0 18 0 12 0 619539327 827244544 4330 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201964 4330 1310 9 0 199333 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 807856
[startup+0.701376 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=807884 CPUtime=0.7
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 6376 0 1 0 65 5 0 0 18 0 12 0 619539327 827273216 5525 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201971 5526 1335 9 0 199333 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 807884
[startup+1.50253 s]
/proc/loadavg: 2.17 2.06 2.01 3/93 17418
/proc/meminfo: memFree=538224/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=810076 CPUtime=1.49
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 9369 0 1 0 143 6 0 0 18 0 12 0 619539327 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 202519 7166 1349 9 0 199881 0
[pid=17406/tid=17408] ppid=17404 vsize=810076 CPUtime=0.72
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 5090 0 1 0 68 4 0 0 25 0 12 0 619539328 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 619539329 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 619539329 829517824 7167 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 619539330 829517824 7168 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 12 0 619539331 829517824 7169 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 619539331 829517824 7170 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 619539335 829517824 7171 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=810076 CPUtime=0.33
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 1130 0 0 0 33 0 0 0 16 0 12 0 619539335 829517824 7171 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=810076 CPUtime=0.42
/proc/17406/task/17416/stat : 17416 (java) R 17404 17406 15327 0 -1 64 2389 0 0 0 41 1 0 0 16 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 105689618 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 810076
[startup+3.10184 s]
/proc/loadavg: 2.17 2.06 2.01 4/93 17418
/proc/meminfo: memFree=526320/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=809804 CPUtime=3.09
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 15598 0 1 0 301 8 0 0 18 0 12 0 619539327 829239296 13002 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 202451 13003 1355 9 0 199813 0
[pid=17406/tid=17408] ppid=17404 vsize=809804 CPUtime=1.32
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 10795 0 1 0 126 6 0 0 25 0 12 0 619539328 829239296 13003 996147200 134512640 134550740 4294956032 18446744073709551615 4109672960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 619539329 829239296 13003 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 619539329 829239296 13004 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 619539330 829239296 13005 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 12 0 619539331 829239296 13005 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 619539331 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 619539335 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=809804 CPUtime=0.82
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 1169 0 0 0 82 0 0 0 16 0 12 0 619539335 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=809804 CPUtime=0.92
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2869 0 0 0 91 1 0 0 16 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 809804
[startup+6.30245 s]
/proc/loadavg: 2.15 2.06 2.01 3/94 17419
/proc/meminfo: memFree=490024/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=6.29
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 22696 0 1 0 617 12 0 0 18 0 13 0 619539327 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 18411 1378 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=3.35
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 15008 0 1 0 327 8 0 0 25 0 13 0 619539328 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4109982464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 619539329 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 619539329 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 13 0 619539331 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539331 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=814572 CPUtime=1.59
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4000 0 0 0 158 1 0 0 15 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=814572 CPUtime=1.31
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2918 0 0 0 130 1 0 0 16 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 814572
[startup+12.7017 s]
/proc/loadavg: 2.22 2.07 2.02 3/94 17419
/proc/meminfo: memFree=481384/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=12.68
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 27022 0 1 0 1255 13 0 0 18 0 13 0 619539327 834121728 22735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 22741 1381 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=9.62
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17022 0 1 0 953 9 0 0 25 0 13 0 619539328 834121728 22745 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0.03
/proc/17406/task/17409/stat : 17409 (java) R 17404 17406 15327 0 -1 64 1406 0 0 0 3 0 0 0 17 0 13 0 619539329 834121728 22750 996147200 134512640 134550740 4294956032 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0.02
/proc/17406/task/17410/stat : 17410 (java) R 17404 17406 15327 0 -1 64 920 0 0 0 2 0 0 0 17 0 13 0 619539329 834121728 22755 996147200 134512640 134550740 4294956032 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 22762 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 13 0 619539331 834121728 22767 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539331 834121728 22773 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 22779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=814572 CPUtime=1.63
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4004 0 0 0 162 1 0 0 16 0 13 0 619539335 834121728 22785 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=814572 CPUtime=1.34
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 133 1 0 0 16 0 13 0 619539335 834121728 22791 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 22796 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 834121728 22801 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 834121728 22807 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 814572
[startup+25.5021 s]
/proc/loadavg: 2.17 2.07 2.02 3/94 17419
/proc/meminfo: memFree=448872/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=25.48
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 32596 0 1 0 2533 15 0 0 18 0 13 0 619539327 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 28308 1382 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=22.25
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17022 0 1 0 2216 9 0 0 25 0 13 0 619539328 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4110104771 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0.1
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 4809 0 0 0 9 1 0 0 18 0 13 0 619539329 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0.09
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 3047 0 0 0 9 0 0 0 18 0 13 0 619539329 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 5709 0 0 0 232 2 0 0 16 0 13 0 619539330 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.65
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4005 0 0 0 164 1 0 0 16 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.35
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 134 1 0 0 16 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.34
Current children cumulated vsize (KiB) 819700
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=544104/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1654.15
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 203574 0 1 0 165325 90 0 0 18 0 13 0 619539327 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167506 1387 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1642.75
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17039 0 1 0 164262 13 0 0 25 0 13 0 619539328 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4109977759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 200 34 0 0 16 0 13 0 619539329 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.27
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 194 33 0 0 17 0 13 0 619539329 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=3.72
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 12940 0 0 0 367 5 0 0 16 0 13 0 619539330 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.65
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4005 0 0 0 164 1 0 0 16 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.35
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 134 1 0 0 16 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.15
Current children cumulated vsize (KiB) 819700
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=543656/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1713.58
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 203586 0 1 0 171268 90 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1702
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17043 0 1 0 170187 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4109557184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 200 34 0 0 16 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.27
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 194 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=3.72
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 12940 0 0 0 367 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.58
Current children cumulated vsize (KiB) 819700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1773.01
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 204089 0 1 0 177210 91 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1760.81
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17045 0 1 0 176068 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4110116851 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.4
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 206 34 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.35
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 202 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=4.19
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 13441 0 0 0 414 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.01
Current children cumulated vsize (KiB) 819700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1800
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 204090 0 1 0 179909 91 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1787.61
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17046 0 1 0 178748 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4109981487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.49
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 215 34 0 0 16 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.44
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 211 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=4.2
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 13441 0 0 0 415 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 819700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=0 CPUtime=1800.1
/proc/17406/stat : 17406 (java) Z 17404 17406 15327 0 -1 1036 204106 0 1 0 179914 96 0 0 16 0 2 0 619539327 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17406/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1809.66
CPU time (s): 1800.16
CPU user time (s): 1799.15
CPU system time (s): 1.01185
CPU usage (%): 99.475
Max. virtual memory (cumulated for all children) (KiB): 823704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.01185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204106
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= 37720
involuntary context switches= 61026
runsolver used 2.55561 second user time and 5.72813 second system time
The end
Begin job on node5 at 2008-07-02 04:33:42
IDJOB=1038908
IDBENCH=53590
IDSOLVER=344
FILE ID=node5/1038908-1214966022
PBS_JOBID= 7870324
Free space on /tmp= 66448 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-m-2_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038908-1214966022/watcher-1038908-1214966022 -o /tmp/evaluation-result-1038908-1214966022/solver-1038908-1214966022 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1038908-1214966022.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a7b2d88fca63e18bbc1a826209f183ae
RANDOM SEED=547329160
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
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.279
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: 558000 kB
Buffers: 61504 kB
Cached: 782656 kB
SwapCached: 17400 kB
Active: 855064 kB
Inactive: 566356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 558000 kB
SwapTotal: 4192956 kB
SwapFree: 4170004 kB
Dirty: 1540 kB
Writeback: 0 kB
Mapped: 582536 kB
Slab: 60724 kB
Committed_AS: 1544336 kB
PageTables: 2916 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= 66536 MiB
End job on node5 at 2008-07-02 05:03:53