0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Wed Jul 2 14:42:42 2008
0.00/0.04 c 0 PID 21316
0.00/0.04 c 0 HOST node75.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1042059-1215002562.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1042059-1215002562.xml' 'HOME/temp.csp'
0.03/0.65 c 0 32 domains, 1922 variables, 2 predicates, 0 relations, 2328 constraints
0.03/0.66 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.66 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.63/0.74 c 1 Parsing HOME/temp.csp
0.63/0.97 c 1 parsed 4284 expressions
0.63/0.98 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.63/0.98 c 1 Converting to clausal form CSP
0.96/1.00 c 1 converted 429 (10%) expressions
0.96/1.01 c 1 converted 857 (20%) expressions
0.96/1.01 c 1 converted 1286 (30%) expressions
0.96/1.02 c 1 converted 1714 (40%) expressions
1.06/1.16 c 1 converted 2142 (50%) expressions
1.15/1.22 c 1 converted 2571 (60%) expressions
1.15/1.26 c 1 converted 2999 (70%) expressions
1.15/1.29 c 1 converted 3428 (80%) expressions
1.26/1.33 c 1 converted 3856 (90%) expressions
2.65/2.72 c 2 converted 4284 (100%) expressions
2.65/2.73 c 3 CSP : 14282 integers, 4330 booleans, 37700 clauses, largest domain size 257
2.65/2.73 c 3 Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.65/2.73 c 3 Propagation in CSP
2.86/2.94 c 3 63950 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.86/2.94 c 3 CSP : 14282 integers, 4330 booleans, 37700 clauses, largest domain size 104
2.86/2.94 c 3 Heap : 25 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.86/2.96 c 3 Simplifing CSP by introducing new Boolean variables
2.86/2.98 c 3 CSP : 14282 integers, 4330 booleans, 37700 clauses, largest domain size 104
2.86/2.98 c 3 Heap : 26 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.06/3.13 c 3 Encoding CSP to SAT : HOME/temp.cnf
3.06/3.16 c 3 1429 (10%) CSP integer variables are encoded (5260 clauses, 66253 bytes)
3.06/3.19 c 3 2857 (20%) CSP integer variables are encoded (22086 clauses, 313318 bytes)
3.17/3.22 c 3 4285 (30%) CSP integer variables are encoded (48096 clauses, 703468 bytes)
3.17/3.25 c 3 5713 (40%) CSP integer variables are encoded (74232 clauses, 1095508 bytes)
3.17/3.28 c 3 7141 (50%) CSP integer variables are encoded (99078 clauses, 1479963 bytes)
3.26/3.31 c 3 8570 (60%) CSP integer variables are encoded (124015 clauses, 1903892 bytes)
3.26/3.34 c 3 9998 (70%) CSP integer variables are encoded (149486 clauses, 2336899 bytes)
3.26/3.38 c 3 11426 (80%) CSP integer variables are encoded (175455 clauses, 2778372 bytes)
3.36/3.41 c 3 12854 (90%) CSP integer variables are encoded (200847 clauses, 3210036 bytes)
3.36/3.44 c 3 14282 (100%) CSP integer variables are encoded (225495 clauses, 3629052 bytes)
3.86/3.92 c 4 3770 (10%) CSP clauses are encoded (488440 clauses, 8362412 bytes)
5.36/5.49 c 5 7540 (20%) CSP clauses are encoded (1421338 clauses, 27826309 bytes)
6.85/6.92 c 7 11310 (30%) CSP clauses are encoded (2253457 clauses, 45459289 bytes)
8.24/8.38 c 8 15080 (40%) CSP clauses are encoded (3085568 clauses, 63092278 bytes)
9.73/9.82 c 10 18850 (50%) CSP clauses are encoded (3900120 clauses, 81035460 bytes)
11.52/11.67 c 11 22620 (60%) CSP clauses are encoded (4916779 clauses, 105517269 bytes)
13.20/13.33 c 13 26390 (70%) CSP clauses are encoded (5816217 clauses, 127230510 bytes)
14.70/14.86 c 15 30160 (80%) CSP clauses are encoded (6648332 clauses, 147317264 bytes)
16.19/16.31 c 16 33930 (90%) CSP clauses are encoded (7434517 clauses, 166286084 bytes)
17.79/17.97 c 18 37700 (100%) CSP clauses are encoded (8349589 clauses, 188314093 bytes)
17.79/17.97 c 18 37700 CSP clauses encoded
17.79/17.97 c 18 Writing map file : HOME/temp.map
17.89/18.02 c 18 Heap : 23 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.89/18.02 c 18 SAT : 244035 SAT variables, 8349589 SAT clauses, 188314093 bytes
17.89/18.02 c 18 Heap : 23 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.89/18.04 c 18 SOLVING HOME/temp.cnf
17.89/18.04 c 18 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
353.21/353.64 c 353 DECODING HOME/temp.out WITH HOME/temp.map
353.21/353.64 c 353 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
353.28/353.74 c 354 Decoding HOME/temp.out
353.70/354.12 s SATISFIABLE
353.70/354.19 v 54 56 55 32 31 46 39 50 30 29 28 27 0 36 58 13 39 55 31 39 59 81 80 56 50 29 0 75 0 73 0 65 36 33 0 9 59 59 25 69 59 80 91 63 0 25 60 66 40 14 83 82 58 80 58 0 33 76 0 31 28 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 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 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 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 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0
353.70/354.20 c 354 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
353.79/354.24 c 354 CPU 314.68 (0.03 0.02 314.65 39.1)
353.79/354.24 c 354 END Wed Jul 2 14:48:36 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042059-1215002562/watcher-1042059-1215002562 -o /tmp/evaluation-result-1042059-1215002562/solver-1042059-1215002562 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1042059-1215002562.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 21316
/proc/meminfo: memFree=1867640/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=12272 CPUtime=0
/proc/21316/stat : 21316 (sugar) R 21314 21316 20720 0 -1 4194304 379 0 0 0 0 0 0 0 20 0 1 0 1979205951 12566528 347 996147200 4194304 4206940 548682068608 18446744073709551615 231882527457 0 0 4224 0 0 0 0 17 1 0 0
/proc/21316/statm: 3068 352 262 3 0 168 0
[startup+0.077977 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 21316
/proc/meminfo: memFree=1867640/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.03
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 1979205951 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.10198 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 21316
/proc/meminfo: memFree=1867640/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.03
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 1979205951 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.302002 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 21316
/proc/meminfo: memFree=1867640/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.03
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 1979205951 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701052 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 21316
/proc/meminfo: memFree=1867640/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.63
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 956 6725 0 1 3 0 56 4 16 0 1 0 1979205951 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13600
[startup+1.50214 s]
/proc/loadavg: 2.00 2.00 1.91 3/91 21338
/proc/meminfo: memFree=1857808/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.63
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 974 6725 0 1 3 0 56 4 15 0 1 0 1979205951 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 797 370 3 0 500 0
[pid=21329] ppid=21316 vsize=5356 CPUtime=0
/proc/21329/stat : 21329 (sh) S 21316 21316 20720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1979206018 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21329/statm: 1339 233 193 169 0 50 0
[pid=21330] ppid=21329 vsize=868420 CPUtime=0.83
/proc/21330/stat : 21330 (java) S 21329 21316 20720 0 -1 0 7502 0 1 0 78 5 0 0 18 0 9 0 1979206018 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21330/statm: 217105 6729 2541 9 0 211680 0
[pid=21330/tid=21331] ppid=21329 vsize=868420 CPUtime=0.49
/proc/21330/task/21331/stat : 21331 (java) R 21329 21316 20720 0 -1 64 2679 0 1 0 48 1 0 0 23 0 9 0 1979206019 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4126615047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21332] ppid=21329 vsize=868420 CPUtime=0.11
/proc/21330/task/21332/stat : 21332 (java) S 21329 21316 20720 0 -1 64 2646 0 0 0 10 1 0 0 16 0 9 0 1979206020 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21333] ppid=21329 vsize=868420 CPUtime=0
/proc/21330/task/21333/stat : 21333 (java) S 21329 21316 20720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1979206020 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21334] ppid=21329 vsize=868420 CPUtime=0
/proc/21330/task/21334/stat : 21334 (java) S 21329 21316 20720 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1979206020 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21335] ppid=21329 vsize=868420 CPUtime=0
/proc/21330/task/21335/stat : 21335 (java) S 21329 21316 20720 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1979206022 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21336] ppid=21329 vsize=868420 CPUtime=0.19
/proc/21330/task/21336/stat : 21336 (java) S 21329 21316 20720 0 -1 64 1484 0 0 0 18 1 0 0 16 0 9 0 1979206022 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21337] ppid=21329 vsize=868420 CPUtime=0
/proc/21330/task/21337/stat : 21337 (java) S 21329 21316 20720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1979206022 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21338] ppid=21329 vsize=868420 CPUtime=0
/proc/21330/task/21338/stat : 21338 (java) S 21329 21316 20720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1979206022 889262080 6729 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 887376
[startup+3.10235 s]
/proc/loadavg: 2.08 2.02 1.92 4/91 21338
/proc/meminfo: memFree=1839504/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.64
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 974 6725 0 1 3 1 56 4 15 0 1 0 1979205951 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 797 370 3 0 500 0
[pid=21329] ppid=21316 vsize=5356 CPUtime=0
/proc/21329/stat : 21329 (sh) S 21316 21316 20720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1979206018 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21329/statm: 1339 233 193 169 0 50 0
[pid=21330] ppid=21329 vsize=868924 CPUtime=2.42
/proc/21330/stat : 21330 (java) S 21329 21316 20720 0 -1 0 12959 0 1 0 233 9 0 0 18 0 9 0 1979206018 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21330/statm: 217231 11908 2541 9 0 211806 0
[pid=21330/tid=21331] ppid=21329 vsize=868924 CPUtime=1.41
/proc/21330/task/21331/stat : 21331 (java) R 21329 21316 20720 0 -1 64 2997 0 1 0 139 2 0 0 25 0 9 0 1979206019 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21332] ppid=21329 vsize=868924 CPUtime=0.75
/proc/21330/task/21332/stat : 21332 (java) R 21329 21316 20720 0 -1 64 7747 0 0 0 70 5 0 0 16 0 9 0 1979206020 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 104182539 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21333] ppid=21329 vsize=868924 CPUtime=0
/proc/21330/task/21333/stat : 21333 (java) S 21329 21316 20720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1979206020 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21334] ppid=21329 vsize=868924 CPUtime=0
/proc/21330/task/21334/stat : 21334 (java) S 21329 21316 20720 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1979206020 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21335] ppid=21329 vsize=868924 CPUtime=0
/proc/21330/task/21335/stat : 21335 (java) S 21329 21316 20720 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1979206022 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21336] ppid=21329 vsize=868924 CPUtime=0.25
/proc/21330/task/21336/stat : 21336 (java) S 21329 21316 20720 0 -1 64 1522 0 0 0 24 1 0 0 15 0 9 0 1979206022 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21337] ppid=21329 vsize=868924 CPUtime=0
/proc/21330/task/21337/stat : 21337 (java) S 21329 21316 20720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1979206022 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21338] ppid=21329 vsize=868924 CPUtime=0
/proc/21330/task/21338/stat : 21338 (java) S 21329 21316 20720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1979206022 889778176 11908 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 887880
[startup+6.30271 s]
/proc/loadavg: 2.08 2.02 1.92 3/91 21338
/proc/meminfo: memFree=1801104/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.64
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 974 6725 0 1 3 1 56 4 16 0 1 0 1979205951 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 797 370 3 0 500 0
[pid=21329] ppid=21316 vsize=5356 CPUtime=0
/proc/21329/stat : 21329 (sh) S 21316 21316 20720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1979206018 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21329/statm: 1339 233 193 169 0 50 0
[pid=21330] ppid=21329 vsize=868532 CPUtime=5.61
/proc/21330/stat : 21330 (java) S 21329 21316 20720 0 -1 0 13411 0 1 0 529 32 0 0 18 0 9 0 1979206018 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21330/statm: 217133 11860 2565 9 0 211680 0
[pid=21330/tid=21331] ppid=21329 vsize=868532 CPUtime=4.4
/proc/21330/task/21331/stat : 21331 (java) R 21329 21316 20720 0 -1 64 3413 0 1 0 417 23 0 0 25 0 9 0 1979206019 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21332] ppid=21329 vsize=868532 CPUtime=0.89
/proc/21330/task/21332/stat : 21332 (java) S 21329 21316 20720 0 -1 64 7751 0 0 0 82 7 0 0 16 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21333] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21333/stat : 21333 (java) S 21329 21316 20720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21334] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21334/stat : 21334 (java) S 21329 21316 20720 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21335] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21335/stat : 21335 (java) S 21329 21316 20720 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21336] ppid=21329 vsize=868532 CPUtime=0.29
/proc/21330/task/21336/stat : 21336 (java) S 21329 21316 20720 0 -1 64 1554 0 0 0 28 1 0 0 17 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21337] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21337/stat : 21337 (java) S 21329 21316 20720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21338] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21338/stat : 21338 (java) S 21329 21316 20720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 887488
[startup+12.7025 s]
/proc/loadavg: 2.07 2.02 1.92 3/91 21338
/proc/meminfo: memFree=1718416/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=0.64
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 974 6725 0 1 3 1 56 4 16 0 1 0 1979205951 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 797 370 3 0 500 0
[pid=21329] ppid=21316 vsize=5356 CPUtime=0
/proc/21329/stat : 21329 (sh) S 21316 21316 20720 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1979206018 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21329/statm: 1339 233 193 169 0 50 0
[pid=21330] ppid=21329 vsize=868532 CPUtime=11.98
/proc/21330/stat : 21330 (java) S 21329 21316 20720 0 -1 0 14138 0 1 0 1116 82 0 0 18 0 9 0 1979206018 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21330/statm: 217133 11860 2565 9 0 211680 0
[pid=21330/tid=21331] ppid=21329 vsize=868532 CPUtime=10.49
/proc/21330/task/21331/stat : 21331 (java) R 21329 21316 20720 0 -1 64 4140 0 1 0 981 68 0 0 25 0 9 0 1979206019 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21332] ppid=21329 vsize=868532 CPUtime=1.18
/proc/21330/task/21332/stat : 21332 (java) S 21329 21316 20720 0 -1 64 7751 0 0 0 106 12 0 0 16 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21333] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21333/stat : 21333 (java) S 21329 21316 20720 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21334] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21334/stat : 21334 (java) S 21329 21316 20720 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1979206020 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21335] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21335/stat : 21335 (java) S 21329 21316 20720 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21336] ppid=21329 vsize=868532 CPUtime=0.29
/proc/21330/task/21336/stat : 21336 (java) S 21329 21316 20720 0 -1 64 1554 0 0 0 28 1 0 0 17 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21337] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21337/stat : 21337 (java) S 21329 21316 20720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21330/tid=21338] ppid=21329 vsize=868532 CPUtime=0
/proc/21330/task/21338/stat : 21338 (java) S 21329 21316 20720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1979206022 889376768 11860 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 887488
[startup+25.502 s]
/proc/loadavg: 2.06 2.01 1.92 3/83 21340
/proc/meminfo: memFree=1633184/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=49352 CPUtime=7.43
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 11585 0 0 0 333 410 0 0 25 0 1 0 1979207755 50536448 11571 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 12338 11571 40 102 0 12233 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 68308
[startup+51.102 s]
/proc/loadavg: 2.04 2.01 1.92 3/83 21340
/proc/meminfo: memFree=1529760/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=154700 CPUtime=33.01
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 37737 0 0 0 1496 1805 0 0 25 0 1 0 1979207755 158412800 37723 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 38675 37723 40 102 0 38570 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 173656
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.92 3/83 21340
/proc/meminfo: memFree=1378336/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=306472 CPUtime=84.2
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 74929 0 0 0 4654 3766 0 0 25 0 1 0 1979207755 313827328 74915 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 76618 74915 42 102 0 76513 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 325428
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 21340
/proc/meminfo: memFree=1377760/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=307008 CPUtime=144.17
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75075 0 0 0 10651 3766 0 0 25 0 1 0 1979207755 314376192 75059 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 76752 75059 48 102 0 76647 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 325964
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 21340
/proc/meminfo: memFree=1377376/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=307272 CPUtime=204.16
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75148 0 0 0 16649 3767 0 0 25 0 1 0 1979207755 314646528 75132 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 76818 75132 48 102 0 76713 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 326228
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 21341
/proc/meminfo: memFree=1376736/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=307800 CPUtime=264.14
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75296 0 0 0 22647 3767 0 0 25 0 1 0 1979207755 315187200 75280 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 76950 75280 48 102 0 76845 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 326756
[startup+342.301 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=308328 CPUtime=323.98
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75421 0 0 0 28631 3767 0 0 25 0 1 0 1979207755 315727872 75405 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 77082 75405 48 102 0 76977 0
Current children cumulated CPU time (s) 341.91
Current children cumulated vsize (KiB) 327284
Solver just ended. Dumping a history of the last processes samples
[startup+345.502 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=308328 CPUtime=327.18
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75427 0 0 0 28951 3767 0 0 25 0 1 0 1979207755 315727872 75411 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 77082 75411 48 102 0 76977 0
Current children cumulated CPU time (s) 345.11
Current children cumulated vsize (KiB) 327284
[startup+348.706 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=308460 CPUtime=330.38
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75434 0 0 0 29271 3767 0 0 25 0 1 0 1979207755 315863040 75418 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 77115 75418 48 102 0 77010 0
Current children cumulated CPU time (s) 348.31
Current children cumulated vsize (KiB) 327416
[startup+351.902 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=308460 CPUtime=333.58
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75442 0 0 0 29591 3767 0 0 25 0 1 0 1979207755 315863040 75426 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 77115 75426 48 102 0 77010 0
Current children cumulated CPU time (s) 351.51
Current children cumulated vsize (KiB) 327416
[startup+353.502 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=17.93
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1022 21782 0 2 3 1 1657 132 16 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
[pid=21339] ppid=21316 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21316 21316 20720 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1979207755 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21339/statm: 1339 232 193 169 0 50 0
[pid=21340] ppid=21339 vsize=308464 CPUtime=335.18
/proc/21340/stat : 21340 (picosat) R 21339 21316 20720 0 -1 4194304 75461 0 0 0 29750 3768 0 0 25 0 1 0 1979207755 315867136 75445 996147200 134512640 134931368 4294956256 18446744073709551615 134580560 0 0 4096 0 0 0 0 17 1 0 0
/proc/21340/statm: 77116 75445 52 102 0 77011 0
Current children cumulated CPU time (s) 353.11
Current children cumulated vsize (KiB) 327420
[startup+353.902 s]
/proc/loadavg: 1.97 1.98 1.91 3/83 21380
/proc/meminfo: memFree=1366752/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=353.28
/proc/21316/stat : 21316 (sugar) S 21314 21316 20720 0 -1 4194304 1091 97529 0 2 3 1 31418 3906 15 0 1 0 1979205951 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21316/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 353.28
Current children cumulated vsize (KiB) 13600
[startup+354.303 s]
/proc/loadavg: 1.97 1.98 1.91 3/91 21390
/proc/meminfo: memFree=1661344/2055920 swapFree=4180584/4192956
[pid=21316] ppid=21314 vsize=13600 CPUtime=353.87
/proc/21316/stat : 21316 (sugar) R 21314 21316 20720 0 -1 4194304 1119 101560 0 3 3 9 31465 3910 16 0 1 0 1979205951 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 231882855465 0 0 4224 16386 0 0 0 17 0 0 0
/proc/21316/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 353.87
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 354.325
CPU time (s): 353.916
CPU user time (s): 314.699
CPU system time (s): 39.217
CPU usage (%): 99.8845
Max. virtual memory (cumulated for all children) (KiB): 887880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.699
system time used= 39.217
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102709
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= 18085
involuntary context switches= 18470
runsolver used 0.340948 second user time and 0.98085 second system time
The end
Begin job on node75 at 2008-07-02 14:42:42
IDJOB=1042059
IDBENCH=53868
IDSOLVER=345
FILE ID=node75/1042059-1215002562
PBS_JOBID= 7870774
Free space on /tmp= 66532 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/allsquares/normalized-squares-31-31.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042059-1215002562/watcher-1042059-1215002562 -o /tmp/evaluation-result-1042059-1215002562/solver-1042059-1215002562 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1042059-1215002562.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= cc4a849398686c6aea23fb28afe2d04f
RANDOM SEED=1465484496
node75.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.229
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.229
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1868120 kB
Buffers: 5668 kB
Cached: 53768 kB
SwapCached: 6320 kB
Active: 121096 kB
Inactive: 8700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1868120 kB
SwapTotal: 4192956 kB
SwapFree: 4180584 kB
Dirty: 1732 kB
Writeback: 0 kB
Mapped: 84028 kB
Slab: 43108 kB
Committed_AS: 4851368 kB
PageTables: 1964 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= 66532 MiB
End job on node75 at 2008-07-02 14:48:36