0.06/0.06 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.06/0.06 c 0 BEGIN Sat Jul 12 01:52:36 2008
0.06/0.06 c 0 PID 16098
0.06/0.07 c 0 HOST node16.alineos.net
0.06/0.07 c 0 CONVERTING HOME/instance-1110339-1215820355.xml TO HOME/temp.csp
0.06/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110339-1215820355.xml' 'HOME/temp.csp'
0.06/0.24 c 0 1 domains, 196 variables, 0 predicates, 1 relations, 28 constraints
0.06/0.28 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.28 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.27/0.35 c 0 Parsing HOME/temp.csp
0.27/0.42 c 0 parsed 226 expressions
0.27/0.42 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.43 c 0 MAX CSP: 28 constraints
0.27/0.43 c 0 Converting to clausal form CSP
0.27/0.45 c 0 converted 26 (10%) expressions
0.27/0.45 c 0 converted 52 (20%) expressions
0.27/0.45 c 0 converted 78 (30%) expressions
0.27/0.45 c 0 converted 103 (40%) expressions
0.27/0.45 c 0 converted 129 (50%) expressions
0.27/0.45 c 0 converted 155 (60%) expressions
0.27/0.45 c 0 converted 180 (70%) expressions
0.27/0.51 c 0 converted 206 (80%) expressions
0.27/0.72 c 0 converted 232 (90%) expressions
0.27/0.92 c 0 converted 257 (100%) expressions
0.27/0.92 c 0 CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 43
0.27/0.92 c 0 Heap : 18 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.92 c 0 Propagation in CSP
0.27/0.92 c 0 25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.27/0.92 c 0 CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 29
0.27/0.92 c 0 Heap : 19 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.27/0.92 c 0 Simplifing CSP by introducing new Boolean variables
0.27/0.92 c 0 CSP : 252 integers, 0 booleans, 83 clauses, largest domain size 29
0.27/0.92 c 0 Heap : 19 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.02 c 0 Encoding CSP to SAT : HOME/temp.cnf
1.03/1.03 c 0 26 (10%) CSP integer variables are encoded (624 clauses, 6720 bytes)
1.03/1.03 c 0 51 (20%) CSP integer variables are encoded (1224 clauses, 13849 bytes)
1.03/1.03 c 0 76 (30%) CSP integer variables are encoded (1824 clauses, 21649 bytes)
1.03/1.03 c 0 101 (40%) CSP integer variables are encoded (2424 clauses, 29449 bytes)
1.03/1.03 c 0 126 (50%) CSP integer variables are encoded (3024 clauses, 37249 bytes)
1.03/1.03 c 1 152 (60%) CSP integer variables are encoded (3648 clauses, 45361 bytes)
1.03/1.03 c 1 177 (70%) CSP integer variables are encoded (4248 clauses, 53161 bytes)
1.03/1.03 c 1 202 (80%) CSP integer variables are encoded (4704 clauses, 59089 bytes)
1.03/1.04 c 1 227 (90%) CSP integer variables are encoded (4733 clauses, 59466 bytes)
1.03/1.04 c 1 252 (100%) CSP integer variables are encoded (4900 clauses, 61637 bytes)
10.83/10.86 c 10 9 (10%) CSP clauses are encoded (131485 clauses, 11507210 bytes)
19.59/19.68 c 19 17 (20%) CSP clauses are encoded (244005 clauses, 21780923 bytes)
28.37/28.45 c 28 25 (30%) CSP clauses are encoded (356525 clauses, 32941427 bytes)
31.56/31.67 c 31 34 (40%) CSP clauses are encoded (398748 clauses, 37127046 bytes)
31.56/31.67 c 31 42 (50%) CSP clauses are encoded (399300 clauses, 37136271 bytes)
31.56/31.67 c 31 50 (60%) CSP clauses are encoded (399334 clauses, 37136790 bytes)
31.56/31.67 c 31 59 (70%) CSP clauses are encoded (399797 clauses, 37144863 bytes)
31.56/31.67 c 31 67 (80%) CSP clauses are encoded (399851 clauses, 37145719 bytes)
31.56/31.67 c 31 75 (90%) CSP clauses are encoded (399901 clauses, 37146501 bytes)
31.56/31.67 c 31 83 (100%) CSP clauses are encoded (400092 clauses, 37149668 bytes)
31.56/31.67 c 31 83 CSP clauses encoded
31.56/31.67 c 31 Writing map file : HOME/temp.map
31.56/31.68 c 31 Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
31.56/31.68 c 31 SAT : 5152 SAT variables, 400092 SAT clauses, 37149668 bytes
31.56/31.68 c 31 Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
31.65/31.71 c 31 OBJECTIVE minimize _COST
31.65/31.71 c 31 SOLVING HOME/temp.cnf
31.65/31.71 c 31 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
31.65/31.71 c 31 This is MiniSat 2.0 beta incremental
31.65/31.71 c 31 WARNING: for repeatability, setting FPU to use double precision
31.65/31.71 c 31 ============================[ Problem Statistics ]=============================
31.65/31.71 c 31 | |
31.65/31.71 c 31 | Number of variables: 5152 |
31.65/31.71 c 31 | Number of clauses: 400092 |
32.34/32.41 c 32 | Parsing time: 0.63 s |
32.34/32.45 c 32 OK
32.34/32.45 c 32 OBJECTIVE BOUND: 0 <= _COST <=
32.34/32.45 c 32 SEARCHING: _COST <= 14
32.34/32.45 c 32 ============================[ Search Statistics ]==============================
32.34/32.45 c 32 | Conflicts | ORIGINAL | LEARNT | Progress |
32.34/32.45 c 32 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
32.34/32.45 c 32 ===============================================================================
32.34/32.45 c 32 | 0 | 5152 400092 6909168 | 133364 0 nan | 0.000 % |
32.34/32.46 c 32 | 102 | 5152 400092 6909168 | 146700 102 5 | 0.000 % |
32.34/32.49 c 32 | 252 | 5152 400092 6909168 | 161370 252 5 | 0.000 % |
32.44/32.52 c 32 | 477 | 5152 400092 6909168 | 177507 477 6 | 0.000 % |
32.54/32.64 c 32 | 814 | 5152 400092 6909168 | 195258 814 8 | 0.000 % |
32.54/32.69 c 32 | 1320 | 5152 400092 6909168 | 214784 1320 9 | 0.000 % |
32.64/32.75 c 32 | 2079 | 5152 400092 6909168 | 236262 2079 9 | 0.000 % |
32.74/32.84 c 32 | 3218 | 5152 400092 6909168 | 259888 3218 9 | 0.000 % |
32.84/32.99 c 32 | 4926 | 5152 400092 6909168 | 285877 4926 10 | 0.000 % |
33.03/33.19 c 33 | 7488 | 5152 400092 6909168 | 314465 7488 10 | 0.000 % |
33.34/33.48 c 33 | 11333 | 5152 400092 6909168 | 345911 11333 10 | 0.000 % |
33.84/33.99 c 33 | 17099 | 5152 400092 6909168 | 380503 17099 10 | 0.000 % |
34.74/34.89 c 34 | 25749 | 5152 400092 6909168 | 418553 25749 10 | 0.000 % |
36.94/37.08 c 37 | 38723 | 5152 400092 6909168 | 460408 38723 11 | 0.000 % |
40.13/40.23 c 40 | 58184 | 5152 400092 6909168 | 506449 58184 11 | 0.000 % |
45.63/45.75 c 45 | 87376 | 5152 400092 6909168 | 557094 87376 12 | 0.000 % |
59.34/59.48 c 59 | 131167 | 5152 400092 6909168 | 612803 131167 13 | 0.000 % |
89.91/90.07 c 90 | 196853 | 5152 400092 6909168 | 674084 196853 16 | 0.000 % |
236.89/237.07 c 237 | 295381 | 5152 400092 6909168 | 741492 295381 19 | 0.000 % |
433.47/433.61 c 433 | 443173 | 5152 400092 6909168 | 815642 443173 19 | 0.000 % |
998.09/998.33 c 998 | 664856 | 5152 400092 6909168 | 897206 664856 24 | 0.000 % |
1560.95/1561.24 c 1561 | 997381 | 5152 400092 6909168 | 986926 140948 19 | 0.000 % |
2881.52/2881.92 c 2881 | 1496169 | 5152 400092 6909168 | 1085619 639736 30 | 0.000 % |
3600.08/3600.51 c ERROR INTERRUPTED
3600.08/3600.51 s UNKNOWN
3600.08/3600.53 c 3600 CPU 3599.16 (0.05 0.02 3599.11 0.95)
3600.08/3600.53 c 3600 END Sat Jul 12 02:52: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-1110339-1215820355/watcher-1110339-1215820355 -o /tmp/evaluation-result-1110339-1215820355/solver-1110339-1215820355 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1110339-1215820355.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=12268 CPUtime=0
/proc/16098/stat : 16098 (sugar++) R 16096 16098 14066 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 38738115 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 231971273726 0 0 4224 0 0 0 0 17 0 0 0
/proc/16098/statm: 3067 316 241 3 0 167 0
[startup+0.069332 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.06
/proc/16098/stat : 16098 (sugar++) R 16096 16098 14066 0 -1 4194304 1109 0 0 0 4 2 0 0 18 0 1 0 38738115 17141760 1077 996147200 4194304 4206940 548682068528 18446744073709551615 231962219233 0 0 4224 0 0 0 0 17 0 0 0
/proc/16098/statm: 4185 1077 385 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101327 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.06
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1219 128 0 0 4 2 0 0 17 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301279 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1279 4294 0 1 4 2 18 3 17 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16740
[startup+0.701173 s]
/proc/loadavg: 1.00 1.00 1.07 3/64 16098
/proc/meminfo: memFree=1798216/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1296 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16740
[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1768944/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865164 CPUtime=1.29
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 10166 0 1 0 124 5 0 0 18 0 9 0 38738144 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216291 9403 2564 9 0 210838 0
[pid=16112/tid=16113] ppid=16111 vsize=865164 CPUtime=0.76
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 2881 0 1 0 75 1 0 0 17 0 9 0 38738145 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4126582380 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865164 CPUtime=0.41
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 6247 0 0 0 39 2 0 0 16 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865164 CPUtime=0.08
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 344 0 0 0 8 0 0 0 15 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885927936 9403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 887260
[startup+3.10255 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1764784/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865164 CPUtime=2.88
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 11239 0 1 0 282 6 0 0 18 0 9 0 38738144 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216291 10403 2564 9 0 210838 0
[pid=16112/tid=16113] ppid=16111 vsize=865164 CPUtime=2.29
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 2954 0 1 0 226 3 0 0 16 0 9 0 38738145 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4126548360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865164 CPUtime=0.47
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 7244 0 0 0 45 2 0 0 16 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38738146 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865164 CPUtime=0.09
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 347 0 0 0 9 0 0 0 16 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865164 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885927936 10403 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 887260
[startup+6.30271 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1752824/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=6.07
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 14493 0 1 0 597 10 0 0 18 0 9 0 38738144 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 12287 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=5.25
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3106 0 1 0 520 5 0 0 16 0 9 0 38738145 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4126582487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=0.7
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 10345 0 0 0 67 3 0 0 15 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865224 CPUtime=0.09
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 348 0 0 0 9 0 0 0 16 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885989376 12287 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 887320
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1739456/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=12.45
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 16833 0 1 0 1228 17 0 0 18 0 9 0 38738144 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 13134 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=11.27
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3381 0 1 0 1118 9 0 0 16 0 9 0 38738145 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 102064004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=1.05
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 12406 0 0 0 99 6 0 0 15 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16117] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16117/stat : 16117 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16118] ppid=16111 vsize=865224 CPUtime=0.1
/proc/16112/task/16118/stat : 16118 (java) S 16111 16098 14066 0 -1 64 352 0 0 0 10 0 0 0 16 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16119] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16119/stat : 16119 (java) S 16111 16098 14066 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16120] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16120/stat : 16120 (java) S 16111 16098 14066 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38738148 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 887320
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.07 2/75 16120
/proc/meminfo: memFree=1722176/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=0.27
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1297 4294 0 1 4 2 18 3 16 0 1 0 38738115 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1104 409 3 0 764 0
[pid=16111] ppid=16098 vsize=5356 CPUtime=0
/proc/16111/stat : 16111 (sh) S 16098 16098 14066 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38738143 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16111/statm: 1339 233 193 169 0 50 0
[pid=16112] ppid=16111 vsize=865224 CPUtime=25.21
/proc/16112/stat : 16112 (java) S 16111 16098 14066 0 -1 0 19805 0 1 0 2492 29 0 0 18 0 9 0 38738144 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16112/statm: 216306 13134 2564 9 0 210853 0
[pid=16112/tid=16113] ppid=16111 vsize=865224 CPUtime=23.38
/proc/16112/task/16113/stat : 16113 (java) R 16111 16098 14066 0 -1 64 3927 0 1 0 2319 19 0 0 17 0 9 0 38738145 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4126582443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16112/tid=16114] ppid=16111 vsize=865224 CPUtime=1.71
/proc/16112/task/16114/stat : 16114 (java) S 16111 16098 14066 0 -1 64 14832 0 0 0 162 9 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16115] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16115/stat : 16115 (java) S 16111 16098 14066 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16112/tid=16116] ppid=16111 vsize=865224 CPUtime=0
/proc/16112/task/16116/stat : 16116 (java) S 16111 16098 14066 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38738146 885989376 13134 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=16121] ppid=16098 vsize=167428 CPUtime=2890.25
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 41224 0 0 0 288983 42 0 0 25 0 1 0 38741286 171446272 41173 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 41857 41173 74 151 0 41703 0
Current children cumulated CPU time (s) 2921.93
Current children cumulated vsize (KiB) 184168
[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1588552/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=171984 CPUtime=2950.25
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 42380 0 0 0 294982 43 0 0 25 0 1 0 38741286 176111616 42329 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 42996 42329 74 151 0 42842 0
Current children cumulated CPU time (s) 2981.93
Current children cumulated vsize (KiB) 188724
[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1584392/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=176264 CPUtime=3010.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 43421 0 0 0 300980 44 0 0 25 0 1 0 38741286 180494336 43370 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 44066 43370 74 151 0 43912 0
Current children cumulated CPU time (s) 3041.92
Current children cumulated vsize (KiB) 193004
[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1581128/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=179528 CPUtime=3070.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 44240 0 0 0 306979 45 0 0 25 0 1 0 38741286 183836672 44189 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/16121/statm: 44882 44189 74 151 0 44728 0
Current children cumulated CPU time (s) 3101.92
Current children cumulated vsize (KiB) 196268
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1577864/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=182816 CPUtime=3130.23
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 45063 0 0 0 312977 46 0 0 25 0 1 0 38741286 187203584 45012 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 45704 45012 74 151 0 45550 0
Current children cumulated CPU time (s) 3161.91
Current children cumulated vsize (KiB) 199556
[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1575112/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=185608 CPUtime=3190.24
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 45738 0 0 0 318977 47 0 0 25 0 1 0 38741286 190062592 45687 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 46402 45687 74 151 0 46248 0
Current children cumulated CPU time (s) 3221.92
Current children cumulated vsize (KiB) 202348
[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1572552/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=188100 CPUtime=3250.23
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 46376 0 0 0 324976 47 0 0 25 0 1 0 38741286 192614400 46325 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47025 46325 74 151 0 46871 0
Current children cumulated CPU time (s) 3281.91
Current children cumulated vsize (KiB) 204840
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1570632/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=190080 CPUtime=3310.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 46853 0 0 0 330974 48 0 0 25 0 1 0 38741286 194641920 46802 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47520 46802 74 151 0 47366 0
Current children cumulated CPU time (s) 3341.9
Current children cumulated vsize (KiB) 206820
[startup+3402.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 16129
/proc/meminfo: memFree=1568904/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=191728 CPUtime=3370.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 47264 0 0 0 336974 48 0 0 25 0 1 0 38741286 196329472 47213 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 47932 47213 74 151 0 47778 0
Current children cumulated CPU time (s) 3401.9
Current children cumulated vsize (KiB) 208468
[startup+3462.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 16129
/proc/meminfo: memFree=1566600/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=193880 CPUtime=3430.22
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 47823 0 0 0 342973 49 0 0 25 0 1 0 38741286 198533120 47772 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16121/statm: 48470 47772 74 151 0 48316 0
Current children cumulated CPU time (s) 3461.9
Current children cumulated vsize (KiB) 210620
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1563400/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=196924 CPUtime=3490.21
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 48606 0 0 0 348971 50 0 0 25 0 1 0 38741286 201650176 48555 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 49231 48555 74 151 0 49077 0
Current children cumulated CPU time (s) 3521.89
Current children cumulated vsize (KiB) 213664
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1560904/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=199480 CPUtime=3550.21
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49232 0 0 0 354970 51 0 0 25 0 1 0 38741286 204267520 49181 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 49870 49181 74 151 0 49716 0
Current children cumulated CPU time (s) 3581.89
Current children cumulated vsize (KiB) 216220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3600.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1559816/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=200404 CPUtime=3568.4
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49492 0 0 0 356789 51 0 0 25 0 1 0 38741286 205213696 49441 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 50101 49441 74 151 0 49947 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 217144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3600.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16129
/proc/meminfo: memFree=1559816/2055920 swapFree=4179412/4192956
[pid=16098] ppid=16096 vsize=16740 CPUtime=31.68
/proc/16098/stat : 16098 (sugar++) S 16096 16098 14066 0 -1 4194304 1463 24674 0 2 5 2 3121 40 16 0 1 0 38738115 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16098/statm: 4185 1113 414 3 0 764 0
[pid=16121] ppid=16098 vsize=200404 CPUtime=3568.4
/proc/16121/stat : 16121 (minisat-inc) R 16098 16098 14066 0 -1 4194304 49492 0 0 0 356789 51 0 0 25 0 1 0 38741286 205213696 49441 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16121/statm: 50101 49441 74 151 0 49947 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 217144
Child status: 0
Real time (s): 3600.56
CPU time (s): 3600.16
CPU user time (s): 3599.16
CPU system time (s): 0.997848
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 890532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75701
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4514
involuntary context switches= 16564
runsolver used 3.37149 second user time and 9.76552 second system time
The end
Begin job on node16 at 2008-07-12 01:52:35
IDJOB=1110339
IDBENCH=61093
IDSOLVER=367
FILE ID=node16/1110339-1215820355
PBS_JOBID= 7903246
Free space on /tmp= 66528 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg14-14_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110339-1215820355/watcher-1110339-1215820355 -o /tmp/evaluation-result-1110339-1215820355/solver-1110339-1215820355 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1110339-1215820355.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 71043e558b97d1038b2e45a8033f05ba
RANDOM SEED=987221784
node16.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.218
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.218
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: 1798696 kB
Buffers: 47948 kB
Cached: 156292 kB
SwapCached: 8124 kB
Active: 58676 kB
Inactive: 156140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798696 kB
SwapTotal: 4192956 kB
SwapFree: 4179412 kB
Dirty: 844 kB
Writeback: 0 kB
Mapped: 14016 kB
Slab: 28444 kB
Committed_AS: 121384 kB
PageTables: 1448 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= 66524 MiB
End job on node16 at 2008-07-12 02:52:38