0.07/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.07/0.08 c 0 BEGIN Sat Jul 12 06:19:44 2008
0.07/0.08 c 0 PID 16599
0.07/0.08 c 0 HOST node43.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-1110823-1215836384.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110823-1215836384.xml' 'HOME/temp.csp'
0.07/0.68 c 1 1 domains, 210 variables, 0 predicates, 2 relations, 29 constraints
0.07/0.74 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.74 c 1 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.66/0.81 c 1 Parsing HOME/temp.csp
1.09/1.20 c 1 parsed 242 expressions
1.09/1.20 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.09/1.20 c 1 MAX CSP: 29 constraints
1.09/1.20 c 1 Converting to clausal form CSP
1.09/1.22 c 1 converted 28 (10%) expressions
1.09/1.22 c 1 converted 55 (20%) expressions
1.09/1.22 c 1 converted 83 (30%) expressions
1.09/1.22 c 1 converted 110 (40%) expressions
1.09/1.23 c 1 converted 137 (50%) expressions
1.09/1.23 c 1 converted 165 (60%) expressions
1.09/1.23 c 1 converted 192 (70%) expressions
1.79/1.98 c 2 converted 220 (80%) expressions
4.88/5.07 c 5 converted 247 (90%) expressions
5.97/6.19 c 6 converted 274 (100%) expressions
5.97/6.19 c 6 CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 44
5.97/6.19 c 6 Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.97/6.19 c 6 Propagation in CSP
5.97/6.19 c 6 25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.97/6.19 c 6 CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 30
5.97/6.19 c 6 Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.97/6.19 c 6 Simplifing CSP by introducing new Boolean variables
5.97/6.19 c 6 CSP : 268 integers, 0 booleans, 86 clauses, largest domain size 30
5.97/6.19 c 6 Heap : 185 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.17/7.31 c 7 Encoding CSP to SAT : HOME/temp.cnf
7.17/7.33 c 7 27 (10%) CSP integer variables are encoded (648 clauses, 6984 bytes)
7.17/7.33 c 7 54 (20%) CSP integer variables are encoded (1296 clauses, 14785 bytes)
7.17/7.33 c 7 81 (30%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
7.17/7.34 c 7 108 (40%) CSP integer variables are encoded (2592 clauses, 31633 bytes)
7.17/7.34 c 7 134 (50%) CSP integer variables are encoded (3216 clauses, 39745 bytes)
7.17/7.34 c 7 161 (60%) CSP integer variables are encoded (3864 clauses, 48169 bytes)
7.17/7.34 c 7 188 (70%) CSP integer variables are encoded (4512 clauses, 56593 bytes)
7.17/7.34 c 7 215 (80%) CSP integer variables are encoded (5040 clauses, 63457 bytes)
7.17/7.34 c 7 242 (90%) CSP integer variables are encoded (5070 clauses, 63847 bytes)
7.17/7.34 c 7 268 (100%) CSP integer variables are encoded (5245 clauses, 66122 bytes)
882.09/886.64 c 887 9 (10%) CSP clauses are encoded (1344265 clauses, 133266497 bytes)
1583.23/1590.43 c 1590 18 (20%) CSP clauses are encoded (2530363 clauses, 250645288 bytes)
1917.53/1924.91 c 1925 26 (30%) CSP clauses are encoded (3312811 clauses, 336883400 bytes)
2049.95/2057.42 c 2057 35 (40%) CSP clauses are encoded (3606257 clauses, 369223122 bytes)
2049.95/2057.42 c 2057 43 (50%) CSP clauses are encoded (3606333 clauses, 369224352 bytes)
2049.95/2057.42 c 2057 52 (60%) CSP clauses are encoded (3606372 clauses, 369224948 bytes)
2049.95/2057.43 c 2057 61 (70%) CSP clauses are encoded (3606569 clauses, 369228289 bytes)
2049.95/2057.43 c 2057 69 (80%) CSP clauses are encoded (3606879 clauses, 369233303 bytes)
2049.95/2057.43 c 2057 78 (90%) CSP clauses are encoded (3607188 clauses, 369238578 bytes)
2049.95/2057.43 c 2057 86 (100%) CSP clauses are encoded (3607676 clauses, 369247026 bytes)
2049.95/2057.43 c 2057 86 CSP clauses encoded
2049.95/2057.43 c 2057 Writing map file : HOME/temp.map
2049.95/2057.44 c 2057 Heap : 347 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2049.95/2057.44 c 2057 SAT : 5513 SAT variables, 3607676 SAT clauses, 369247026 bytes
2049.95/2057.44 c 2057 Heap : 347 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2050.02/2057.51 c 2057 OBJECTIVE minimize _COST
2050.02/2057.51 c 2057 SOLVING HOME/temp.cnf
2050.02/2057.51 c 2057 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2050.02/2057.51 c 2057 This is MiniSat 2.0 beta incremental
2050.02/2057.51 c 2057 WARNING: for repeatability, setting FPU to use double precision
2050.02/2057.51 c 2057 ============================[ Problem Statistics ]=============================
2050.02/2057.51 c 2057 | |
2050.02/2057.52 c 2057 | Number of variables: 5513 |
2050.02/2057.52 c 2057 | Number of clauses: 3607676 |
2057.25/2064.82 c 2065 | Parsing time: 6.57 s |
2057.55/2065.19 c 2065 OK
2057.55/2065.19 c 2065 OBJECTIVE BOUND: 0 <= _COST <=
2057.55/2065.19 c 2065 SEARCHING: _COST <= 15
2057.55/2065.19 c 2065 ============================[ Search Statistics ]==============================
2057.55/2065.19 c 2065 | Conflicts | ORIGINAL | LEARNT | Progress |
2057.55/2065.19 c 2065 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2057.55/2065.19 c 2065 ===============================================================================
2057.55/2065.19 c 2065 | 0 | 5513 3607676 68621795 | 1202558 0 nan | 0.000 % |
2057.65/2065.27 c 2065 | 101 | 5513 3607676 68621795 | 1322814 101 6 | 0.000 % |
2057.86/2065.41 c 2065 | 251 | 5513 3607676 68621795 | 1455095 251 6 | 0.000 % |
2057.95/2065.59 c 2066 | 477 | 5513 3607676 68621795 | 1600605 477 7 | 0.000 % |
2058.25/2065.81 c 2066 | 815 | 5513 3607676 68621795 | 1760666 815 7 | 0.000 % |
2058.54/2066.15 c 2066 | 1321 | 5513 3607676 68621795 | 1936732 1321 7 | 0.000 % |
2059.33/2066.99 c 2067 | 2080 | 5513 3607676 68621795 | 2130406 2080 7 | 0.000 % |
2060.03/2067.64 c 2068 | 3219 | 5513 3607676 68621795 | 2343446 3219 9 | 0.000 % |
2060.92/2068.50 c 2068 | 4927 | 5513 3607676 68621795 | 2577791 4927 10 | 0.000 % |
2062.20/2069.90 c 2070 | 7489 | 5513 3607676 68621795 | 2835570 7489 11 | 0.000 % |
2064.39/2072.06 c 2072 | 11333 | 5513 3607676 68621795 | 3119127 11333 11 | 0.000 % |
2067.66/2075.36 c 2075 | 17099 | 5513 3607676 68621795 | 3431040 17099 11 | 0.000 % |
2071.92/2079.69 c 2080 | 25748 | 5513 3607676 68621795 | 3774144 25748 11 | 0.000 % |
2078.84/2086.61 c 2087 | 38723 | 5513 3607676 68621795 | 4151558 38723 12 | 0.000 % |
2087.27/2095.11 c 2095 | 58184 | 5513 3607676 68621795 | 4566714 58184 12 | 0.000 % |
2103.22/2111.24 c 2111 | 87377 | 5513 3607676 68621795 | 5023385 87377 12 | 0.000 % |
2134.81/2143.18 c 2143 | 131167 | 5513 3607676 68621795 | 5525724 131167 12 | 0.000 % |
2176.62/2185.37 c 2185 | 196854 | 5513 3607676 68621795 | 6078297 196854 13 | 0.000 % |
2275.78/2285.42 c 2285 | 295380 | 5513 3607676 68621795 | 6686126 295380 13 | 0.000 % |
2428.65/2439.73 c 2440 | 443169 | 5513 3607676 68621795 | 7354739 443169 13 | 0.000 % |
2675.00/2688.46 c 2688 | 664852 | 5513 3607676 68621795 | 8090213 664852 14 | 0.000 % |
3147.14/3165.04 c 3165 | 997378 | 5513 3607676 68621795 | 8899234 997378 15 | 0.000 % |
3600.06/3622.21 c ERROR INTERRUPTED
3600.06/3622.21 s UNKNOWN
3600.06/3622.34 c 3622 CPU 3596.07 (0.05 0.02 3596.02 4.07)
3600.06/3622.34 c 3622 END Sat Jul 12 07:20:06 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-1110823-1215836384/watcher-1110823-1215836384 -o /tmp/evaluation-result-1110823-1215836384/solver-1110823-1215836384 -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-1110823-1215836384.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.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=12268 CPUtime=0
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40337824 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 221954931301 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16599/statm: 3067 316 241 3 0 167 0
[startup+0.0791321 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 1108 0 0 0 5 2 0 0 18 0 1 0 40337824 17141760 1076 996147200 4194304 4206940 548682068528 18446744073709551615 221968544680 0 0 4224 0 0 0 0 17 1 0 0
/proc/16599/statm: 4185 1076 385 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.102133 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.302148 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.702182 s]
/proc/loadavg: 1.92 1.98 2.04 4/81 16599
/proc/meminfo: memFree=1853064/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.07
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50126 s]
/proc/loadavg: 1.85 1.97 2.04 4/92 16621
/proc/meminfo: memFree=1844336/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1296 7046 0 1 5 2 55 4 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864148 CPUtime=0.74
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 7930 0 1 0 71 3 0 0 19 0 9 0 40337898 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216037 7160 2540 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864148 CPUtime=0.44
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 2642 0 1 0 44 0 0 0 21 0 9 0 40337899 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864148 CPUtime=0.2
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 4263 0 0 0 19 1 0 0 16 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 102514544 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864148 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 332 0 0 0 7 0 0 0 16 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864148 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 884887552 7160 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 886244
[startup+3.1014 s]
/proc/loadavg: 1.85 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1808944/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1296 7046 0 1 5 2 55 4 15 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864400 CPUtime=2.33
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 21401 0 1 0 224 9 0 0 19 0 9 0 40337898 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216100 20306 2540 9 0 210675 0
[pid=16613/tid=16614] ppid=16612 vsize=864400 CPUtime=0.89
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 3230 0 1 0 88 1 0 0 25 0 9 0 40337899 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864400 CPUtime=1.35
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 17146 0 0 0 129 6 0 0 18 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 102731924 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864400 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 332 0 0 0 7 0 0 0 16 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864400 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885145600 20306 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 886496
[startup+6.30269 s]
/proc/loadavg: 1.85 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1696432/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864420 CPUtime=5.51
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 51479 0 1 0 528 23 0 0 19 0 9 0 40337898 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216105 50189 2540 9 0 210680 0
[pid=16613/tid=16614] ppid=16612 vsize=864420 CPUtime=1.95
/proc/16613/task/16614/stat : 16614 (java) S 16612 16599 16562 0 -1 64 4465 0 1 0 194 1 0 0 16 0 9 0 40337899 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864420 CPUtime=3.45
/proc/16613/task/16615/stat : 16615 (java) R 16612 16599 16562 0 -1 64 45985 0 0 0 325 20 0 0 25 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 102721847 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864420 CPUtime=0.07
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864420 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885166080 50189 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 886516
[startup+12.7023 s]
/proc/loadavg: 1.87 1.97 2.04 3/92 16621
/proc/meminfo: memFree=1645360/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864260 CPUtime=11.88
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 64840 0 1 0 1159 29 0 0 19 0 9 0 40337898 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216065 53279 2565 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864260 CPUtime=7.03
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 5728 0 1 0 701 2 0 0 25 0 9 0 40337899 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4126648900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864260 CPUtime=4.71
/proc/16613/task/16615/stat : 16615 (java) S 16612 16599 16562 0 -1 64 58063 0 0 0 446 25 0 0 16 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16618] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16618/stat : 16618 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16619] ppid=16612 vsize=864260 CPUtime=0.1
/proc/16613/task/16619/stat : 16619 (java) S 16612 16599 16562 0 -1 64 356 0 0 0 10 0 0 0 16 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16620] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16620/stat : 16620 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16621] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16621/stat : 16621 (java) S 16612 16599 16562 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40337902 885002240 53279 996147200 134512640 134550740 4294955920 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) 886356
[startup+25.5024 s]
/proc/loadavg: 1.89 1.97 2.03 3/92 16621
/proc/meminfo: memFree=1643888/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=0.66
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1297 7046 0 1 5 2 55 4 16 0 1 0 40337824 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1104 409 3 0 764 0
[pid=16612] ppid=16599 vsize=5356 CPUtime=0
/proc/16612/stat : 16612 (sh) S 16599 16599 16562 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40337898 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16612/statm: 1339 233 193 169 0 50 0
[pid=16613] ppid=16612 vsize=864260 CPUtime=24.61
/proc/16613/stat : 16613 (java) S 16612 16599 16562 0 -1 0 65394 0 1 0 2432 29 0 0 19 0 9 0 40337898 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16613/statm: 216065 53830 2565 9 0 210612 0
[pid=16613/tid=16614] ppid=16612 vsize=864260 CPUtime=19.74
/proc/16613/task/16614/stat : 16614 (java) R 16612 16599 16562 0 -1 64 5731 0 1 0 1972 2 0 0 25 0 9 0 40337899 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16615] ppid=16612 vsize=864260 CPUtime=4.73
/proc/16613/task/16615/stat : 16615 (java) S 16612 16599 16562 0 -1 64 58614 0 0 0 448 25 0 0 16 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16616] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16616/stat : 16616 (java) S 16612 16599 16562 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16613/tid=16617] ppid=16612 vsize=864260 CPUtime=0
/proc/16613/task/16617/stat : 16617 (java) S 16612 16599 16562 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40337900 885002240 53830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=535888 CPUtime=856.66
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 129869 0 0 0 85569 97 0 0 25 0 1 0 40543576 548749312 129817 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 133972 129817 74 151 0 133818 0
Current children cumulated CPU time (s) 2906.71
Current children cumulated vsize (KiB) 552628
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16664
/proc/meminfo: memFree=940280/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=540228 CPUtime=916.09
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 130977 0 0 0 91511 98 0 0 25 0 1 0 40543576 553193472 130925 996147200 134512640 135134323 4294956192 18446744073709551615 134532164 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 135057 130925 74 151 0 134903 0
Current children cumulated CPU time (s) 2966.14
Current children cumulated vsize (KiB) 556968
[startup+3042.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/75 16664
/proc/meminfo: memFree=936760/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=543736 CPUtime=975.54
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 131840 0 0 0 97454 100 0 0 25 0 1 0 40543576 556785664 131788 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 135934 131788 74 151 0 135780 0
Current children cumulated CPU time (s) 3025.59
Current children cumulated vsize (KiB) 560476
[startup+3102.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/75 16664
/proc/meminfo: memFree=932472/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=547928 CPUtime=1034.97
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 132904 0 0 0 103396 101 0 0 25 0 1 0 40543576 561078272 132852 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 136982 132852 74 151 0 136828 0
Current children cumulated CPU time (s) 3085.02
Current children cumulated vsize (KiB) 564668
[startup+3162.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/75 16664
/proc/meminfo: memFree=928312/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=552004 CPUtime=1094.41
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 133951 0 0 0 109338 103 0 0 25 0 1 0 40543576 565252096 133899 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 138001 133899 74 151 0 137847 0
Current children cumulated CPU time (s) 3144.46
Current children cumulated vsize (KiB) 568744
[startup+3222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/75 16664
/proc/meminfo: memFree=923832/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=556356 CPUtime=1153.86
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 135034 0 0 0 115281 105 0 0 25 0 1 0 40543576 569708544 134982 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 139089 134982 74 151 0 138935 0
Current children cumulated CPU time (s) 3203.91
Current children cumulated vsize (KiB) 573096
[startup+3282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/75 16664
/proc/meminfo: memFree=918840/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=563008 CPUtime=1213.29
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 136227 0 0 0 121223 106 0 0 25 0 1 0 40543576 576520192 136175 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 140752 136175 74 151 0 140598 0
Current children cumulated CPU time (s) 3263.34
Current children cumulated vsize (KiB) 579748
[startup+3342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/75 16664
/proc/meminfo: memFree=913848/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=568108 CPUtime=1272.73
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 137493 0 0 0 127166 107 0 0 25 0 1 0 40543576 581742592 137441 996147200 134512640 135134323 4294956192 18446744073709551615 134529701 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 142027 137441 74 151 0 141873 0
Current children cumulated CPU time (s) 3322.78
Current children cumulated vsize (KiB) 584848
[startup+3402.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16664
/proc/meminfo: memFree=910200/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=571656 CPUtime=1332.17
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 138386 0 0 0 133109 108 0 0 25 0 1 0 40543576 585375744 138334 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 142914 138334 74 151 0 142760 0
Current children cumulated CPU time (s) 3382.22
Current children cumulated vsize (KiB) 588396
[startup+3462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/75 16664
/proc/meminfo: memFree=907576/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=573920 CPUtime=1391.6
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 138979 0 0 0 139051 109 0 0 25 0 1 0 40543576 587694080 138927 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 143480 138927 74 151 0 143326 0
Current children cumulated CPU time (s) 3441.65
Current children cumulated vsize (KiB) 590660
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16664
/proc/meminfo: memFree=905336/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=576096 CPUtime=1451.04
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 139576 0 0 0 144994 110 0 0 25 0 1 0 40543576 589922304 139524 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144024 139524 74 151 0 143870 0
Current children cumulated CPU time (s) 3501.09
Current children cumulated vsize (KiB) 592836
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=903160/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=578044 CPUtime=1510.49
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 140035 0 0 0 150938 111 0 0 25 0 1 0 40543576 591917056 139983 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144511 139983 74 151 0 144357 0
Current children cumulated CPU time (s) 3560.54
Current children cumulated vsize (KiB) 594784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3622.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=902008/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=2050.05
/proc/16599/stat : 16599 (sugar++) S 16597 16599 16562 0 -1 4194304 1462 154039 0 2 5 2 204712 286 16 0 1 0 40337824 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 221963661410 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16599/statm: 4185 1113 414 3 0 764 0
[pid=16658] ppid=16599 vsize=579272 CPUtime=1550.01
/proc/16658/stat : 16658 (minisat-inc) R 16599 16599 16562 0 -1 4194304 140357 0 0 0 154889 112 0 0 25 0 1 0 40543576 593174528 140305 996147200 134512640 135134323 4294956192 18446744073709551615 134531938 0 0 4096 3 0 0 0 17 1 0 0
/proc/16658/statm: 144818 140305 74 151 0 144664 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 596012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3622.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 16666
/proc/meminfo: memFree=902008/2055920 swapFree=4192812/4192956
[pid=16599] ppid=16597 vsize=16740 CPUtime=3600.26
/proc/16599/stat : 16599 (sugar++) R 16597 16599 16562 0 -1 4194304 1488 294396 0 2 5 12 359602 407 18 0 1 0 40337824 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 221954937897 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16599/statm: 4185 1114 415 3 0 764 0
Current children cumulated CPU time (s) 3600.26
Current children cumulated vsize (KiB) 16740
Child status: 0
Real time (s): 3622.49
CPU time (s): 3600.38
CPU user time (s): 3596.08
CPU system time (s): 4.29735
CPU usage (%): 99.3895
Max. virtual memory (cumulated for all children) (KiB): 912972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.08
system time used= 4.29735
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295931
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= 52316
involuntary context switches= 92165
runsolver used 5.05923 second user time and 11.4593 second system time
The end
Begin job on node43 at 2008-07-12 06:19:44
IDJOB=1110823
IDBENCH=61157
IDSOLVER=367
FILE ID=node43/1110823-1215836384
PBS_JOBID= 7903396
Free space on /tmp= 66512 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg14-15_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-1110823-1215836384/watcher-1110823-1215836384 -o /tmp/evaluation-result-1110823-1215836384/solver-1110823-1215836384 -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-1110823-1215836384.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= aca7198b8bad2de4793a977967afcafb
RANDOM SEED=176969546
node43.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.216
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.216
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: 1853608 kB
Buffers: 26180 kB
Cached: 80984 kB
SwapCached: 140 kB
Active: 89996 kB
Inactive: 49964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1853608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1348 kB
Writeback: 0 kB
Mapped: 52796 kB
Slab: 47416 kB
Committed_AS: 193704 kB
PageTables: 1992 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= 66500 MiB
End job on node43 at 2008-07-12 07:20:08