0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Wed Jul 16 06:56:29 2008
0.00/0.04 c 0 PID 3173
0.00/0.04 c 0 HOST node8.alineos.net
0.00/0.04 c 1 CONVERTING HOME/instance-1126540-1216184189.xml TO HOME/temp.csp
0.00/0.04 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1126540-1216184189.xml' 'HOME/temp.csp'
0.03/0.65 c 1 3 domains, 241 variables, 0 predicates, 23 relations, 2242 constraints
0.03/0.70 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.70 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.03/0.78 c 1 Parsing HOME/temp.csp
0.59/0.95 c 1 parsed 2509 expressions
0.59/0.95 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.59/0.98 c 1 MAX CSP: 2242 constraints
0.59/0.98 c 1 Converting to clausal form CSP
0.87/1.03 c 1 converted 476 (10%) expressions
0.87/1.06 c 2 converted 951 (20%) expressions
0.98/1.14 c 2 converted 1427 (30%) expressions
0.98/1.16 c 2 converted 1902 (40%) expressions
0.98/1.18 c 2 converted 2377 (50%) expressions
0.98/1.19 c 2 converted 2853 (60%) expressions
1.07/1.21 c 2 converted 3328 (70%) expressions
1.07/1.22 c 2 converted 3804 (80%) expressions
1.07/1.23 c 2 converted 4279 (90%) expressions
1.27/1.45 c 2 converted 4754 (100%) expressions
1.27/1.45 c 2 CSP : 4725 integers, 0 booleans, 6725 clauses, largest domain size 3364
1.27/1.45 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.27/1.45 c 2 Propagation in CSP
1.38/1.54 c 2 2238 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.38/1.54 c 2 CSP : 4725 integers, 0 booleans, 6725 clauses, largest domain size 2243
1.38/1.54 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.38/1.55 c 2 Simplifing CSP by introducing new Boolean variables
1.38/1.55 c 2 CSP : 4725 integers, 0 booleans, 6725 clauses, largest domain size 2243
1.38/1.55 c 2 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.47/1.60 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.47/1.62 c 2 473 (10%) CSP integer variables are encoded (208 clauses, 2276 bytes)
1.47/1.62 c 2 945 (20%) CSP integer variables are encoded (208 clauses, 2276 bytes)
1.47/1.62 c 2 1418 (30%) CSP integer variables are encoded (208 clauses, 2276 bytes)
1.47/1.63 c 2 1890 (40%) CSP integer variables are encoded (208 clauses, 2276 bytes)
1.47/1.63 c 2 2363 (50%) CSP integer variables are encoded (208 clauses, 2276 bytes)
1.47/1.63 c 2 2835 (60%) CSP integer variables are encoded (4833 clauses, 62401 bytes)
1.47/1.66 c 2 3308 (70%) CSP integer variables are encoded (26137 clauses, 377714 bytes)
1.47/1.67 c 2 3780 (80%) CSP integer variables are encoded (36178 clauses, 528329 bytes)
1.47/1.68 c 2 4253 (90%) CSP integer variables are encoded (40169 clauses, 588194 bytes)
1.47/1.69 c 2 4725 (100%) CSP integer variables are encoded (45441 clauses, 667274 bytes)
1.58/1.75 c 2 673 (10%) CSP clauses are encoded (46434 clauses, 684620 bytes)
1.58/1.77 c 2 1345 (20%) CSP clauses are encoded (47580 clauses, 707636 bytes)
1.67/1.80 c 2 2018 (30%) CSP clauses are encoded (48649 clauses, 732226 bytes)
1.67/1.88 c 2 2690 (40%) CSP clauses are encoded (76535 clauses, 1233843 bytes)
2.17/2.38 c 3 3363 (50%) CSP clauses are encoded (373330 clauses, 6690592 bytes)
5.17/5.31 c 6 4035 (60%) CSP clauses are encoded (1674730 clauses, 34360681 bytes)
11.45/11.95 c 12 4708 (70%) CSP clauses are encoded (5150627 clauses, 107065508 bytes)
11.65/12.13 c 13 5380 (80%) CSP clauses are encoded (5248461 clauses, 109131212 bytes)
12.04/12.57 c 13 6053 (90%) CSP clauses are encoded (5495070 clauses, 114389595 bytes)
13.72/14.21 c 15 6725 (100%) CSP clauses are encoded (6422544 clauses, 134258314 bytes)
13.72/14.21 c 15 6725 CSP clauses encoded
13.72/14.21 c 15 Writing map file : HOME/temp.map
13.72/14.26 c 15 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.72/14.26 c 15 SAT : 50165 SAT variables, 6422544 SAT clauses, 134258314 bytes
13.72/14.26 c 15 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.81/14.30 c 15 OBJECTIVE minimize _COST
13.81/14.30 c 15 OBJECTIVE BOUND: 0 <= _COST <=
13.81/14.30 c 15 SEARCHING: _COST <= 1121
13.81/14.30 c 15 SOLVING HOME/temp.cnf
13.81/14.30 c 15 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
13.81/14.31 c 15 This is MiniSat 2.0 beta
13.81/14.31 c 15 WARNING: for repeatability, setting FPU to use double precision
13.81/14.31 c 15 ============================[ Problem Statistics ]=============================
13.81/14.31 c 15 | |
13.81/14.31 c 15 | Number of variables: 50165 |
13.81/14.31 c 15 | Number of clauses: 6422545 |
16.76/17.34 c 18 | Parsing time: 2.62 s |
25.49/26.11 c 27 ============================[ Search Statistics ]==============================
25.49/26.11 c 27 | Conflicts | ORIGINAL | LEARNT | Progress |
25.49/26.11 c 27 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
25.49/26.11 c 27 ===============================================================================
25.49/26.11 c 27 | 0 | 36713 4080224 12144666 | 1360074 0 nan | 0.000 % |
27.07/27.77 c 28 | 100 | 36710 4080224 12144666 | 1496082 98 26 | 26.847 % |
27.27/27.93 c 28 | 250 | 36710 4080224 12144666 | 1645690 248 27 | 26.848 % |
27.47/28.16 c 29 ===============================================================================
27.47/28.16 c 29 restarts : 3
27.47/28.16 c 29 conflicts : 285 (21 /sec)
27.47/28.16 c 29 decisions : 2085 (1.06 % random) (156 /sec)
27.47/28.16 c 29 propagations : 721578 (54071 /sec)
27.47/28.16 c 29 conflict literals : 7038 (16.29 % deleted)
27.47/28.16 c 29 Memory used : 252.30 MB
27.47/28.16 c 29 CPU time : 13.345 s
27.47/28.16 c 29
27.47/28.18 c 29 SATISFIABLE
27.57/28.22 c 29 FOUND: _COST <= 1121
27.57/28.22 s SATISFIABLE
27.57/28.22 c 29 DECODING HOME/temp.out WITH HOME/temp.map
27.57/28.22 c 29 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
27.61/28.34 c 29 Decoding HOME/temp.out
27.82/28.57 c 29 OBJECTIVE _COST 541
27.82/28.57 o 541
27.82/28.58 v 2 2 1 3 1 1 1 0 3 3 3 1 1 1 1 0 1 1 3 2 1 1 0 1 1 1 1 2 1 1 1 2 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 3 1 3 1 0 0 0 1 1 1 0 1 1 1 0 0 3 2 2 1 0 1 1 1 1 0 1 1 3 1 1 1 3 3 3 1 1 1 3 3 1 1 1 1 1 1 1 1 1 0 1 1 3 3 1 2 0 1 1 0 1 1 1 1 3 1 1 2 1 3 3 1 3 0 1 2 0 1 1 1 2 1 1 1 0 1 1 1 1 1 0 3 1 1 1 1 1 0 1 1 2 1 1 1 1 3 1 3 2 1 3 1 3 1 3 1 1 1 1 0 1 2 1 1 3 0 3 1 1 1 1 1 2 1 2 1 3 3 0 3 0 3 3 1 1 3 2 1 3 3 1 3 3 3 3 2 3 3 3 2 1 1 1 1 0 2 1 3 1 1 1 1 2 1 0 1 2 1 1 2 1 2 2 1 1 0 -1
27.82/28.58 c 29 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
27.91/28.63 c 29 OBJECTIVE BOUND: 0 <= _COST <= 541
27.91/28.63 c 29 SEARCHING: _COST <= 270
27.91/28.63 c 29 SOLVING HOME/temp.cnf
27.91/28.63 c 29 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
27.91/28.63 c 29 This is MiniSat 2.0 beta
27.91/28.63 c 29 WARNING: for repeatability, setting FPU to use double precision
27.91/28.63 c 29 ============================[ Problem Statistics ]=============================
27.91/28.63 c 29 | |
27.91/28.64 c 29 | Number of variables: 50165 |
27.91/28.64 c 29 | Number of clauses: 6422545 |
31.03/31.84 c 32 | Parsing time: 2.79 s |
43.42/44.37 c 45 ============================[ Search Statistics ]==============================
43.42/44.37 c 45 | Conflicts | ORIGINAL | LEARNT | Progress |
43.42/44.37 c 45 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
43.42/44.37 c 45 ===============================================================================
43.42/44.37 c 45 | 0 | 24706 1435847 4246705 | 478615 0 nan | 0.000 % |
44.12/45.03 c 45 | 101 | 24703 1435847 4246705 | 526477 100 17 | 50.766 % |
44.42/45.35 c 46 | 252 | 24703 1435847 4246705 | 579124 251 31 | 50.766 % |
44.51/45.47 c 46 | 480 | 24703 1435847 4246705 | 637037 479 38 | 50.766 % |
45.21/46.13 c 47 | 819 | 24703 1435847 4246705 | 700741 818 40 | 50.766 % |
45.21/46.19 c 47 ===============================================================================
45.21/46.19 c 47 restarts : 5
45.21/46.19 c 47 conflicts : 858 (50 /sec)
45.21/46.19 c 47 decisions : 3335 (0.72 % random) (196 /sec)
45.21/46.19 c 47 propagations : 1704163 (100195 /sec)
45.21/46.19 c 47 conflict literals : 33588 (16.12 % deleted)
45.21/46.19 c 47 Memory used : 258.19 MB
45.21/46.19 c 47 CPU time : 17.0084 s
45.21/46.19 c 47
45.31/46.21 c 47 SATISFIABLE
45.31/46.25 c 47 FOUND: _COST <= 270
45.31/46.25 c 47 DECODING HOME/temp.out WITH HOME/temp.map
45.31/46.25 c 47 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
45.37/46.33 c 47 Decoding HOME/temp.out
45.37/46.53 c 47 OBJECTIVE _COST 270
45.37/46.53 o 270
45.37/46.54 v 2 2 1 2 1 0 0 1 3 2 3 0 0 1 1 1 1 1 2 1 1 1 0 0 1 1 1 2 0 3 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 3 1 1 1 0 1 0 3 1 2 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 3 3 1 1 1 1 3 0 0 3 1 0 1 1 3 3 1 1 1 3 1 1 0 1 1 0 0 1 0 1 1 0 1 3 3 1 3 2 3 1 3 0 1 1 1 2 0 1 3 2 3 3 1 1 3 2 2 1 1 1 3 1 0 1 1 1 1 3 1 1 1 2 3 1 0 1 1 1 3 1 0 3 0 0 1 1 1 1 3 1 1 3 1 1 0 2 1 1 1 1 3 1 3 1 1 3 1 3 1 0 0 1 0 3 1 3 1 3 2 1 3 3 3 1 0 1 0 0 3 1 3 1 3 3 3 2 1 3 3 0 3 1 1 1 1 2 1 3 2 1 1 1 1 0 3 2 1 2 0 1 1 2 1 1 0 1 0 -1
45.37/46.55 c 47 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
45.37/46.57 c 47 OBJECTIVE BOUND: 0 <= _COST <= 270
45.37/46.57 c 47 SEARCHING: _COST <= 135
45.37/46.57 c 47 SOLVING HOME/temp.cnf
45.37/46.57 c 47 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
45.37/46.57 c 47 This is MiniSat 2.0 beta
45.37/46.57 c 47 WARNING: for repeatability, setting FPU to use double precision
45.37/46.57 c 47 ============================[ Problem Statistics ]=============================
45.37/46.57 c 47 | |
45.37/46.57 c 47 | Number of variables: 50165 |
45.37/46.57 c 47 | Number of clauses: 6422545 |
48.84/49.83 c 50 | Parsing time: 2.83 s |
61.04/62.13 c 63 ============================[ Search Statistics ]==============================
61.04/62.13 c 63 | Conflicts | ORIGINAL | LEARNT | Progress |
61.04/62.13 c 63 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
61.04/62.13 c 63 ===============================================================================
61.04/62.13 c 63 | 0 | 21524 774741 2272798 | 258247 0 nan | 0.000 % |
61.54/62.64 c 63 | 100 | 21520 774741 2272798 | 284071 99 13 | 57.125 % |
61.64/62.77 c 63 | 251 | 21520 774741 2272798 | 312478 250 14 | 57.126 % |
61.84/62.94 c 63 | 476 | 21520 774741 2272798 | 343726 475 13 | 57.125 % |
62.13/63.25 c 64 | 814 | 21520 774741 2272798 | 378099 813 13 | 57.125 % |
62.63/63.77 c 64 | 1320 | 21520 774741 2272798 | 415909 1319 12 | 57.125 % |
63.32/64.44 c 65 | 2079 | 21519 774741 2272798 | 457500 2077 16 | 57.189 % |
64.41/65.55 c 66 | 3219 | 21476 767485 2251185 | 503250 3217 16 | 57.189 % |
66.00/67.13 c 68 | 4927 | 21456 765493 2245278 | 553575 4924 16 | 57.229 % |
68.38/69.59 c 70 | 7490 | 21456 765493 2245278 | 608932 7487 17 | 57.229 % |
72.55/73.73 c 74 | 11335 | 21456 765493 2245278 | 669826 11332 18 | 57.229 % |
78.89/80.19 c 81 | 17101 | 21456 765493 2245278 | 736808 17098 19 | 57.229 % |
89.40/90.87 c 91 | 25750 | 21456 765493 2245278 | 810489 25747 18 | 57.229 % |
104.77/106.39 c 107 | 38725 | 21400 754512 2212503 | 891538 38712 19 | 57.341 % |
133.32/135.11 c 136 | 58187 | 21400 754512 2212503 | 980692 58174 20 | 57.341 % |
180.80/183.07 c 184 | 87380 | 21400 754512 2212503 | 1078761 87367 23 | 57.341 % |
253.07/255.90 c 256 | 131169 | 21400 754512 2212503 | 1186637 131156 21 | 57.341 % |
403.24/407.44 c 408 | 196853 | 21400 754512 2212503 | 1305301 196840 33 | 57.341 % |
700.65/707.47 c 708 | 295379 | 21400 754512 2212503 | 1435831 295366 33 | 57.341 % |
1232.11/1243.57 c 1244 | 443169 | 21400 754512 2212503 | 1579415 443156 34 | 57.341 % |
1968.12/1981.71 c 1982 | 664854 | 21400 754512 2212503 | 1737356 664841 37 | 57.341 % |
3407.21/3427.86 c 3428 | 997379 | 21368 750343 2200100 | 1911092 997364 51 | 57.405 % |
3600.06/3621.61 c ERROR INTERRUPTED
3600.06/3621.66 c 3622 CPU 43.59 (0.04 0.01 43.55 2.06)
3600.06/3621.66 c 3622 END Wed Jul 16 07:56:51 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-1126540-1216184189/watcher-1126540-1216184189 -o /tmp/evaluation-result-1126540-1216184189/solver-1126540-1216184189 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1126540-1216184189.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: 3.08 3.08 2.83 4/81 3173
/proc/meminfo: memFree=1810800/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=12268 CPUtime=0
/proc/3173/stat : 3173 (sugar) R 3171 3173 2823 0 -1 4194304 348 0 0 0 0 0 0 0 21 0 1 0 75122022 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 228706712165 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/3173/statm: 3067 316 241 3 0 167 0
[startup+0.0626131 s]
/proc/loadavg: 3.08 3.08 2.83 4/81 3173
/proc/meminfo: memFree=1810800/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.03
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 898 127 0 0 3 0 0 0 20 0 1 0 75122022 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3173/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101614 s]
/proc/loadavg: 3.08 3.08 2.83 4/81 3173
/proc/meminfo: memFree=1810800/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.03
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 898 127 0 0 3 0 0 0 20 0 1 0 75122022 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3173/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301646 s]
/proc/loadavg: 3.08 3.08 2.83 4/81 3173
/proc/meminfo: memFree=1810800/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.03
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 898 127 0 0 3 0 0 0 20 0 1 0 75122022 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3173/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701717 s]
/proc/loadavg: 3.08 3.08 2.83 4/81 3173
/proc/meminfo: memFree=1810800/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.03
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 916 127 0 0 3 0 0 0 15 0 1 0 75122022 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50286 s]
/proc/loadavg: 3.08 3.08 2.83 3/92 3195
/proc/meminfo: memFree=1801488/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.6
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 974 4960 0 1 3 1 53 3 15 0 1 0 75122022 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3400 797 370 3 0 500 0
[pid=3186] ppid=3173 vsize=5356 CPUtime=0
/proc/3186/stat : 3186 (sh) S 3173 3173 2823 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75122093 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3186/statm: 1339 233 193 169 0 50 0
[pid=3187] ppid=3186 vsize=868352 CPUtime=0.78
/proc/3187/stat : 3187 (java) S 3186 3173 2823 0 -1 0 7635 0 1 0 74 4 0 0 18 0 9 0 75122093 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3187/statm: 217088 6873 2539 9 0 211663 0
[pid=3187/tid=3188] ppid=3186 vsize=868352 CPUtime=0.46
/proc/3187/task/3188/stat : 3188 (java) R 3186 3173 2823 0 -1 64 2666 0 1 0 44 2 0 0 20 0 9 0 75122094 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4126974826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3189] ppid=3186 vsize=868352 CPUtime=0.1
/proc/3187/task/3189/stat : 3189 (java) S 3186 3173 2823 0 -1 64 2809 0 0 0 10 0 0 0 16 0 9 0 75122095 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3190] ppid=3186 vsize=868352 CPUtime=0
/proc/3187/task/3190/stat : 3190 (java) S 3186 3173 2823 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75122095 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3191] ppid=3186 vsize=868352 CPUtime=0
/proc/3187/task/3191/stat : 3191 (java) S 3186 3173 2823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75122095 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3192] ppid=3186 vsize=868352 CPUtime=0
/proc/3187/task/3192/stat : 3192 (java) S 3186 3173 2823 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75122097 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3193] ppid=3186 vsize=868352 CPUtime=0.2
/proc/3187/task/3193/stat : 3193 (java) S 3186 3173 2823 0 -1 64 1467 0 0 0 19 1 0 0 16 0 9 0 75122097 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3194] ppid=3186 vsize=868352 CPUtime=0
/proc/3187/task/3194/stat : 3194 (java) S 3186 3173 2823 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75122097 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3195] ppid=3186 vsize=868352 CPUtime=0
/proc/3187/task/3195/stat : 3195 (java) S 3186 3173 2823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75122097 889192448 6873 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 887308
[startup+3.10114 s]
/proc/loadavg: 3.08 3.08 2.83 3/92 3195
/proc/meminfo: memFree=1787216/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.6
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 974 4960 0 1 3 1 53 3 15 0 1 0 75122022 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3400 797 370 3 0 500 0
[pid=3186] ppid=3173 vsize=5356 CPUtime=0
/proc/3186/stat : 3186 (sh) S 3173 3173 2823 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75122093 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3186/statm: 1339 233 193 169 0 50 0
[pid=3187] ppid=3186 vsize=868464 CPUtime=2.37
/proc/3187/stat : 3187 (java) S 3186 3173 2823 0 -1 0 8082 0 1 0 227 10 0 0 18 0 9 0 75122093 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3187/statm: 217116 6976 2564 9 0 211663 0
[pid=3187/tid=3188] ppid=3186 vsize=868464 CPUtime=1.87
/proc/3187/task/3188/stat : 3188 (java) R 3186 3173 2823 0 -1 64 3043 0 1 0 181 6 0 0 25 0 9 0 75122094 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4127084353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3189] ppid=3186 vsize=868464 CPUtime=0.22
/proc/3187/task/3189/stat : 3189 (java) S 3186 3173 2823 0 -1 64 2841 0 0 0 20 2 0 0 16 0 9 0 75122095 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3190] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3190/stat : 3190 (java) S 3186 3173 2823 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75122095 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3191] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3191/stat : 3191 (java) S 3186 3173 2823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75122095 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3192] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3192/stat : 3192 (java) S 3186 3173 2823 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75122097 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3193] ppid=3186 vsize=868464 CPUtime=0.26
/proc/3187/task/3193/stat : 3193 (java) S 3186 3173 2823 0 -1 64 1505 0 0 0 25 1 0 0 16 0 9 0 75122097 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3194] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3194/stat : 3194 (java) S 3186 3173 2823 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75122097 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3195] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3195/stat : 3195 (java) S 3186 3173 2823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75122097 889307136 6976 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 887420
[startup+6.30269 s]
/proc/loadavg: 3.08 3.07 2.83 3/92 3195
/proc/meminfo: memFree=1755152/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.6
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 974 4960 0 1 3 1 53 3 16 0 1 0 75122022 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3400 797 370 3 0 500 0
[pid=3186] ppid=3173 vsize=5356 CPUtime=0
/proc/3186/stat : 3186 (sh) S 3173 3173 2823 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75122093 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3186/statm: 1339 233 193 169 0 50 0
[pid=3187] ppid=3186 vsize=868464 CPUtime=5.56
/proc/3187/stat : 3187 (java) S 3186 3173 2823 0 -1 0 9149 0 1 0 517 39 0 0 18 0 9 0 75122093 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3187/statm: 217116 6978 2564 9 0 211663 0
[pid=3187/tid=3188] ppid=3186 vsize=868464 CPUtime=4.8
/proc/3187/task/3188/stat : 3188 (java) R 3186 3173 2823 0 -1 64 4108 0 1 0 451 29 0 0 25 0 9 0 75122094 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 102064721 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3189] ppid=3186 vsize=868464 CPUtime=0.47
/proc/3187/task/3189/stat : 3189 (java) S 3186 3173 2823 0 -1 64 2841 0 0 0 40 7 0 0 16 0 9 0 75122095 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3190] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3190/stat : 3190 (java) S 3186 3173 2823 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75122095 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3191] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3191/stat : 3191 (java) S 3186 3173 2823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75122095 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3192] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3192/stat : 3192 (java) S 3186 3173 2823 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75122097 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3193] ppid=3186 vsize=868464 CPUtime=0.26
/proc/3187/task/3193/stat : 3193 (java) S 3186 3173 2823 0 -1 64 1507 0 0 0 25 1 0 0 17 0 9 0 75122097 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3194] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3194/stat : 3194 (java) S 3186 3173 2823 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75122097 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3195] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3195/stat : 3195 (java) S 3186 3173 2823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75122097 889307136 6978 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 887420
[startup+12.7019 s]
/proc/loadavg: 3.07 3.07 2.83 4/92 3195
/proc/meminfo: memFree=1682384/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13600 CPUtime=0.6
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 974 4960 0 1 3 1 53 3 15 0 1 0 75122022 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3173/statm: 3400 797 370 3 0 500 0
[pid=3186] ppid=3173 vsize=5356 CPUtime=0
/proc/3186/stat : 3186 (sh) S 3173 3173 2823 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75122093 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3186/statm: 1339 233 193 169 0 50 0
[pid=3187] ppid=3186 vsize=868464 CPUtime=11.64
/proc/3187/stat : 3187 (java) S 3186 3173 2823 0 -1 0 11122 0 1 0 1073 91 0 0 18 0 9 0 75122093 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3187/statm: 217116 6984 2565 9 0 211663 0
[pid=3187/tid=3188] ppid=3186 vsize=868464 CPUtime=10.42
/proc/3187/task/3188/stat : 3188 (java) R 3186 3173 2823 0 -1 64 6075 0 1 0 971 71 0 0 25 0 9 0 75122094 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3187/tid=3189] ppid=3186 vsize=868464 CPUtime=0.91
/proc/3187/task/3189/stat : 3189 (java) S 3186 3173 2823 0 -1 64 2841 0 0 0 74 17 0 0 15 0 9 0 75122095 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3187/tid=3190] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3190/stat : 3190 (java) S 3186 3173 2823 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75122095 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3191] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3191/stat : 3191 (java) S 3186 3173 2823 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75122095 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3192] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3192/stat : 3192 (java) S 3186 3173 2823 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75122097 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3193] ppid=3186 vsize=868464 CPUtime=0.27
/proc/3187/task/3193/stat : 3193 (java) S 3186 3173 2823 0 -1 64 1513 0 0 0 26 1 0 0 16 0 9 0 75122097 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3187/tid=3194] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3194/stat : 3194 (java) S 3186 3173 2823 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75122097 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3187/tid=3195] ppid=3186 vsize=868464 CPUtime=0
/proc/3187/task/3195/stat : 3195 (java) S 3186 3173 2823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75122097 889307136 6984 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 887420
[startup+25.5011 s]
/proc/loadavg: 3.05 3.07 2.83 4/84 3197
/proc/meminfo: memFree=1424144/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=13.81
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1125 16887 0 2 4 1 1263 113 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3196] ppid=3173 vsize=5356 CPUtime=0
/proc/3196/stat : 3196 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 16 0 1 0 75123453 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3196/statm: 1339 232 193 169 0 50 0
[pid=3197] ppid=3196 vsize=258348 CPUtime=11.09
/proc/3197/stat : 3197 (minisat) R 3196 3173 2823 0 -1 4194304 62803 0 0 0 1071 38 0 0 25 0 1 0 75123453 264548352 62789 996147200 134512640 135127466 4294956256 18446744073709551615 134523510 0 0 4096 3 0 0 0 17 0 0 0
/proc/3197/statm: 64587 62789 71 150 0 64434 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 277568
[startup+28.6066 s]
/proc/loadavg: 3.04 3.07 2.84 4/92 3207
/proc/meminfo: memFree=1669648/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=27.61
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1192 79993 0 2 4 1 2600 156 15 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=357328 CPUtime=3157.04
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 87144 0 0 0 315635 69 0 0 25 0 1 0 75126680 365903872 87130 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 89332 87130 76 150 0 89179 0
Current children cumulated CPU time (s) 3202.7
Current children cumulated vsize (KiB) 376548
[startup+3282.3 s]
/proc/loadavg: 2.58 2.59 2.60 3/84 3298
/proc/meminfo: memFree=1345288/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=361140 CPUtime=3216.76
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 88030 0 0 0 321606 70 0 0 25 0 1 0 75126680 369807360 88016 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 90285 88016 76 150 0 90132 0
Current children cumulated CPU time (s) 3262.42
Current children cumulated vsize (KiB) 380360
[startup+3342.3 s]
/proc/loadavg: 2.64 2.60 2.60 3/84 3298
/proc/meminfo: memFree=1341128/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=365356 CPUtime=3276.46
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 89063 0 0 0 327575 71 0 0 25 0 1 0 75126680 374124544 89049 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 91339 89049 76 150 0 91186 0
Current children cumulated CPU time (s) 3322.12
Current children cumulated vsize (KiB) 384576
[startup+3402.31 s]
/proc/loadavg: 2.61 2.59 2.59 3/84 3298
/proc/meminfo: memFree=1337672/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=368732 CPUtime=3336.18
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 89907 0 0 0 333546 72 0 0 25 0 1 0 75126680 377581568 89893 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 92183 89893 76 150 0 92030 0
Current children cumulated CPU time (s) 3381.84
Current children cumulated vsize (KiB) 387952
[startup+3462.3 s]
/proc/loadavg: 2.67 2.62 2.60 3/84 3298
/proc/meminfo: memFree=1334856/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=371588 CPUtime=3395.87
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 90601 0 0 0 339515 72 0 0 25 0 1 0 75126680 380506112 90587 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 92897 90587 76 150 0 92744 0
Current children cumulated CPU time (s) 3441.53
Current children cumulated vsize (KiB) 390808
[startup+3522.3 s]
/proc/loadavg: 2.66 2.62 2.60 3/84 3298
/proc/meminfo: memFree=1332552/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=373700 CPUtime=3455.59
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 91146 0 0 0 345486 73 0 0 25 0 1 0 75126680 382668800 91132 996147200 134512640 135127466 4294956256 18446744073709551615 134528568 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 93425 91132 76 150 0 93272 0
Current children cumulated CPU time (s) 3501.25
Current children cumulated vsize (KiB) 392920
[startup+3582.3 s]
/proc/loadavg: 2.80 2.66 2.61 3/84 3298
/proc/meminfo: memFree=1330568/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=375688 CPUtime=3515.29
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 91672 0 0 0 351456 73 0 0 25 0 1 0 75126680 384704512 91658 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 93922 91658 76 150 0 93769 0
Current children cumulated CPU time (s) 3560.95
Current children cumulated vsize (KiB) 394908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.6 s]
/proc/loadavg: 2.76 2.67 2.62 3/84 3298
/proc/meminfo: memFree=1329160/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=377012 CPUtime=3554.4
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 92003 0 0 0 355367 73 0 0 25 0 1 0 75126680 386060288 91989 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 94253 91989 76 150 0 94100 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 396232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3621.6 s]
/proc/loadavg: 2.76 2.67 2.62 3/84 3298
/proc/meminfo: memFree=1329160/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.66
/proc/3173/stat : 3173 (sugar) S 3171 3173 2823 0 -1 4194304 1360 152610 0 4 4 1 4355 206 16 0 1 0 75122022 14196736 872 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3173/statm: 3466 872 374 3 0 566 0
[pid=3220] ppid=3173 vsize=5356 CPUtime=0
/proc/3220/stat : 3220 (sh) S 3173 3173 2823 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 75126680 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3220/statm: 1339 232 193 169 0 50 0
[pid=3221] ppid=3220 vsize=377012 CPUtime=3554.4
/proc/3221/stat : 3221 (minisat) R 3220 3173 2823 0 -1 4194304 92003 0 0 0 355367 73 0 0 25 0 1 0 75126680 386060288 91989 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/3221/statm: 94253 91989 76 150 0 94100 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 396232
# WARNING:
# current cumulated CPU time (45.72 s) is less than in the last sample (3600.06 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3554.34 s) to the 'lost time'.
[startup+3621.72 s]
/proc/loadavg: 2.76 2.67 2.62 3/84 3298
/proc/meminfo: memFree=1329160/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.72
/proc/3173/stat : 3173 (sugar) R 3171 3173 2823 0 -1 4194304 1394 152887 0 4 4 7 4355 206 16 0 1 0 75122022 14196736 874 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 1 0 0
/proc/3173/statm: 3466 874 375 3 0 566 0
Current children cumulated CPU time (s) 45.72
Current children cumulated vsize (KiB) 13864
Solver just ended. Dumping a history of the last processes samples
[startup+3621.72 s]
/proc/loadavg: 2.76 2.67 2.62 3/84 3298
/proc/meminfo: memFree=1329160/2055920 swapFree=4192812/4192956
[pid=3173] ppid=3171 vsize=13864 CPUtime=45.72
/proc/3173/stat : 3173 (sugar) R 3171 3173 2823 0 -1 4194304 1394 152887 0 4 4 7 4355 206 16 0 1 0 75122022 14196736 874 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 1 0 0
/proc/3173/statm: 3466 874 375 3 0 566 0
Current children cumulated CPU time (s) 45.72
Current children cumulated vsize (KiB) 13864
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3554.34
# lost CPU user time (s): 3553.67
# lost CPU system time (s): 0.67
Real time (s): 3621.73
CPU time (s): 3600.1
CPU user time (s): 3597.27
CPU system time (s): 2.82567
CPU usage (%): 99.4026
Max. virtual memory (cumulated for all children) (KiB): 887420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6004
system time used= 2.15567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154312
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30722
involuntary context switches= 31842
runsolver used 3.78242 second user time and 10.0535 second system time
The end
Begin job on node8 at 2008-07-16 06:56:29
IDJOB=1126540
IDBENCH=64257
IDSOLVER=368
FILE ID=node8/1126540-1216184189
PBS_JOBID= 7905882
Free space on /tmp= 66556 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/spot5/normalized-spot5-505_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126540-1216184189/watcher-1126540-1216184189 -o /tmp/evaluation-result-1126540-1216184189/solver-1126540-1216184189 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1126540-1216184189.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 61f4d43c85f192bf38657d944fe37a15
RANDOM SEED=2009335816
node8.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.268
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.268
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: 1811472 kB
Buffers: 7432 kB
Cached: 56080 kB
SwapCached: 0 kB
Active: 156880 kB
Inactive: 22576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1580 kB
Writeback: 0 kB
Mapped: 136284 kB
Slab: 49820 kB
Committed_AS: 1235320 kB
PageTables: 2120 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node8 at 2008-07-16 07:56:53