0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Wed Jul 16 02:13:39 2008
0.00/0.08 c 0 PID 21482
0.06/0.08 c 0 HOST node38.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-1125179-1216167219.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125179-1216167219.xml' 'HOME/temp.csp'
0.07/0.74 c 1 3 domains, 100 variables, 0 predicates, 1003 relations, 1203 constraints
0.07/0.77 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.77 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.71/0.85 c 1 Parsing HOME/temp.csp
1.32/1.49 c 2 parsed 2309 expressions
1.32/1.49 c 2 Heap : 9 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.41/1.51 c 2 MAX CSP: 1203 constraints
1.41/1.51 c 2 Converting to clausal form CSP
1.41/1.55 c 2 converted 352 (10%) expressions
1.41/1.56 c 2 converted 703 (20%) expressions
1.41/1.57 c 2 converted 1055 (30%) expressions
1.52/1.64 c 2 converted 1406 (40%) expressions
1.61/1.77 c 2 converted 1758 (50%) expressions
1.81/1.90 c 2 converted 2109 (60%) expressions
1.81/1.94 c 2 converted 2461 (70%) expressions
1.81/1.98 c 2 converted 2812 (80%) expressions
1.91/2.02 c 2 converted 3164 (90%) expressions
2.20/2.36 c 3 converted 3515 (100%) expressions
2.20/2.36 c 3 CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1805
2.20/2.36 c 3 Heap : 22 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.20/2.36 c 3 Propagation in CSP
2.30/2.42 c 3 1197 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.30/2.42 c 3 CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1204
2.30/2.42 c 3 Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.30/2.43 c 3 Simplifing CSP by introducing new Boolean variables
2.30/2.43 c 3 CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1204
2.30/2.43 c 3 Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.53 c 3 Encoding CSP to SAT : HOME/temp.cnf
2.40/2.55 c 3 251 (10%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55 c 3 502 (20%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55 c 3 752 (30%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55 c 3 1003 (40%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55 c 3 1253 (50%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.56 c 3 1504 (60%) CSP integer variables are encoded (3767 clauses, 46960 bytes)
2.40/2.57 c 3 1755 (70%) CSP integer variables are encoded (5768 clauses, 72973 bytes)
2.40/2.57 c 3 2005 (80%) CSP integer variables are encoded (8094 clauses, 103361 bytes)
2.40/2.57 c 3 2256 (90%) CSP integer variables are encoded (10010 clauses, 132101 bytes)
2.40/2.59 c 3 2506 (100%) CSP integer variables are encoded (23433 clauses, 333446 bytes)
2.59/2.72 c 3 361 (10%) CSP clauses are encoded (29158 clauses, 456186 bytes)
2.59/2.80 c 3 722 (20%) CSP clauses are encoded (34410 clauses, 578083 bytes)
2.69/2.87 c 3 1083 (30%) CSP clauses are encoded (39481 clauses, 695853 bytes)
2.79/2.92 c 3 1444 (40%) CSP clauses are encoded (49685 clauses, 887406 bytes)
2.90/3.08 c 3 1804 (50%) CSP clauses are encoded (136391 clauses, 2471787 bytes)
2.99/3.13 c 4 2165 (60%) CSP clauses are encoded (161952 clauses, 2931135 bytes)
3.38/3.57 c 4 2526 (70%) CSP clauses are encoded (416461 clauses, 7615699 bytes)
3.49/3.64 c 4 2887 (80%) CSP clauses are encoded (445728 clauses, 8202740 bytes)
4.18/4.33 c 5 3248 (90%) CSP clauses are encoded (709303 clauses, 13730703 bytes)
6.36/6.59 c 7 3608 (100%) CSP clauses are encoded (1893540 clauses, 39118051 bytes)
6.36/6.59 c 7 3608 CSP clauses encoded
6.36/6.59 c 7 Writing map file : HOME/temp.map
6.46/6.62 c 7 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.46/6.62 c 7 SAT : 25938 SAT variables, 1893540 SAT clauses, 39118051 bytes
6.46/6.62 c 7 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.46/6.67 c 7 OBJECTIVE minimize _COST
6.46/6.67 c 7 SOLVING HOME/temp.cnf
6.46/6.67 c 7 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
6.46/6.67 c 7 This is MiniSat 2.0 beta incremental
6.46/6.67 c 7 WARNING: for repeatability, setting FPU to use double precision
6.46/6.67 c 7 ============================[ Problem Statistics ]=============================
6.46/6.67 c 7 | |
6.46/6.67 c 7 | Number of variables: 25938 |
6.46/6.67 c 7 | Number of clauses: 1893540 |
6.51/7.56 c 8 | Parsing time: 0.77 s |
6.51/7.60 c 8 OK
6.51/7.60 c 8 OBJECTIVE BOUND: 0 <= _COST <=
6.51/7.60 c 8 SEARCHING: _COST <= 602
6.51/7.60 c 8 ============================[ Search Statistics ]==============================
6.51/7.60 c 8 | Conflicts | ORIGINAL | LEARNT | Progress |
6.51/7.60 c 8 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.41/7.60 c 8 ===============================================================================
7.41/7.60 c 8 | 0 | 25938 1893540 5635347 | 631180 0 nan | 0.000 % |
7.90/8.17 c 9 ===============================================================================
7.90/8.17 c 9 restarts : 1
7.90/8.17 c 9 conflicts : 77 (56 /sec)
7.90/8.17 c 9 decisions : 1364 (1.17 % random) (997 /sec)
7.90/8.17 c 9 propagations : 154005 (112594 /sec)
7.90/8.17 c 9 conflict literals : 880 (12.87 % deleted)
7.90/8.17 c 9 Memory used : 80.27 MB
7.90/8.17 c 9 CPU time : 1.36779 s
7.90/8.17 c 9
7.90/8.17 c 9 SATISFIABLE
7.90/8.18 c 9 OK
7.90/8.18 c 9 FOUND: _COST <= 602
7.90/8.18 s SATISFIABLE
7.90/8.18 c 9 DECODING HOME/temp.out WITH HOME/temp.map
7.90/8.18 c 9 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.98/8.26 c 9 Decoding HOME/temp.out
7.98/8.42 c 9 OBJECTIVE _COST 296
7.98/8.42 o 296
7.98/8.42 v 16 0 18 16 5 17 15 17 19 4 19 0 0 11 11 19 4 16 7 1 6 19 8 2 11 19 19 8 11 19 19 4 0 6 8 11 11 1 2 11 11 10 12 2 11 4 5 3 6 9 7 8 3 14 11 11 5 14 19 3 5 0 15 9 12 6 5 6 2 11 2 7 6 11 3 1 4 11 11 8 6 9 6 10 3 11 2 19 13 14 8 12 7 11 19 19 7 19 11 -1
7.98/8.43 c 9 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.98/8.46 c 9 OK
7.98/8.46 c 9 OBJECTIVE BOUND: 0 <= _COST <= 296
7.98/8.46 c 9 SEARCHING: _COST <= 148
7.98/8.46 c 9 ============================[ Search Statistics ]==============================
7.98/8.46 c 9 | Conflicts | ORIGINAL | LEARNT | Progress |
7.98/8.46 c 9 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.98/8.46 c 9 ===============================================================================
7.98/8.46 c 9 | 77 | 25926 1893540 5635347 | 631180 76 12 | 0.000 % |
8.47/8.71 c 9 | 177 | 25926 1893540 5635347 | 694298 176 15 | 39.753 % |
8.66/8.94 c 9 | 327 | 25926 1893540 5635347 | 763727 326 18 | 39.753 % |
9.16/9.42 c 10 | 553 | 25926 1893540 5635347 | 840100 552 20 | 39.753 % |
9.46/9.71 c 10 | 890 | 25926 1893540 5635347 | 924110 889 21 | 39.753 % |
10.45/10.78 c 11 | 1397 | 25926 1893540 5635347 | 1016521 1396 25 | 39.753 % |
10.94/11.24 c 12 ===============================================================================
10.94/11.24 c 12 restarts : 7
10.94/11.24 c 12 conflicts : 1764 (427 /sec)
10.94/11.24 c 12 decisions : 4869 (0.72 % random) (1177 /sec)
10.94/11.24 c 12 propagations : 1815366 (438985 /sec)
10.94/11.24 c 12 conflict literals : 45515 (25.15 % deleted)
10.94/11.24 c 12 Memory used : 80.40 MB
10.94/11.24 c 12 CPU time : 4.13537 s
10.94/11.24 c 12
10.94/11.24 c 12 SATISFIABLE
10.94/11.25 c 12 OK
10.94/11.25 c 12 FOUND: _COST <= 148
10.94/11.25 c 12 DECODING HOME/temp.out WITH HOME/temp.map
10.94/11.25 c 12 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.99/11.33 c 12 Decoding HOME/temp.out
10.99/11.67 c 12 OBJECTIVE _COST 148
10.99/11.67 o 148
10.99/11.68 v 15 5 0 19 7 5 15 19 19 3 19 19 6 11 3 16 11 17 5 5 19 16 11 11 6 13 19 4 1 14 12 10 9 11 10 1 10 5 8 1 2 8 7 2 11 4 5 4 14 11 13 13 2 14 2 11 1 14 19 3 7 6 8 4 15 5 19 8 4 3 3 11 8 9 7 1 2 10 11 5 4 11 18 7 11 3 11 10 13 14 19 7 11 0 19 19 19 19 6 -1
10.99/11.69 c 12 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.99/11.73 c 12 OK
10.99/11.73 c 12 OBJECTIVE BOUND: 0 <= _COST <= 148
10.99/11.73 c 12 SEARCHING: _COST <= 74
10.99/11.73 c 12 ============================[ Search Statistics ]==============================
10.99/11.73 c 12 | Conflicts | ORIGINAL | LEARNT | Progress |
10.99/11.73 c 12 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.99/11.73 c 12 ===============================================================================
10.99/11.73 c 12 | 1764 | 15627 1893540 5635347 | 631180 1763 26 | 39.753 % |
11.61/11.94 c 12 | 1865 | 15627 1893540 5635347 | 694298 1864 25 | 48.389 % |
11.81/12.19 c 13 | 2015 | 15627 1893540 5635347 | 763727 2014 25 | 48.389 % |
12.20/12.57 c 13 | 2240 | 15627 1893540 5635347 | 840100 2239 25 | 48.389 % |
12.70/13.09 c 14 | 2579 | 15627 1893540 5635347 | 924110 2578 25 | 48.389 % |
13.59/13.99 c 14 | 3085 | 15627 1893540 5635347 | 1016521 3084 24 | 48.389 % |
14.78/15.14 c 16 | 3844 | 15627 1893540 5635347 | 1118173 3843 23 | 48.389 % |
16.76/17.12 c 18 | 4983 | 15627 1893540 5635347 | 1229991 4982 22 | 48.389 % |
19.43/19.84 c 20 | 6691 | 15627 1893540 5635347 | 1352990 6690 21 | 48.389 % |
24.28/24.78 c 25 | 9255 | 13387 451547 1345975 | 1488289 9245 21 | 48.389 % |
28.45/28.99 c 29 | 13100 | 13387 451547 1345975 | 1637118 13090 21 | 48.389 % |
36.56/37.18 c 38 | 18866 | 13387 451547 1345975 | 1800830 18856 22 | 48.389 % |
48.35/49.07 c 49 | 27516 | 13387 451547 1345975 | 1980913 27506 24 | 48.389 % |
70.64/71.51 c 72 | 40491 | 13387 451547 1345975 | 2179004 40481 25 | 48.389 % |
103.42/104.64 c 105 | 59952 | 13387 451547 1345975 | 2396904 59942 25 | 48.389 % |
155.11/156.81 c 157 | 89144 | 13387 451547 1345975 | 2636595 89134 25 | 48.389 % |
249.62/252.28 c 253 | 132933 | 13387 451547 1345975 | 2900255 132923 26 | 48.389 % |
423.76/428.04 c 428 | 198619 | 13387 451547 1345975 | 3190280 198609 27 | 48.389 % |
700.54/707.48 c 708 | 297145 | 13387 451547 1345975 | 3509308 297135 27 | 48.389 % |
1193.57/1205.19 c 1206 | 444935 | 13387 451547 1345975 | 3860239 444925 27 | 48.389 % |
2177.37/2190.84 c 2191 | 666619 | 13387 451547 1345975 | 4246263 666609 28 | 48.389 % |
3600.04/3614.01 c ERROR INTERRUPTED
3600.04/3614.05 c 3614 CPU 3599.2 (0.06 0.02 3599.14 0.87)
3600.04/3614.05 c 3614 END Wed Jul 16 03:13:53 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-1125179-1216167219/watcher-1125179-1216167219 -o /tmp/evaluation-result-1125179-1216167219/solver-1125179-1216167219 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1125179-1216167219.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.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=12000 CPUtime=0
/proc/21482/stat : 21482 (sugar++) R 21480 21482 21034 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73421743 12288000 178 996147200 4194304 4206940 548682068528 18446744073709551615 266910444117 0 0 4224 0 0 0 0 17 1 0 0
/proc/21482/statm: 3000 178 139 3 0 100 0
[startup+0.081068 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.06
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 73421743 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101709 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.302699 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701743 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50183 s]
/proc/loadavg: 2.26 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1727488/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=864040 CPUtime=0.7
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 7022 0 1 0 66 4 0 0 18 0 9 0 73421821 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 216010 6301 2540 9 0 210585 0
[pid=21496/tid=21497] ppid=21495 vsize=864040 CPUtime=0.4
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 2493 0 1 0 39 1 0 0 18 0 9 0 73421822 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4125979545 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=864040 CPUtime=0.2
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 3495 0 0 0 19 1 0 0 16 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=864040 CPUtime=0.07
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 886136
[startup+3.10301 s]
/proc/loadavg: 2.26 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1701248/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=868488 CPUtime=2.28
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 12065 0 1 0 219 9 0 0 18 0 9 0 73421821 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 217122 11214 2565 9 0 211669 0
[pid=21496/tid=21497] ppid=21495 vsize=868488 CPUtime=1.27
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 3028 0 1 0 124 3 0 0 22 0 9 0 73421822 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4126998837 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=868488 CPUtime=0.69
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 6842 0 0 0 66 3 0 0 16 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=868488 CPUtime=0.29
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 1497 0 0 0 28 1 0 0 16 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890584
[startup+6.30237 s]
/proc/loadavg: 2.24 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1671936/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=868488 CPUtime=5.45
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 12411 0 1 0 515 30 0 0 18 0 9 0 73421821 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 217122 11221 2565 9 0 211669 0
[pid=21496/tid=21497] ppid=21495 vsize=868488 CPUtime=4.32
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 3368 0 1 0 410 22 0 0 25 0 9 0 73421822 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4126996586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=868488 CPUtime=0.8
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 6842 0 0 0 75 5 0 0 16 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=868488 CPUtime=0.3
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 1503 0 0 0 29 1 0 0 16 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 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) 890584
[startup+12.7011 s]
/proc/loadavg: 2.30 2.07 2.02 3/83 21525
/proc/meminfo: memFree=1614984/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 15 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=82456 CPUtime=5.21
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20074 0 0 0 510 11 0 0 25 0 1 0 73422410 84434944 20018 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20614 20018 79 151 0 20460 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 99456
[startup+25.5025 s]
/proc/loadavg: 2.23 2.07 2.02 3/83 21525
/proc/meminfo: memFree=1614856/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=82852 CPUtime=17.89
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20194 0 0 0 1778 11 0 0 25 0 1 0 73422410 84840448 20138 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20713 20138 79 151 0 20559 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 99852
[startup+51.1024 s]
/proc/loadavg: 2.15 2.06 2.02 3/83 21525
/proc/meminfo: memFree=1614984/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=83024 CPUtime=43.24
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20223 0 0 0 4313 11 0 0 25 0 1 0 73422410 85016576 20167 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20756 20167 79 151 0 20602 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 100024
[startup+102.306 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 21525
/proc/meminfo: memFree=1614600/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=83196 CPUtime=93.96
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20292 0 0 0 9385 11 0 0 25 0 1 0 73422410 85192704 20228 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20799 20228 79 151 0 20645 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 100196
[startup+162.303 s]
/proc/loadavg: 2.02 2.04 2.01 3/83 21525
/proc/meminfo: memFree=1614344/2055920 swapFree=4191900/4192956
################
# More data... #
################
[pid=21505] ppid=21482 vsize=167552 CPUtime=2841.43
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 40665 0 0 0 284109 34 0 0 25 0 1 0 73422410 171573248 40601 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 41888 40601 79 151 0 41734 0
Current children cumulated CPU time (s) 2848.62
Current children cumulated vsize (KiB) 184552
[startup+2922.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 21574
/proc/meminfo: memFree=1522440/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=168784 CPUtime=2901.41
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41023 0 0 0 290106 35 0 0 25 0 1 0 73422410 172834816 40959 996147200 134512640 135134323 4294956192 18446744073709551615 134531947 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 42196 40959 79 151 0 42042 0
Current children cumulated CPU time (s) 2908.6
Current children cumulated vsize (KiB) 185784
[startup+2982.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 21574
/proc/meminfo: memFree=1520904/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=170316 CPUtime=2961.39
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41397 0 0 0 296104 35 0 0 25 0 1 0 73422410 174403584 41333 996147200 134512640 135134323 4294956192 18446744073709551615 134532120 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 42579 41333 79 151 0 42425 0
Current children cumulated CPU time (s) 2968.58
Current children cumulated vsize (KiB) 187316
[startup+3042.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 21574
/proc/meminfo: memFree=1518792/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=172724 CPUtime=3021.37
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41925 0 0 0 302101 36 0 0 25 0 1 0 73422410 176869376 41861 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43181 41861 79 151 0 43027 0
Current children cumulated CPU time (s) 3028.56
Current children cumulated vsize (KiB) 189724
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1517192/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=174308 CPUtime=3081.35
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 42333 0 0 0 308099 36 0 0 25 0 1 0 73422410 178491392 42269 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43577 42269 79 151 0 43423 0
Current children cumulated CPU time (s) 3088.54
Current children cumulated vsize (KiB) 191308
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1515400/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=175992 CPUtime=3141.33
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 42773 0 0 0 314096 37 0 0 25 0 1 0 73422410 180215808 42709 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43998 42709 79 151 0 43844 0
Current children cumulated CPU time (s) 3148.52
Current children cumulated vsize (KiB) 192992
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1513736/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=177700 CPUtime=3201.3
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43178 0 0 0 320093 37 0 0 25 0 1 0 73422410 181964800 43114 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 44425 43114 79 151 0 44271 0
Current children cumulated CPU time (s) 3208.49
Current children cumulated vsize (KiB) 194700
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1512008/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=179356 CPUtime=3261.29
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43603 0 0 0 326091 38 0 0 25 0 1 0 73422410 183660544 43539 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 44839 43539 79 151 0 44685 0
Current children cumulated CPU time (s) 3268.48
Current children cumulated vsize (KiB) 196356
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1510664/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=180676 CPUtime=3321.26
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43945 0 0 0 332088 38 0 0 25 0 1 0 73422410 185012224 43881 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45169 43881 79 151 0 45015 0
Current children cumulated CPU time (s) 3328.45
Current children cumulated vsize (KiB) 197676
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1509448/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=181732 CPUtime=3381.24
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 44251 0 0 0 338085 39 0 0 25 0 1 0 73422410 186093568 44187 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45433 44187 79 151 0 45279 0
Current children cumulated CPU time (s) 3388.43
Current children cumulated vsize (KiB) 198732
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21574
/proc/meminfo: memFree=1507272/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=183968 CPUtime=3441.21
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 44805 0 0 0 344082 39 0 0 25 0 1 0 73422410 188383232 44733 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45992 44733 79 151 0 45838 0
Current children cumulated CPU time (s) 3448.4
Current children cumulated vsize (KiB) 200968
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1505480/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=185684 CPUtime=3501.19
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45247 0 0 0 350080 39 0 0 25 0 1 0 73422410 190140416 45175 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 46421 45175 79 151 0 46267 0
Current children cumulated CPU time (s) 3508.38
Current children cumulated vsize (KiB) 202684
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1504008/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=187380 CPUtime=3561.17
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45613 0 0 0 356077 40 0 0 25 0 1 0 73422410 191877120 45541 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 46845 45541 79 151 0 46691 0
Current children cumulated CPU time (s) 3568.36
Current children cumulated vsize (KiB) 204380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1503112/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=188172 CPUtime=3592.85
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45833 0 0 0 359245 40 0 0 25 0 1 0 73422410 192688128 45761 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 47043 45761 79 151 0 46889 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 205172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.06
CPU time (s): 3600.13
CPU user time (s): 3599.22
CPU system time (s): 0.91586
CPU usage (%): 99.6147
Max. virtual memory (cumulated for all children) (KiB): 890584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 0.91586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73412
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= 6491
involuntary context switches= 69367
runsolver used 4.72928 second user time and 9.8745 second system time
The end
Begin job on node38 at 2008-07-16 02:13:39
IDJOB=1125179
IDBENCH=63087
IDSOLVER=367
FILE ID=node38/1125179-1216167219
PBS_JOBID= 7905789
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/scens/normalized-scenw-06-24_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1125179-1216167219/watcher-1125179-1216167219 -o /tmp/evaluation-result-1125179-1216167219/solver-1125179-1216167219 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1125179-1216167219.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9f00bd0851b545a4cec305cef1793732
RANDOM SEED=912422522
node38.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: 1738040 kB
Buffers: 68176 kB
Cached: 158696 kB
SwapCached: 384 kB
Active: 188640 kB
Inactive: 62848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738040 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 1536 kB
Writeback: 0 kB
Mapped: 43328 kB
Slab: 51388 kB
Committed_AS: 225672 kB
PageTables: 2100 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= 66560 MiB
End job on node38 at 2008-07-16 03:13:55