0.00/0.14 c 0 Sugar v1-13 + HOME/minisat
0.00/0.14 c 0 BEGIN Sat Jul 12 01:50:35 2008
0.00/0.14 c 0 PID 16756
0.00/0.14 c 0 HOST node67.alineos.net
0.00/0.14 c 0 CONVERTING HOME/instance-1110332-1215820235.xml TO HOME/temp.csp
0.00/0.14 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110332-1215820235.xml' 'HOME/temp.csp'
0.03/0.83 c 1 1 domains, 90 variables, 0 predicates, 2 relations, 19 constraints
0.03/0.84 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.84 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.69/0.92 c 1 Parsing HOME/temp.csp
0.93/1.12 c 1 parsed 112 expressions
0.93/1.12 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.12 c 1 MAX CSP: 19 constraints
0.93/1.12 c 1 Converting to clausal form CSP
0.93/1.14 c 1 converted 14 (10%) expressions
0.93/1.14 c 1 converted 27 (20%) expressions
0.93/1.14 c 1 converted 41 (30%) expressions
0.93/1.15 c 1 converted 54 (40%) expressions
0.93/1.15 c 1 converted 67 (50%) expressions
0.93/1.15 c 1 converted 81 (60%) expressions
0.93/1.16 c 1 converted 94 (70%) expressions
1.72/1.94 c 2 converted 108 (80%) expressions
2.41/2.63 c 3 converted 121 (90%) expressions
2.71/2.96 c 3 converted 134 (100%) expressions
2.71/2.96 c 3 CSP : 128 integers, 0 booleans, 56 clauses, largest domain size 29
2.71/2.96 c 3 Heap : 57 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.71/2.96 c 3 Propagation in CSP
2.71/2.97 c 3 16 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.71/2.97 c 3 CSP : 128 integers, 0 booleans, 56 clauses, largest domain size 26
2.71/2.97 c 3 Heap : 57 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.71/2.97 c 3 Simplifing CSP by introducing new Boolean variables
2.71/2.97 c 3 CSP : 128 integers, 0 booleans, 56 clauses, largest domain size 26
2.71/2.97 c 3 Heap : 57 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.00/3.28 c 4 Encoding CSP to SAT : HOME/temp.cnf
3.00/3.30 c 4 13 (10%) CSP integer variables are encoded (312 clauses, 3288 bytes)
3.10/3.31 c 4 26 (20%) CSP integer variables are encoded (624 clauses, 6720 bytes)
3.10/3.31 c 4 39 (30%) CSP integer variables are encoded (936 clauses, 10152 bytes)
3.10/3.31 c 4 52 (40%) CSP integer variables are encoded (1248 clauses, 14161 bytes)
3.10/3.31 c 4 64 (50%) CSP integer variables are encoded (1536 clauses, 17905 bytes)
3.10/3.31 c 4 77 (60%) CSP integer variables are encoded (1848 clauses, 21961 bytes)
3.10/3.31 c 4 90 (70%) CSP integer variables are encoded (2160 clauses, 26017 bytes)
3.10/3.31 c 4 103 (80%) CSP integer variables are encoded (2160 clauses, 26017 bytes)
3.10/3.31 c 4 116 (90%) CSP integer variables are encoded (2189 clauses, 26394 bytes)
3.10/3.31 c 4 128 (100%) CSP integer variables are encoded (2284 clauses, 27629 bytes)
103.51/104.79 c 105 6 (10%) CSP clauses are encoded (404098 clauses, 26838451 bytes)
197.60/199.75 c 200 12 (20%) CSP clauses are encoded (791412 clauses, 52721325 bytes)
267.01/269.86 c 270 17 (30%) CSP clauses are encoded (1090007 clauses, 75435807 bytes)
294.24/297.31 c 298 23 (40%) CSP clauses are encoded (1209461 clauses, 85156312 bytes)
294.24/297.31 c 298 28 (50%) CSP clauses are encoded (1209492 clauses, 85156798 bytes)
294.24/297.31 c 298 34 (60%) CSP clauses are encoded (1209522 clauses, 85157262 bytes)
294.24/297.31 c 298 40 (70%) CSP clauses are encoded (1209614 clauses, 85158786 bytes)
294.24/297.31 c 298 45 (80%) CSP clauses are encoded (1209647 clauses, 85159302 bytes)
294.24/297.32 c 298 51 (90%) CSP clauses are encoded (1209805 clauses, 85161774 bytes)
294.24/297.32 c 298 56 (100%) CSP clauses are encoded (1210135 clauses, 85167354 bytes)
294.24/297.32 c 298 56 CSP clauses encoded
294.24/297.32 c 298 Writing map file : HOME/temp.map
294.24/297.32 c 298 Heap : 73 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
294.24/297.32 c 298 SAT : 2412 SAT variables, 1210135 SAT clauses, 85167354 bytes
294.24/297.32 c 298 Heap : 73 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
294.24/297.39 c 298 OBJECTIVE minimize _COST
294.31/297.42 c 298 OBJECTIVE BOUND: 0 <= _COST <=
294.31/297.42 c 298 SEARCHING: _COST <= 10
294.31/297.42 c 298 SOLVING HOME/temp.cnf
294.31/297.42 c 298 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
294.31/297.43 c 298 This is MiniSat 2.0 beta
294.31/297.43 c 298 WARNING: for repeatability, setting FPU to use double precision
294.31/297.43 c 298 ============================[ Problem Statistics ]=============================
294.31/297.43 c 298 | |
294.31/297.43 c 298 | Number of variables: 2412 |
294.31/297.43 c 298 | Number of clauses: 1210136 |
296.12/299.41 c 300 | Parsing time: 1.67 s |
296.22/299.52 c 300 ============================[ Search Statistics ]==============================
296.22/299.52 c 300 | Conflicts | ORIGINAL | LEARNT | Progress |
296.22/299.52 c 300 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
296.22/299.52 c 300 ===============================================================================
296.22/299.52 c 300 | 0 | 2367 1209867 16557380 | 403289 0 nan | 0.000 % |
296.22/299.56 c 300 | 100 | 2367 1209867 16557380 | 443617 100 6 | 1.866 % |
296.32/299.64 c 300 | 251 | 2367 1209867 16557380 | 487979 251 7 | 1.866 % |
296.43/299.79 c 300 | 477 | 2367 1209867 16557380 | 536777 477 7 | 1.866 % |
296.52/299.87 c 300 | 815 | 2367 1209867 16557380 | 590455 815 8 | 1.866 % |
296.72/300.04 c 300 | 1321 | 2367 1209867 16557380 | 649500 1321 8 | 1.866 % |
296.92/300.25 c 301 | 2080 | 2367 1209867 16557380 | 714451 2080 10 | 1.866 % |
297.81/301.12 c 301 | 3219 | 2367 1209867 16557380 | 785896 3219 10 | 1.866 % |
298.20/301.58 c 302 | 4928 | 2367 1209867 16557380 | 864485 4928 11 | 1.866 % |
298.79/302.14 c 302 | 7491 | 2367 1209867 16557380 | 950934 7491 11 | 1.866 % |
300.88/304.28 c 305 | 11336 | 2367 1209867 16557380 | 1046027 11336 11 | 1.866 % |
302.37/305.75 c 306 | 17103 | 2367 1209867 16557380 | 1150630 17103 11 | 1.866 % |
305.44/308.89 c 309 | 25752 | 2367 1209867 16557380 | 1265693 25752 11 | 1.866 % |
308.60/312.01 c 312 | 38726 | 2367 1209867 16557380 | 1392263 38726 11 | 1.866 % |
315.14/318.60 c 319 | 58188 | 2367 1209867 16557380 | 1531489 58188 11 | 1.866 % |
324.84/328.45 c 329 | 87380 | 2367 1209867 16557380 | 1684638 87380 12 | 1.866 % |
356.64/360.40 c 361 | 131170 | 2367 1209867 16557380 | 1853102 131170 14 | 1.866 % |
401.30/405.17 c 405 | 196854 | 2367 1209867 16557380 | 2038412 196854 14 | 1.866 % |
445.48/449.31 c 450 ===============================================================================
445.48/449.31 c 450 restarts : 18
445.48/449.31 c 450 conflicts : 249620 (1655 /sec)
445.48/449.31 c 450 decisions : 336020 (1.46 % random) (2228 /sec)
445.48/449.31 c 450 propagations : 6612782 (43851 /sec)
445.48/449.31 c 450 conflict literals : 3698732 (22.42 % deleted)
445.48/449.31 c 450 Memory used : 142.22 MB
445.48/449.31 c 450 CPU time : 150.801 s
445.48/449.31 c 450
445.48/449.31 c 450 SATISFIABLE
445.48/449.33 c 450 FOUND: _COST <= 10
445.48/449.33 s SATISFIABLE
445.48/449.33 c 450 DECODING HOME/temp.out WITH HOME/temp.map
445.48/449.33 c 450 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
445.54/449.41 c 450 Decoding HOME/temp.out
445.54/449.44 c 450 OBJECTIVE _COST 10
445.54/449.44 o 10
445.54/449.45 v 25 25 25 19 13 13 20 3 15 25 25 25 25 20 20 20 10 14 20 25 25 25 25 17 12 19 17 22 17 25 4 23 20 1 4 17 0 13 2 4 25 25 25 20 17 8 8 6 7 25 25 25 25 11 0 19 13 17 0 25 25 25 25 4 1 8 8 0 18 25 3 14 22 13 11 14 0 3 4 3 17 14 19 19 4 13 13 4 18 18
445.54/449.45 c 450 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
445.54/449.50 c 450 OBJECTIVE BOUND: 0 <= _COST <= 10
445.54/449.50 c 450 SEARCHING: _COST <= 5
445.54/449.50 c 450 SOLVING HOME/temp.cnf
445.54/449.50 c 450 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
445.54/449.50 c 450 This is MiniSat 2.0 beta
445.54/449.50 c 450 WARNING: for repeatability, setting FPU to use double precision
445.54/449.50 c 450 ============================[ Problem Statistics ]=============================
445.54/449.50 c 450 | |
445.54/449.50 c 450 | Number of variables: 2412 |
445.54/449.50 c 450 | Number of clauses: 1210136 |
447.37/451.20 c 451 | Parsing time: 1.54 s |
447.47/451.30 c 452 ============================[ Search Statistics ]==============================
447.47/451.30 c 452 | Conflicts | ORIGINAL | LEARNT | Progress |
447.47/451.30 c 452 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
447.47/451.30 c 452 ===============================================================================
447.47/451.30 c 452 | 0 | 2337 1209682 16556910 | 403227 0 nan | 0.000 % |
447.47/451.35 c 452 | 100 | 2337 1209682 16556910 | 443550 100 6 | 3.109 % |
447.57/451.42 c 452 | 250 | 2337 1209682 16556910 | 487905 250 7 | 3.110 % |
447.67/451.50 c 452 | 475 | 2337 1209682 16556910 | 536695 475 7 | 3.110 % |
447.67/451.54 c 452 | 812 | 2337 1209682 16556910 | 590365 812 8 | 3.110 % |
447.86/451.72 c 452 | 1318 | 2337 1209682 16556910 | 649401 1318 8 | 3.110 % |
447.96/451.90 c 452 | 2077 | 2337 1209682 16556910 | 714341 2077 9 | 3.110 % |
448.67/452.54 c 453 | 3217 | 2337 1209682 16556910 | 785775 3217 10 | 3.110 % |
449.37/453.20 c 453 | 4925 | 2337 1209682 16556910 | 864353 4925 10 | 3.110 % |
450.26/454.11 c 454 | 7487 | 2337 1209682 16556910 | 950788 7487 10 | 3.110 % |
451.47/455.37 c 456 | 11334 | 2337 1209682 16556910 | 1045867 11334 11 | 3.110 % |
455.07/458.96 c 459 | 17101 | 2337 1209682 16556910 | 1150454 17101 11 | 3.110 % |
462.96/466.84 c 467 | 25751 | 2337 1209682 16556910 | 1265500 25751 12 | 3.110 % |
486.85/490.75 c 491 | 38725 | 2337 1209682 16556910 | 1392050 38725 14 | 3.110 % |
512.74/516.67 c 517 | 58187 | 2337 1209682 16556910 | 1531255 58187 15 | 3.110 % |
548.93/552.86 c 553 | 87379 | 2337 1209682 16556910 | 1684380 87379 16 | 3.110 % |
589.21/593.13 c 593 | 131168 | 2337 1209682 16556910 | 1852818 131168 16 | 3.110 % |
728.34/732.34 c 733 | 196852 | 2337 1209682 16556910 | 2038100 196852 18 | 3.110 % |
1052.32/1056.45 c 1057 | 295380 | 2337 1209682 16556910 | 2241910 295380 22 | 3.110 % |
1345.30/1349.54 c 1350 | 443169 | 2337 1209682 16556910 | 2466101 443169 21 | 3.110 % |
2187.81/2192.47 c 2193 | 664852 | 2337 1209682 16556910 | 2712711 664852 22 | 3.110 % |
3600.03/3605.21 c ERROR INTERRUPTED
3600.03/3605.24 c 3606 CPU 444.32 (0.04 0.01 444.28 1.36)
3600.03/3605.24 c 3606 END Sat Jul 12 02:50:41 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-1110332-1215820235/watcher-1110332-1215820235 -o /tmp/evaluation-result-1110332-1215820235/solver-1110332-1215820235 -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-1110332-1215820235.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: 2.42 2.43 2.43 4/80 16756
/proc/meminfo: memFree=1876832/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=18572 CPUtime=0
/proc/16756/stat : 16756 (runsolver) D 16754 16756 13918 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 38721449 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 271638392103 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/16756/statm: 4643 292 257 25 0 2626 0
[startup+0.0812981 s]
/proc/loadavg: 2.42 2.43 2.43 4/80 16756
/proc/meminfo: memFree=1876832/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=12412 CPUtime=0
/proc/16756/stat : 16756 (sugar) D 16754 16756 13918 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 38721449 12709888 382 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/16756/statm: 3103 382 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412
[startup+0.101298 s]
/proc/loadavg: 2.42 2.43 2.43 4/80 16756
/proc/meminfo: memFree=1876832/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=12676 CPUtime=0
/proc/16756/stat : 16756 (sugar) R 16754 16756 13918 0 -1 4194304 531 0 0 0 0 0 0 0 18 0 1 0 38721449 12980224 499 996147200 4194304 4206940 548682068592 18446744073709551615 271638559333 0 0 4224 0 0 0 0 17 0 0 0
/proc/16756/statm: 3169 499 315 3 0 269 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12676
[startup+0.301322 s]
/proc/loadavg: 2.42 2.43 2.43 4/80 16756
/proc/meminfo: memFree=1876832/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.03
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 38721449 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701357 s]
/proc/loadavg: 2.42 2.43 2.43 4/80 16756
/proc/meminfo: memFree=1876832/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.03
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 38721449 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50245 s]
/proc/loadavg: 2.42 2.43 2.43 6/91 16778
/proc/meminfo: memFree=1868488/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.69
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 974 6529 0 1 3 0 62 4 15 0 1 0 38721449 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16756/statm: 3400 797 370 3 0 500 0
[pid=16769] ppid=16756 vsize=5356 CPUtime=0
/proc/16769/stat : 16769 (sh) S 16756 16756 13918 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38721533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16769/statm: 1339 233 193 169 0 50 0
[pid=16770] ppid=16769 vsize=864328 CPUtime=0.64
/proc/16770/stat : 16770 (java) S 16769 16756 13918 0 -1 0 8109 0 1 0 60 4 0 0 18 0 9 0 38721533 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16770/statm: 216082 7388 2540 9 0 210657 0
[pid=16770/tid=16771] ppid=16769 vsize=864328 CPUtime=0.32
/proc/16770/task/16771/stat : 16771 (java) R 16769 16756 13918 0 -1 64 2646 0 1 0 31 1 0 0 18 0 9 0 38721534 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16772] ppid=16769 vsize=864328 CPUtime=0.23
/proc/16770/task/16772/stat : 16772 (java) R 16769 16756 13918 0 -1 64 4444 0 0 0 22 1 0 0 16 0 9 0 38721535 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 103735888 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16773] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16773/stat : 16773 (java) S 16769 16756 13918 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38721535 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16774] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16774/stat : 16774 (java) S 16769 16756 13918 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38721535 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16775] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16775/stat : 16775 (java) S 16769 16756 13918 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38721537 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16776] ppid=16769 vsize=864328 CPUtime=0.06
/proc/16770/task/16776/stat : 16776 (java) S 16769 16756 13918 0 -1 64 326 0 0 0 6 0 0 0 16 0 9 0 38721537 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16777] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16777/stat : 16777 (java) S 16769 16756 13918 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38721537 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16778] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16778/stat : 16778 (java) S 16769 16756 13918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38721537 885071872 7388 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 883284
[startup+3.10261 s]
/proc/loadavg: 2.42 2.43 2.43 4/91 16778
/proc/meminfo: memFree=1836296/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.69
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 974 6529 0 1 3 0 62 4 15 0 1 0 38721449 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16756/statm: 3400 797 370 3 0 500 0
[pid=16769] ppid=16756 vsize=5356 CPUtime=0
/proc/16769/stat : 16769 (sh) S 16756 16756 13918 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38721533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16769/statm: 1339 233 193 169 0 50 0
[pid=16770] ppid=16769 vsize=864328 CPUtime=2.21
/proc/16770/stat : 16770 (java) S 16769 16756 13918 0 -1 0 19848 0 1 0 213 8 0 0 18 0 9 0 38721533 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16770/statm: 216082 19097 2540 9 0 210657 0
[pid=16770/tid=16771] ppid=16769 vsize=864328 CPUtime=0.83
/proc/16770/task/16771/stat : 16771 (java) R 16769 16756 13918 0 -1 64 3252 0 1 0 81 2 0 0 23 0 9 0 38721534 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16772] ppid=16769 vsize=864328 CPUtime=1.3
/proc/16770/task/16772/stat : 16772 (java) R 16769 16756 13918 0 -1 64 15573 0 0 0 125 5 0 0 17 0 9 0 38721535 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 104181355 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16773] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16773/stat : 16773 (java) S 16769 16756 13918 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38721535 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16774] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16774/stat : 16774 (java) S 16769 16756 13918 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38721535 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16775] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16775/stat : 16775 (java) S 16769 16756 13918 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38721537 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16776] ppid=16769 vsize=864328 CPUtime=0.06
/proc/16770/task/16776/stat : 16776 (java) S 16769 16756 13918 0 -1 64 330 0 0 0 6 0 0 0 16 0 9 0 38721537 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16777] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16777/stat : 16777 (java) S 16769 16756 13918 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38721537 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16778] ppid=16769 vsize=864328 CPUtime=0
/proc/16770/task/16778/stat : 16778 (java) S 16769 16756 13918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38721537 885071872 19097 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 883284
[startup+6.30293 s]
/proc/loadavg: 2.47 2.44 2.43 3/91 16778
/proc/meminfo: memFree=1802952/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.69
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 974 6529 0 1 3 0 62 4 15 0 1 0 38721449 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16756/statm: 3400 797 370 3 0 500 0
[pid=16769] ppid=16756 vsize=5356 CPUtime=0
/proc/16769/stat : 16769 (sh) S 16756 16756 13918 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38721533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16769/statm: 1339 233 193 169 0 50 0
[pid=16770] ppid=16769 vsize=864440 CPUtime=5.38
/proc/16770/stat : 16770 (java) S 16769 16756 13918 0 -1 0 20928 0 1 0 529 9 0 0 18 0 9 0 38721533 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16770/statm: 216110 20146 2564 9 0 210657 0
[pid=16770/tid=16771] ppid=16769 vsize=864440 CPUtime=3.75
/proc/16770/task/16771/stat : 16771 (java) R 16769 16756 13918 0 -1 64 3619 0 1 0 373 2 0 0 25 0 9 0 38721534 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4126540871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16772] ppid=16769 vsize=864440 CPUtime=1.51
/proc/16770/task/16772/stat : 16772 (java) S 16769 16756 13918 0 -1 64 16266 0 0 0 145 6 0 0 16 0 9 0 38721535 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16773] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16773/stat : 16773 (java) S 16769 16756 13918 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38721535 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16774] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16774/stat : 16774 (java) S 16769 16756 13918 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38721535 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16775] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16775/stat : 16775 (java) S 16769 16756 13918 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38721537 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16776] ppid=16769 vsize=864440 CPUtime=0.1
/proc/16770/task/16776/stat : 16776 (java) S 16769 16756 13918 0 -1 64 350 0 0 0 10 0 0 0 16 0 9 0 38721537 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16777] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16777/stat : 16777 (java) S 16769 16756 13918 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38721537 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16778] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16778/stat : 16778 (java) S 16769 16756 13918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38721537 885186560 20146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 883396
[startup+12.7026 s]
/proc/loadavg: 2.43 2.43 2.43 3/91 16778
/proc/meminfo: memFree=1799376/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.69
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 974 6529 0 1 3 0 62 4 15 0 1 0 38721449 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16756/statm: 3400 797 370 3 0 500 0
[pid=16769] ppid=16756 vsize=5356 CPUtime=0
/proc/16769/stat : 16769 (sh) S 16756 16756 13918 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38721533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16769/statm: 1339 233 193 169 0 50 0
[pid=16770] ppid=16769 vsize=864440 CPUtime=11.72
/proc/16770/stat : 16770 (java) S 16769 16756 13918 0 -1 0 21799 0 1 0 1163 9 0 0 18 0 9 0 38721533 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16770/statm: 216110 21003 2564 9 0 210657 0
[pid=16770/tid=16771] ppid=16769 vsize=864440 CPUtime=10.03
/proc/16770/task/16771/stat : 16771 (java) R 16769 16756 13918 0 -1 64 3633 0 1 0 1001 2 0 0 25 0 9 0 38721534 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16772] ppid=16769 vsize=864440 CPUtime=1.56
/proc/16770/task/16772/stat : 16772 (java) S 16769 16756 13918 0 -1 64 17123 0 0 0 150 6 0 0 16 0 9 0 38721535 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16773] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16773/stat : 16773 (java) S 16769 16756 13918 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38721535 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16774] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16774/stat : 16774 (java) S 16769 16756 13918 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38721535 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16775] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16775/stat : 16775 (java) S 16769 16756 13918 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38721537 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16776] ppid=16769 vsize=864440 CPUtime=0.1
/proc/16770/task/16776/stat : 16776 (java) S 16769 16756 13918 0 -1 64 350 0 0 0 10 0 0 0 16 0 9 0 38721537 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16777] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16777/stat : 16777 (java) S 16769 16756 13918 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38721537 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16778] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16778/stat : 16778 (java) S 16769 16756 13918 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38721537 885186560 21003 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 883396
[startup+25.5019 s]
/proc/loadavg: 2.41 2.43 2.43 4/91 16778
/proc/meminfo: memFree=1787600/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=0.69
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 974 6529 0 1 3 0 62 4 15 0 1 0 38721449 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16756/statm: 3400 797 370 3 0 500 0
[pid=16769] ppid=16756 vsize=5356 CPUtime=0
/proc/16769/stat : 16769 (sh) S 16756 16756 13918 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38721533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16769/statm: 1339 233 193 169 0 50 0
[pid=16770] ppid=16769 vsize=864440 CPUtime=24.4
/proc/16770/stat : 16770 (java) S 16769 16756 13918 0 -1 0 23710 0 1 0 2426 14 0 0 18 0 9 0 38721533 885186560 22859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16770/statm: 216110 22859 2564 9 0 210657 0
[pid=16770/tid=16771] ppid=16769 vsize=864440 CPUtime=22.58
/proc/16770/task/16771/stat : 16771 (java) R 16769 16756 13918 0 -1 64 3688 0 1 0 2253 5 0 0 25 0 9 0 38721534 885186560 22859 996147200 134512640 134550740 4294955936 18446744073709551615 4126582280 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16772] ppid=16769 vsize=864440 CPUtime=1.68
/proc/16770/task/16772/stat : 16772 (java) S 16769 16756 13918 0 -1 64 18975 0 0 0 161 7 0 0 16 0 9 0 38721535 885186560 22859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16773] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16773/stat : 16773 (java) S 16769 16756 13918 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38721535 885186560 22859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16770/tid=16774] ppid=16769 vsize=864440 CPUtime=0
/proc/16770/task/16774/stat : 16774 (java) S 16769 16756 13918 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38721535 885186560 22859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1633752/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=243488 CPUtime=2651.66
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 59386 0 0 0 265114 52 0 0 25 0 1 0 38766399 249331712 59372 996147200 134512640 135127466 4294956256 18446744073709551615 134530783 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 60872 59372 76 150 0 60719 0
Current children cumulated CPU time (s) 3097.34
Current children cumulated vsize (KiB) 262444
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/67 16824
/proc/meminfo: memFree=1632024/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=245264 CPUtime=2711.63
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 59828 0 0 0 271111 52 0 0 25 0 1 0 38766399 251150336 59814 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 61316 59814 76 150 0 61163 0
Current children cumulated CPU time (s) 3157.31
Current children cumulated vsize (KiB) 264220
[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/67 16824
/proc/meminfo: memFree=1630104/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=247064 CPUtime=2771.61
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 60294 0 0 0 277108 53 0 0 25 0 1 0 38766399 252993536 60280 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 61766 60280 76 150 0 61613 0
Current children cumulated CPU time (s) 3217.29
Current children cumulated vsize (KiB) 266020
[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 16824
/proc/meminfo: memFree=1627928/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=249024 CPUtime=2831.6
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 60809 0 0 0 283106 54 0 0 25 0 1 0 38766399 255000576 60795 996147200 134512640 135127466 4294956256 18446744073709551615 134530752 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 62256 60795 76 150 0 62103 0
Current children cumulated CPU time (s) 3277.28
Current children cumulated vsize (KiB) 267980
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 16824
/proc/meminfo: memFree=1625944/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=251184 CPUtime=2891.56
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 61323 0 0 0 289102 54 0 0 25 0 1 0 38766399 257212416 61309 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 62796 61309 76 150 0 62643 0
Current children cumulated CPU time (s) 3337.24
Current children cumulated vsize (KiB) 270140
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 16824
/proc/meminfo: memFree=1624280/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=252884 CPUtime=2951.54
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 61744 0 0 0 295099 55 0 0 25 0 1 0 38766399 258953216 61730 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 63221 61730 76 150 0 63068 0
Current children cumulated CPU time (s) 3397.22
Current children cumulated vsize (KiB) 271840
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16824
/proc/meminfo: memFree=1622488/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=254504 CPUtime=3011.51
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 62160 0 0 0 301096 55 0 0 25 0 1 0 38766399 260612096 62146 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 63626 62146 76 150 0 63473 0
Current children cumulated CPU time (s) 3457.19
Current children cumulated vsize (KiB) 273460
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16824
/proc/meminfo: memFree=1620824/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=256248 CPUtime=3071.49
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 62563 0 0 0 307094 55 0 0 25 0 1 0 38766399 262397952 62549 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 64062 62549 76 150 0 63909 0
Current children cumulated CPU time (s) 3517.17
Current children cumulated vsize (KiB) 275204
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16824
/proc/meminfo: memFree=1618840/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=258088 CPUtime=3131.46
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 63057 0 0 0 313090 56 0 0 25 0 1 0 38766399 264282112 63043 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 64522 63043 76 150 0 64369 0
Current children cumulated CPU time (s) 3577.14
Current children cumulated vsize (KiB) 277044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16824
/proc/meminfo: memFree=1618136/2055920 swapFree=4181044/4192956
[pid=16756] ppid=16754 vsize=13600 CPUtime=445.68
/proc/16756/stat : 16756 (sugar) S 16754 16756 13918 0 -1 4194304 1169 99735 1 3 4 1 44427 136 16 0 1 0 38721449 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16756/statm: 3400 803 374 3 0 500 0
[pid=16815] ppid=16756 vsize=5356 CPUtime=0
/proc/16815/stat : 16815 (sh) S 16756 16756 13918 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38766399 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16815/statm: 1339 232 193 169 0 50 0
[pid=16816] ppid=16815 vsize=258812 CPUtime=3154.35
/proc/16816/stat : 16816 (minisat) R 16815 16756 13918 0 -1 4194304 63223 0 0 0 315379 56 0 0 25 0 1 0 38766399 265023488 63209 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16816/statm: 64703 63209 76 150 0 64550 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 277768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16756 and gives
# childrusage.ru_utime.tv_sec=444
# childrusage.ru_utime.tv_usec=323452
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=420784
# CPU time returned by wait4() is 445.744
# while last known CPU time is 3600.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3605.29
CPU time (s): 3600.03
CPU user time (s): 3598.1
CPU system time (s): 1.93
CPU usage (%): 99.8541
Max. virtual memory (cumulated for all children) (KiB): 894148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 444.323
system time used= 1.42078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101247
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= 15538
involuntary context switches= 25067
runsolver used 3.70444 second user time and 9.76751 second system time
The end
Begin job on node67 at 2008-07-12 01:50:35
IDJOB=1110332
IDBENCH=61092
IDSOLVER=368
FILE ID=node67/1110332-1215820235
PBS_JOBID= 7903225
Free space on /tmp= 66436 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg9-10_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-1110332-1215820235/watcher-1110332-1215820235 -o /tmp/evaluation-result-1110332-1215820235/solver-1110332-1215820235 -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-1110332-1215820235.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 96f652eb0d51fbb18476f976791c6064
RANDOM SEED=2090309857
node67.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: 1877312 kB
Buffers: 5976 kB
Cached: 42656 kB
SwapCached: 5564 kB
Active: 124252 kB
Inactive: 11960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1877312 kB
SwapTotal: 4192956 kB
SwapFree: 4181044 kB
Dirty: 1548 kB
Writeback: 0 kB
Mapped: 104140 kB
Slab: 27472 kB
Committed_AS: 996452 kB
PageTables: 2000 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= 66440 MiB
End job on node67 at 2008-07-12 02:50:42