0.06/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.06/0.08 c 0 BEGIN Sat Jul 11 22:11:49 2009
0.06/0.08 c 0 PID 14985
0.06/0.08 c 0 HOST node32.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-2066605-1247343109.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2066605-1247343109.xml' 'HOME/temp.csp'
1.67/1.77 c 2 1 domains, 1518 variables, 4 predicates, 0 relations, 21621 constraints
1.74/1.81 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.74/1.81 c 2 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.74/1.89 c 2 Parsing HOME/temp.csp
1.75/2.05 c 2 parsed 10000 expressions
2.01/2.18 c 2 parsed 20000 expressions
2.21/2.38 c 2 parsed 23144 expressions
2.21/2.39 c 2 Heap : 10 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.21/2.39 c 2 Converting to clausal form CSP
2.41/2.60 c 2 converted 2315 (10%) expressions
2.51/2.66 c 3 converted 4629 (20%) expressions
2.60/2.80 c 3 converted 6944 (30%) expressions
2.70/2.84 c 3 converted 9258 (40%) expressions
2.70/2.89 c 3 converted 11572 (50%) expressions
2.81/2.93 c 3 converted 13887 (60%) expressions
2.81/2.97 c 3 converted 16201 (70%) expressions
2.91/3.01 c 3 converted 18516 (80%) expressions
3.11/3.23 c 3 converted 20830 (90%) expressions
5.59/5.74 c 6 converted 23144 (100%) expressions
5.59/5.75 c 6 CSP : 18549 integers, 0 booleans, 55683 clauses, largest domain size 12
5.59/5.75 c 6 Heap : 41 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
5.59/5.75 c 6 Propagation in CSP
6.18/6.32 c 6 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.18/6.32 c 6 CSP : 18549 integers, 0 booleans, 55683 clauses, largest domain size 12
6.18/6.32 c 6 Heap : 41 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
6.18/6.35 c 6 Simplifing CSP by introducing new Boolean variables
6.18/6.38 c 6 CSP : 18549 integers, 0 booleans, 55683 clauses, largest domain size 12
6.18/6.38 c 6 Heap : 41 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
6.58/6.72 c 7 Encoding CSP to SAT : HOME/temp.cnf
6.58/6.76 c 7 1855 (10%) CSP integer variables are encoded (2261 clauses, 29457 bytes)
6.58/6.77 c 7 3710 (20%) CSP integer variables are encoded (14716 clauses, 206041 bytes)
6.58/6.79 c 7 5565 (30%) CSP integer variables are encoded (27171 clauses, 392866 bytes)
6.68/6.81 c 7 7420 (40%) CSP integer variables are encoded (39626 clauses, 579691 bytes)
6.68/6.82 c 7 9275 (50%) CSP integer variables are encoded (52081 clauses, 766516 bytes)
6.68/6.84 c 7 11130 (60%) CSP integer variables are encoded (64536 clauses, 953341 bytes)
6.68/6.86 c 7 12985 (70%) CSP integer variables are encoded (76991 clauses, 1140166 bytes)
6.68/6.88 c 7 14840 (80%) CSP integer variables are encoded (89446 clauses, 1334454 bytes)
6.68/6.89 c 7 16695 (90%) CSP integer variables are encoded (101901 clauses, 1546189 bytes)
6.77/6.91 c 7 18549 (100%) CSP integer variables are encoded (114351 clauses, 1757839 bytes)
6.77/6.97 c 7 5569 (10%) CSP clauses are encoded (119920 clauses, 1821687 bytes)
6.87/7.00 c 7 11137 (20%) CSP clauses are encoded (125488 clauses, 1890907 bytes)
6.87/7.03 c 7 16705 (30%) CSP clauses are encoded (131056 clauses, 1960130 bytes)
16.42/16.69 c 17 22274 (40%) CSP clauses are encoded (664373 clauses, 15054828 bytes)
33.82/34.16 c 34 27842 (50%) CSP clauses are encoded (1626237 clauses, 39382875 bytes)
51.32/51.76 c 52 33410 (60%) CSP clauses are encoded (2586141 clauses, 64819811 bytes)
69.22/69.75 c 70 38979 (70%) CSP clauses are encoded (3546062 clauses, 92582011 bytes)
87.02/87.69 c 88 44547 (80%) CSP clauses are encoded (4505996 clauses, 120344711 bytes)
104.71/105.45 c 105 50115 (90%) CSP clauses are encoded (5465886 clauses, 148790151 bytes)
122.42/123.26 c 123 55683 (100%) CSP clauses are encoded (6427710 clauses, 177680907 bytes)
122.42/123.26 c 123 55683 CSP clauses encoded
122.42/123.27 c 123 Writing map file : HOME/temp.map
122.42/123.29 c 123 Heap : 33 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
122.42/123.29 c 123 SAT : 132900 SAT variables, 6427710 SAT clauses, 177680907 bytes
122.42/123.29 c 123 Heap : 33 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
122.51/123.31 c 123 SOLVING HOME/temp.cnf
122.51/123.31 c 123 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
122.51/123.31 c 123 This is MiniSat 2.0 beta
122.51/123.31 c 123 WARNING: for repeatability, setting FPU to use double precision
122.51/123.31 c 123 ============================[ Problem Statistics ]=============================
122.51/123.31 c 123 | |
122.51/123.31 c 123 | Number of variables: 132900 |
122.51/123.31 c 123 | Number of clauses: 6427710 |
126.78/127.69 c 128 | Parsing time: 3.68 s |
127.08/127.98 c 128 ============================[ Search Statistics ]==============================
127.08/127.98 c 128 | Conflicts | ORIGINAL | LEARNT | Progress |
127.08/127.98 c 128 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
127.08/127.98 c 128 ===============================================================================
127.08/127.98 c 128 | 0 | 132900 6427710 34818300 | 2142570 0 nan | 0.000 % |
128.07/128.97 c 129 | 101 | 132900 6427710 34818300 | 2356827 101 8 | 0.000 % |
138.52/139.46 c 139 | 252 | 132900 6427710 34818300 | 2592509 252 15 | 0.000 % |
151.35/152.35 c 152 | 477 | 132900 6427710 34818300 | 2851760 475 16 | 0.668 % |
157.53/158.52 c 158 ===============================================================================
157.53/158.53 c 158 restarts : 4
157.53/158.53 c 158 conflicts : 571 (17 /sec)
157.53/158.53 c 158 decisions : 2228 (1.66 % random) (65 /sec)
157.53/158.53 c 158 propagations : 6396115 (186444 /sec)
157.53/158.53 c 158 conflict literals : 9555 (9.23 % deleted)
157.53/158.53 c 158 Memory used : 367.68 MB
157.53/158.53 c 158 CPU time : 34.3058 s
157.53/158.53 c 158
157.53/158.59 c 158 SATISFIABLE
157.62/158.65 c 159 DECODING HOME/temp.out WITH HOME/temp.map
157.62/158.65 c 159 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
157.71/158.74 c 159 Decoding HOME/temp.out
157.71/159.14 s SATISFIABLE
157.72/159.21 v 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1
157.72/159.22 c 159 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
157.72/159.25 c 159 CPU 158.28 (0.06 0.03 155.83 2.36)
157.72/159.25 c 159 END Sat Jul 11 22:14:28 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066605-1247343109/watcher-2066605-1247343109 -o /tmp/evaluation-result-2066605-1247343109/solver-2066605-1247343109 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2066605-1247343109.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): 2000 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
[startup+0 s]
/proc/loadavg: 2.49 2.13 2.04 4/83 14985
/proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=18576 CPUtime=0
/proc/14985/stat : 14985 (runsolver) R 14983 14985 13382 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 21377376 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14985/statm: 4644 284 249 26 0 2626 0
[startup+0.0782109 s]
/proc/loadavg: 2.49 2.13 2.04 4/83 14985
/proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16740 CPUtime=0.06
/proc/14985/stat : 14985 (sugar) R 14983 14985 13382 0 -1 4194304 1108 0 0 0 5 1 0 0 18 0 1 0 21377376 17141760 1076 996147200 4194304 4206940 548682068608 18446744073709551615 268233743264 0 0 4224 0 0 0 0 17 0 0 0
/proc/14985/statm: 4185 1076 381 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101216 s]
/proc/loadavg: 2.49 2.13 2.04 4/83 14985
/proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=0.07
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1227 128 0 0 5 2 0 0 18 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.306243 s]
/proc/loadavg: 2.49 2.13 2.04 4/83 14985
/proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=0.07
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1227 128 0 0 5 2 0 0 18 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.701283 s]
/proc/loadavg: 2.49 2.13 2.04 4/83 14985
/proc/meminfo: memFree=1360512/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=0.07
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1227 128 0 0 5 2 0 0 18 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50237 s]
/proc/loadavg: 2.61 2.16 2.05 3/94 14997
/proc/meminfo: memFree=1335656/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=0.07
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1227 128 0 0 5 2 0 0 18 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14988] ppid=14985 vsize=5356 CPUtime=0
/proc/14988/stat : 14988 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21377385 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14988/statm: 1339 233 193 169 0 50 0
[pid=14989] ppid=14988 vsize=864784 CPUtime=1.4
/proc/14989/stat : 14989 (java) S 14988 14985 13382 0 -1 0 13756 0 1 0 131 9 0 0 19 0 9 0 21377385 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14989/statm: 216196 11777 2556 9 0 210708 0
[pid=14989/tid=14990] ppid=14988 vsize=864784 CPUtime=0.78
/proc/14989/task/14990/stat : 14990 (java) R 14988 14985 13382 0 -1 64 3065 0 1 0 75 3 0 0 24 0 9 0 21377386 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4126673048 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14991] ppid=14988 vsize=864784 CPUtime=0.47
/proc/14989/task/14991/stat : 14991 (java) S 14988 14985 13382 0 -1 64 9461 0 0 0 42 5 0 0 16 0 9 0 21377388 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14992] ppid=14988 vsize=864784 CPUtime=0
/proc/14989/task/14992/stat : 14992 (java) S 14988 14985 13382 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 21377388 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14993] ppid=14988 vsize=864784 CPUtime=0
/proc/14989/task/14993/stat : 14993 (java) S 14988 14985 13382 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 21377388 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14994] ppid=14988 vsize=864784 CPUtime=0
/proc/14989/task/14994/stat : 14994 (java) S 14988 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 21377390 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14995] ppid=14988 vsize=864784 CPUtime=0.13
/proc/14989/task/14995/stat : 14995 (java) S 14988 14985 13382 0 -1 64 525 0 0 0 13 0 0 0 16 0 9 0 21377390 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14996] ppid=14988 vsize=864784 CPUtime=0
/proc/14989/task/14996/stat : 14996 (java) S 14988 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 21377390 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14989/tid=14997] ppid=14988 vsize=864784 CPUtime=0
/proc/14989/task/14997/stat : 14997 (java) S 14988 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 21377390 885538816 11777 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 887008
[startup+3.10275 s]
/proc/loadavg: 2.61 2.16 2.05 4/94 15007
/proc/meminfo: memFree=1346792/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1309 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868636 CPUtime=1.26
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 11172 0 1 0 120 6 0 0 18 0 9 0 21377558 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217159 10200 2566 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868636 CPUtime=0.68
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 2739 0 1 0 67 1 0 0 25 0 9 0 21377559 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4126590619 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868636 CPUtime=0.37
/proc/14999/task/15001/stat : 15001 (java) S 14998 14985 13382 0 -1 64 6247 0 0 0 35 2 0 0 16 0 9 0 21377560 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15004/stat : 15004 (java) S 14998 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21377563 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15005] ppid=14998 vsize=868636 CPUtime=0.16
/proc/14999/task/15005/stat : 15005 (java) S 14998 14985 13382 0 -1 64 1484 0 0 0 16 0 0 0 16 0 9 0 21377563 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15006] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15006/stat : 15006 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21377563 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15007] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15007/stat : 15007 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21377563 889483264 10200 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 890860
[startup+6.30111 s]
/proc/loadavg: 2.72 2.19 2.06 4/94 15007
/proc/meminfo: memFree=1300904/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1310 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868636 CPUtime=4.43
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 18416 0 1 0 432 11 0 0 18 0 9 0 21377558 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217159 16652 2566 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868636 CPUtime=3.08
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 3319 0 1 0 305 3 0 0 18 0 9 0 21377559 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868636 CPUtime=1.13
/proc/14999/task/15001/stat : 15001 (java) R 14998 14985 13382 0 -1 64 12895 0 0 0 107 6 0 0 15 0 9 0 21377560 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 102759492 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15004/stat : 15004 (java) S 14998 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21377563 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15005] ppid=14998 vsize=868636 CPUtime=0.19
/proc/14999/task/15005/stat : 15005 (java) S 14998 14985 13382 0 -1 64 1500 0 0 0 19 0 0 0 16 0 9 0 21377563 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15006] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15006/stat : 15006 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21377563 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15007] ppid=14998 vsize=868636 CPUtime=0
/proc/14999/task/15007/stat : 15007 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21377563 889483264 16652 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 890860
[startup+12.7028 s]
/proc/loadavg: 2.82 2.22 2.07 3/94 15007
/proc/meminfo: memFree=1286888/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1310 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868748 CPUtime=10.79
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 24187 0 1 0 1058 21 0 0 18 0 9 0 21377558 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217187 16772 2591 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868748 CPUtime=8.99
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 3495 0 1 0 891 8 0 0 25 0 9 0 21377559 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4127049423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868748 CPUtime=1.52
/proc/14999/task/15001/stat : 15001 (java) S 14998 14985 13382 0 -1 64 18451 0 0 0 142 10 0 0 16 0 9 0 21377560 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15004/stat : 15004 (java) S 14998 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15005] ppid=14998 vsize=868748 CPUtime=0.25
/proc/14999/task/15005/stat : 15005 (java) S 14998 14985 13382 0 -1 64 1539 0 0 0 24 1 0 0 17 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15006] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15006/stat : 15006 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15007] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15007/stat : 15007 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 890972
[startup+25.5023 s]
/proc/loadavg: 2.78 2.23 2.07 3/94 15007
/proc/meminfo: memFree=1263080/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1310 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868748 CPUtime=23.52
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 24423 0 1 0 2319 33 0 0 18 0 9 0 21377558 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217187 16772 2591 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868748 CPUtime=21.59
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 3731 0 1 0 2140 19 0 0 25 0 9 0 21377559 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4127049693 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868748 CPUtime=1.65
/proc/14999/task/15001/stat : 15001 (java) S 14998 14985 13382 0 -1 64 18451 0 0 0 153 12 0 0 16 0 9 0 21377560 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868748 CPUtime=0
################
# More data... #
################
/proc/loadavg: 2.65 2.25 2.09 3/94 15007
/proc/meminfo: memFree=1208488/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1310 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868748 CPUtime=48.98
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 24894 0 1 0 4839 59 0 0 18 0 9 0 21377558 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217187 16772 2591 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868748 CPUtime=46.79
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 4202 0 1 0 4639 40 0 0 25 0 9 0 21377559 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4126554185 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868748 CPUtime=1.9
/proc/14999/task/15001/stat : 15001 (java) S 14998 14985 13382 0 -1 64 18451 0 0 0 174 16 0 0 16 0 9 0 21377560 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15004/stat : 15004 (java) S 14998 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15005] ppid=14998 vsize=868748 CPUtime=0.25
/proc/14999/task/15005/stat : 15005 (java) S 14998 14985 13382 0 -1 64 1539 0 0 0 24 1 0 0 17 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15006] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15006/stat : 15006 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15007] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15007/stat : 15007 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 890972
[startup+102.308 s]
/proc/loadavg: 2.77 2.36 2.13 3/94 15007
/proc/meminfo: memFree=1102120/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=1.75
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1310 14432 0 1 5 2 158 10 16 0 1 0 21377376 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14985/statm: 4217 1111 409 3 0 796 0
[pid=14998] ppid=14985 vsize=5356 CPUtime=0
/proc/14998/stat : 14998 (sh) S 14985 14985 13382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21377558 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14998/statm: 1339 233 193 169 0 50 0
[pid=14999] ppid=14998 vsize=868748 CPUtime=99.88
/proc/14999/stat : 14999 (java) S 14998 14985 13382 0 -1 0 25835 0 1 0 9874 114 0 0 18 0 9 0 21377558 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14999/statm: 217187 16772 2591 9 0 211664 0
[pid=14999/tid=15000] ppid=14998 vsize=868748 CPUtime=97.23
/proc/14999/task/15000/stat : 15000 (java) R 14998 14985 13382 0 -1 64 5143 0 1 0 9633 90 0 0 25 0 9 0 21377559 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15001] ppid=14998 vsize=868748 CPUtime=2.37
/proc/14999/task/15001/stat : 15001 (java) S 14998 14985 13382 0 -1 64 18451 0 0 0 215 22 0 0 16 0 9 0 21377560 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15002] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15002/stat : 15002 (java) S 14998 14985 13382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15003] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15003/stat : 15003 (java) S 14998 14985 13382 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21377561 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15004] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15004/stat : 15004 (java) S 14998 14985 13382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15005] ppid=14998 vsize=868748 CPUtime=0.25
/proc/14999/task/15005/stat : 15005 (java) S 14998 14985 13382 0 -1 64 1539 0 0 0 24 1 0 0 17 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14999/tid=15006] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15006/stat : 15006 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14999/tid=15007] ppid=14998 vsize=868748 CPUtime=0
/proc/14999/task/15007/stat : 15007 (java) S 14998 14985 13382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21377563 889597952 16772 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 890972
Solver just ended. Dumping a history of the last processes samples
[startup+127.902 s]
/proc/loadavg: 2.94 2.43 2.16 3/86 15009
/proc/meminfo: memFree=805672/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=329780 CPUtime=4.56
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 77888 0 0 0 389 67 0 0 25 0 1 0 21389708 337694720 77874 996147200 134512640 135127466 4294956256 18446744073709551615 134531744 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 82445 77874 71 150 0 82292 0
Current children cumulated CPU time (s) 127.08
Current children cumulated vsize (KiB) 352004
[startup+140.702 s]
/proc/loadavg: 2.88 2.44 2.17 3/86 15009
/proc/meminfo: memFree=755112/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=370684 CPUtime=17.29
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 87453 0 0 0 1657 72 0 0 25 0 1 0 21389708 379580416 87392 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 92671 87392 76 150 0 92518 0
Current children cumulated CPU time (s) 139.81
Current children cumulated vsize (KiB) 392908
[startup+147.101 s]
/proc/loadavg: 2.81 2.43 2.17 3/86 15009
/proc/meminfo: memFree=753000/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=373572 CPUtime=23.66
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 88034 0 0 0 2293 73 0 0 25 0 1 0 21389708 382537728 87973 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 93393 87973 76 150 0 93240 0
Current children cumulated CPU time (s) 146.18
Current children cumulated vsize (KiB) 395796
[startup+153.502 s]
/proc/loadavg: 2.83 2.44 2.17 4/86 15009
/proc/meminfo: memFree=746216/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=376072 CPUtime=30.03
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 88514 0 0 0 2929 74 0 0 25 0 1 0 21389708 385097728 88453 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 94018 88453 76 150 0 93865 0
Current children cumulated CPU time (s) 152.55
Current children cumulated vsize (KiB) 398296
[startup+156.701 s]
/proc/loadavg: 2.76 2.43 2.17 3/86 15009
/proc/meminfo: memFree=744936/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=376316 CPUtime=33.22
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 88596 0 0 0 3248 74 0 0 25 0 1 0 21389708 385347584 88535 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 94079 88535 76 150 0 93926 0
Current children cumulated CPU time (s) 155.74
Current children cumulated vsize (KiB) 398540
[startup+158.302 s]
/proc/loadavg: 2.76 2.43 2.17 3/86 15009
/proc/meminfo: memFree=744104/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=122.52
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1376 40969 0 2 5 2 12095 150 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
[pid=15008] ppid=14985 vsize=5356 CPUtime=0
/proc/15008/stat : 15008 (sh) S 14985 14985 13382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21389707 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15008/statm: 1339 232 193 169 0 50 0
[pid=15009] ppid=15008 vsize=376496 CPUtime=34.81
/proc/15009/stat : 15009 (minisat) R 15008 14985 13382 0 -1 4194304 88631 0 0 0 3407 74 0 0 25 0 1 0 21389708 385531904 88570 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15009/statm: 94124 88570 76 150 0 93971 0
Current children cumulated CPU time (s) 157.33
Current children cumulated vsize (KiB) 398720
[startup+159.102 s]
/proc/loadavg: 2.76 2.43 2.17 3/86 15009
/proc/meminfo: memFree=744104/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=157.71
/proc/14985/stat : 14985 (sugar) S 14983 14985 13382 0 -1 4194304 1448 129900 0 2 5 2 15532 232 16 0 1 0 21377376 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14985/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 157.71
Current children cumulated vsize (KiB) 16868
[startup+159.302 s]
/proc/loadavg: 2.76 2.43 2.17 3/86 15009
/proc/meminfo: memFree=744104/2055920 swapFree=4192956/4192956
[pid=14985] ppid=14983 vsize=16868 CPUtime=158.33
/proc/14985/stat : 14985 (sugar) R 14983 14985 13382 0 -1 4194304 1479 133931 0 3 6 8 15583 236 16 0 1 0 21377376 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 268213916713 0 0 4224 16386 0 0 0 17 1 0 0
/proc/14985/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 158.33
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 159.347
CPU time (s): 158.386
CPU user time (s): 155.894
CPU system time (s): 2.49162
CPU usage (%): 99.397
Max. virtual memory (cumulated for all children) (KiB): 902112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.894
system time used= 2.49162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135470
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27336
involuntary context switches= 29545
runsolver used 0.187971 second user time and 0.58991 second system time
The end
Begin job on node32 at 2009-07-11 22:11:49
IDJOB=2066605
IDBENCH=54538
IDSOLVER=739
FILE ID=node32/2066605-1247343109
PBS_JOBID= 9506747
Free space on /tmp= 66360 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32c4.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066605-1247343109/watcher-2066605-1247343109 -o /tmp/evaluation-result-2066605-1247343109/solver-2066605-1247343109 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2066605-1247343109.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7a34d64a51fb41f03bb16b011f46c208
RANDOM SEED=689923298
node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1360992 kB
Buffers: 63556 kB
Cached: 403128 kB
SwapCached: 0 kB
Active: 243704 kB
Inactive: 382804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1360992 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4664 kB
Writeback: 0 kB
Mapped: 180240 kB
Slab: 52948 kB
Committed_AS: 326332 kB
PageTables: 2264 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node32 at 2009-07-11 22:14:28