0.03/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.03/0.08 c 0 BEGIN Wed Jul 16 07:07:30 2008
0.03/0.08 c 0 PID 31911
0.03/0.08 c 0 HOST node6.alineos.net
0.03/0.08 c 0 CONVERTING HOME/instance-1126579-1216184849.xml TO HOME/temp.csp
0.03/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1126579-1216184849.xml' 'HOME/temp.csp'
0.06/0.57 c 0 3 domains, 101 variables, 0 predicates, 10 relations, 710 constraints
0.06/0.61 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.61 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.54/0.70 c 0 Parsing HOME/temp.csp
0.54/0.83 c 0 parsed 824 expressions
0.54/0.84 c 0 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.54/0.85 c 0 MAX CSP: 710 constraints
0.54/0.85 c 0 Converting to clausal form CSP
0.54/0.89 c 0 converted 154 (10%) expressions
0.54/0.91 c 0 converted 308 (20%) expressions
0.54/0.92 c 0 converted 462 (30%) expressions
0.54/0.93 c 0 converted 615 (40%) expressions
0.54/0.94 c 0 converted 769 (50%) expressions
0.54/0.96 c 0 converted 923 (60%) expressions
0.54/0.96 c 0 converted 1076 (70%) expressions
0.90/1.04 c 0 converted 1230 (80%) expressions
0.90/1.05 c 0 converted 1384 (90%) expressions
1.00/1.18 c 1 converted 1537 (100%) expressions
1.00/1.18 c 1 CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 1066
1.00/1.18 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.18 c 1 Propagation in CSP
1.10/1.24 c 1 705 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.10/1.24 c 1 CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 711
1.10/1.24 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.24 c 1 Simplifing CSP by introducing new Boolean variables
1.10/1.24 c 1 CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 711
1.10/1.24 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.28 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.10/1.29 c 1 153 (10%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29 c 1 305 (20%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29 c 1 457 (30%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29 c 1 609 (40%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.19/1.30 c 1 761 (50%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.19/1.31 c 1 913 (60%) CSP integer variables are encoded (1299 clauses, 16494 bytes)
1.19/1.31 c 1 1065 (70%) CSP integer variables are encoded (2252 clauses, 28883 bytes)
1.19/1.32 c 1 1217 (80%) CSP integer variables are encoded (9355 clauses, 122265 bytes)
1.19/1.32 c 1 1369 (90%) CSP integer variables are encoded (10393 clauses, 137835 bytes)
1.19/1.33 c 1 1521 (100%) CSP integer variables are encoded (11820 clauses, 159240 bytes)
1.19/1.36 c 1 213 (10%) CSP clauses are encoded (12128 clauses, 164087 bytes)
1.19/1.38 c 1 426 (20%) CSP clauses are encoded (12395 clauses, 168250 bytes)
1.19/1.39 c 1 639 (30%) CSP clauses are encoded (12743 clauses, 174492 bytes)
1.30/1.42 c 1 852 (40%) CSP clauses are encoded (16069 clauses, 231733 bytes)
1.30/1.48 c 1 1065 (50%) CSP clauses are encoded (47058 clauses, 793798 bytes)
1.50/1.63 c 1 1278 (60%) CSP clauses are encoded (77481 clauses, 1314562 bytes)
2.29/2.46 c 2 1491 (70%) CSP clauses are encoded (535338 clauses, 9848459 bytes)
2.29/2.49 c 2 1704 (80%) CSP clauses are encoded (546075 clauses, 10068975 bytes)
2.40/2.54 c 2 1917 (90%) CSP clauses are encoded (571820 clauses, 10610551 bytes)
2.60/2.72 c 2 2129 (100%) CSP clauses are encoded (666506 clauses, 12625483 bytes)
2.60/2.72 c 2 2129 CSP clauses encoded
2.60/2.72 c 2 Writing map file : HOME/temp.map
2.60/2.74 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.60/2.74 c 2 SAT : 13340 SAT variables, 666506 SAT clauses, 12625483 bytes
2.60/2.74 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.60/2.76 c 2 OBJECTIVE minimize _COST
2.60/2.76 c 2 SOLVING HOME/temp.cnf
2.60/2.76 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.60/2.79 c 2 This is MiniSat 2.0 beta incremental
2.60/2.79 c 2 WARNING: for repeatability, setting FPU to use double precision
2.60/2.79 c 2 ============================[ Problem Statistics ]=============================
2.60/2.79 c 2 | |
2.60/2.79 c 2 | Number of variables: 13340 |
2.60/2.79 c 2 | Number of clauses: 666506 |
2.66/3.12 c 3 | Parsing time: 0.27 s |
2.66/3.13 c 3 OK
2.66/3.13 c 3 OBJECTIVE BOUND: 0 <= _COST <=
2.66/3.13 c 3 SEARCHING: _COST <= 355
2.66/3.13 c 3 ============================[ Search Statistics ]==============================
2.66/3.13 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.66/3.13 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.66/3.13 c 3 ===============================================================================
2.66/3.13 c 3 | 0 | 13340 666506 1963867 | 222168 0 nan | 0.000 % |
3.16/3.33 c 3 ===============================================================================
3.16/3.33 c 3 restarts : 1
3.16/3.33 c 3 conflicts : 10 (21 /sec)
3.16/3.33 c 3 decisions : 292 (0.34 % random) (603 /sec)
3.16/3.33 c 3 propagations : 89391 (184720 /sec)
3.16/3.33 c 3 conflict literals : 70 (30.69 % deleted)
3.16/3.33 c 3 Memory used : 28.88 MB
3.16/3.33 c 3 CPU time : 0.483926 s
3.16/3.33 c 3
3.16/3.33 c 3 SATISFIABLE
3.16/3.34 c 3 OK
3.16/3.34 c 3 FOUND: _COST <= 355
3.16/3.34 s SATISFIABLE
3.16/3.34 c 3 DECODING HOME/temp.out WITH HOME/temp.map
3.16/3.34 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.19/3.43 c 3 Decoding HOME/temp.out
3.19/3.55 c 3 OBJECTIVE _COST 355
3.19/3.55 o 355
3.19/3.56 v 1 3 2 1 1 1 1 1 2 3 3 1 1 1 0 0 1 1 0 2 1 1 1 1 1 1 0 0 0 3 1 1 1 2 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 2 1 1 1 1 0 1 3 3 1 3 1 1 1 1 1 1 1 3 1 0 1 1 1 1 1 1 0 1 0 1 1 2 0 1 1 3 1 2 1 1 1 0 1 3 1 1 1 2 3 2 -1
3.19/3.56 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.19/3.61 c 3 OK
3.19/3.61 c 3 OBJECTIVE BOUND: 0 <= _COST <= 355
3.19/3.61 c 3 SEARCHING: _COST <= 177
3.19/3.61 c 3 ============================[ Search Statistics ]==============================
3.19/3.62 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
3.19/3.62 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.19/3.62 c 3 ===============================================================================
3.19/3.62 c 3 | 10 | 13340 666506 1963867 | 222168 10 7 | 0.000 % |
3.50/3.74 c 3 | 110 | 10023 666506 1963867 | 244385 109 25 | 26.725 % |
3.50/3.76 c 3 ===============================================================================
3.50/3.76 c 3 restarts : 3
3.50/3.76 c 3 conflicts : 116 (182 /sec)
3.50/3.76 c 3 decisions : 1029 (0.97 % random) (1616 /sec)
3.50/3.76 c 3 propagations : 192180 (301741 /sec)
3.50/3.76 c 3 conflict literals : 2814 (18.72 % deleted)
3.50/3.76 c 3 Memory used : 29.52 MB
3.50/3.76 c 3 CPU time : 0.636903 s
3.50/3.76 c 3
3.50/3.76 c 3 SATISFIABLE
3.50/3.76 c 3 OK
3.50/3.76 c 3 FOUND: _COST <= 177
3.50/3.76 c 3 DECODING HOME/temp.out WITH HOME/temp.map
3.50/3.76 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.57/3.85 c 3 Decoding HOME/temp.out
3.57/4.08 c 4 OBJECTIVE _COST 177
3.57/4.08 o 177
3.57/4.09 v 2 2 3 1 0 1 1 0 3 1 3 1 0 0 0 0 1 1 2 3 1 1 1 0 1 1 0 1 1 2 0 3 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 3 1 1 0 1 1 1 2 3 1 3 1 1 1 1 1 1 1 3 0 1 0 1 1 0 0 1 0 1 1 1 0 3 1 2 1 3 1 3 1 1 3 1 1 2 0 0 0 1 3 1 -1
3.57/4.12 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.57/4.14 c 4 OK
3.57/4.14 c 4 OBJECTIVE BOUND: 0 <= _COST <= 177
3.57/4.14 c 4 SEARCHING: _COST <= 88
3.57/4.14 c 4 ============================[ Search Statistics ]==============================
3.57/4.15 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.57/4.15 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.57/4.15 c 4 ===============================================================================
3.57/4.15 c 4 | 116 | 9775 666506 1963867 | 222168 115 24 | 26.725 % |
3.98/4.20 c 4 | 216 | 9775 666506 1963867 | 244385 215 18 | 41.417 % |
3.98/4.28 c 4 | 367 | 9775 666506 1963867 | 268824 366 17 | 41.417 % |
4.08/4.39 c 4 | 592 | 9775 666506 1963867 | 295706 591 16 | 41.417 % |
4.27/4.50 c 4 | 929 | 9775 666506 1963867 | 325277 928 15 | 41.417 % |
4.47/4.77 c 4 | 1436 | 9775 666506 1963867 | 357804 1435 16 | 41.417 % |
4.77/5.09 c 5 | 2195 | 9775 666506 1963867 | 393585 2194 19 | 41.417 % |
5.27/5.54 c 5 | 3334 | 9775 666506 1963867 | 432943 3333 18 | 41.417 % |
6.26/6.54 c 6 | 5042 | 7815 276215 809046 | 476238 5031 19 | 41.417 % |
7.15/7.42 c 7 | 7604 | 7815 276215 809046 | 523862 7593 19 | 41.417 % |
8.54/8.80 c 8 | 11448 | 7815 276215 809046 | 576248 11437 23 | 41.417 % |
11.00/11.38 c 11 | 17214 | 7815 276215 809046 | 633873 17203 26 | 41.417 % |
13.58/13.97 c 13 | 25866 | 7815 276215 809046 | 697260 25855 31 | 41.417 % |
21.80/22.23 c 22 | 38840 | 7815 276215 809046 | 766986 38829 32 | 41.417 % |
21.90/22.34 c 22 ===============================================================================
21.90/22.34 c 22 restarts : 17
21.90/22.34 c 22 conflicts : 39057 (2092 /sec)
21.90/22.34 c 22 decisions : 48585 (0.55 % random) (2603 /sec)
21.90/22.34 c 22 propagations : 22044709 (1180935 /sec)
21.90/22.34 c 22 conflict literals : 1238846 (18.71 % deleted)
21.90/22.34 c 22 Memory used : 29.91 MB
21.90/22.34 c 22 CPU time : 18.6672 s
21.90/22.34 c 22
21.90/22.34 c 22 SATISFIABLE
21.90/22.34 c 22 OK
21.90/22.34 c 22 FOUND: _COST <= 88
21.90/22.34 c 22 DECODING HOME/temp.out WITH HOME/temp.map
21.90/22.34 c 22 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.95/22.42 c 22 Decoding HOME/temp.out
21.95/22.66 c 22 OBJECTIVE _COST 88
21.95/22.66 o 88
21.95/22.66 v 1 1 2 1 0 1 1 0 3 1 1 1 0 1 1 1 1 1 1 3 1 0 0 1 1 0 1 1 1 1 1 2 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 3 0 1 1 1 0 1 3 3 1 3 1 1 0 1 1 0 1 3 1 1 0 0 1 0 1 0 1 0 0 1 1 0 2 3 1 1 0 3 1 1 1 1 0 3 1 0 1 3 3 3 -1
21.95/22.67 c 22 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
21.95/22.79 c 22 OK
21.95/22.79 c 22 OBJECTIVE BOUND: 0 <= _COST <= 88
21.95/22.79 c 22 SEARCHING: _COST <= 44
21.95/22.79 c 22 ============================[ Search Statistics ]==============================
21.95/22.79 c 22 | Conflicts | ORIGINAL | LEARNT | Progress |
21.95/22.79 c 22 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.95/22.79 c 22 ===============================================================================
21.95/22.79 c 22 | 39057 | 6557 157376 456214 | 52458 39025 32 | 41.417 % |
22.35/22.88 c 22 | 39158 | 6557 157376 456214 | 57704 39126 32 | 50.848 % |
22.45/22.96 c 22 | 39308 | 6557 157376 456214 | 63474 39276 32 | 50.848 % |
22.65/23.11 c 23 | 39533 | 6557 157376 456214 | 69822 39501 32 | 50.848 % |
22.74/23.30 c 23 | 39871 | 6557 157376 456214 | 76804 39839 31 | 50.848 % |
23.04/23.57 c 23 | 40377 | 6557 157376 456214 | 84485 40345 31 | 50.848 % |
23.44/23.97 c 23 | 41136 | 6557 157376 456214 | 92933 41104 31 | 50.848 % |
24.03/24.56 c 24 | 42275 | 6557 157376 456214 | 102227 42243 31 | 50.848 % |
25.02/25.52 c 25 | 43984 | 6557 157376 456214 | 112449 43952 30 | 50.848 % |
26.51/27.05 c 26 | 46547 | 6557 157376 456214 | 123694 46515 30 | 50.848 % |
28.78/29.34 c 29 | 50392 | 6557 157376 456214 | 136064 50360 29 | 50.848 % |
32.64/33.28 c 33 | 56158 | 6557 157376 456214 | 149670 56126 29 | 50.848 % |
38.59/39.23 c 39 | 64807 | 6519 154776 448540 | 164637 64769 28 | 51.132 % |
49.89/50.64 c 50 | 77781 | 6519 154776 448540 | 181101 77743 28 | 51.132 % |
68.11/69.02 c 68 | 97243 | 6519 154776 448540 | 199211 97205 26 | 51.132 % |
101.79/103.02 c 102 | 126435 | 6519 154776 448540 | 219132 126397 25 | 51.132 % |
166.78/168.64 c 168 | 170225 | 6519 154776 448540 | 241046 170187 25 | 51.132 % |
311.60/314.83 c 314 | 235909 | 6519 154776 448540 | 265150 235871 25 | 51.132 % |
477.44/482.28 c 482 | 334435 | 6519 154776 448540 | 291665 77823 23 | 51.132 % |
734.61/741.80 c 741 | 482224 | 6519 154776 448540 | 320832 225612 23 | 51.132 % |
1154.04/1165.21 c 1165 | 703907 | 6519 154776 448540 | 352915 133381 28 | 51.132 % |
1814.20/1830.84 c 1830 | 1036435 | 6519 154776 448540 | 388207 121064 22 | 51.132 % |
2817.97/2837.21 c 2837 | 1535223 | 6519 154776 448540 | 427027 243147 22 | 51.132 % |
3600.09/3622.61 c ERROR INTERRUPTED
3600.09/3622.62 c 3622 CPU 3598.68 (0.06 0.02 3598.62 1.41)
3600.09/3622.62 c 3622 END Wed Jul 16 08:07:52 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-1126579-1216184849/watcher-1126579-1216184849 -o /tmp/evaluation-result-1126579-1216184849/solver-1126579-1216184849 -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-1126579-1216184849.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=12268 CPUtime=0
/proc/31911/stat : 31911 (sugar++) R 31909 31911 31650 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 75188165 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 268583008869 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/31911/statm: 3067 316 241 3 0 167 0
[startup+0.0510119 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=13468 CPUtime=0.03
/proc/31911/stat : 31911 (sugar++) R 31909 31911 31650 0 -1 4194304 767 0 0 0 3 0 0 0 18 0 1 0 75188165 13791232 735 996147200 4194304 4206940 548682068528 18446744073709551615 268591741950 0 0 4224 0 0 0 0 17 1 0 0
/proc/31911/statm: 3367 735 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468
[startup+0.10102 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.06
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.302012 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.06
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701066 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.54
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1279 4536 0 1 5 1 45 3 16 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 16740
[startup+1.50116 s]
/proc/loadavg: 1.92 1.98 2.04 4/85 31933
/proc/meminfo: memFree=1542732/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1297 4536 0 1 6 1 45 3 15 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
[pid=31924] ppid=31911 vsize=5356 CPUtime=0
/proc/31924/stat : 31924 (sh) S 31911 31911 31650 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75188226 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31924/statm: 1339 233 193 169 0 50 0
[pid=31925] ppid=31924 vsize=868344 CPUtime=0.85
/proc/31925/stat : 31925 (java) S 31924 31911 31650 0 -1 0 6642 0 1 0 80 5 0 0 18 0 9 0 75188227 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31925/statm: 217086 5830 2563 9 0 211633 0
[pid=31925/tid=31926] ppid=31924 vsize=868344 CPUtime=0.49
/proc/31925/task/31926/stat : 31926 (java) R 31924 31911 31650 0 -1 64 2745 0 1 0 47 2 0 0 23 0 9 0 75188228 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4126526077 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31927] ppid=31924 vsize=868344 CPUtime=0.07
/proc/31925/task/31927/stat : 31927 (java) S 31924 31911 31650 0 -1 64 1698 0 0 0 7 0 0 0 16 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31928] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31928/stat : 31928 (java) S 31924 31911 31650 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31929] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31929/stat : 31929 (java) S 31924 31911 31650 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31930] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31930/stat : 31930 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31931] ppid=31924 vsize=868344 CPUtime=0.26
/proc/31925/task/31931/stat : 31931 (java) S 31924 31911 31650 0 -1 64 1506 0 0 0 25 1 0 0 16 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31932] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31932/stat : 31932 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31933] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31933/stat : 31933 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890440
[startup+3.10135 s]
/proc/loadavg: 1.92 1.98 2.04 4/85 31933
/proc/meminfo: memFree=1531340/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=2.66
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1469 11839 3 2 6 2 237 21 16 0 1 0 75188165 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1130 413 3 0 797 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 16872
[startup+6.30172 s]
/proc/loadavg: 2.01 2.00 2.05 3/76 31954
/proc/meminfo: memFree=1508564/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.23
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1633 19611 3 4 6 2 289 26 15 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30492 CPUtime=2.83
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7522 0 0 0 278 5 0 0 25 0 1 0 75188444 31223808 7467 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7623 7467 80 151 0 7469 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 47364
[startup+12.7015 s]
/proc/loadavg: 2.01 2.00 2.05 3/76 31954
/proc/meminfo: memFree=1508436/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.23
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1633 19611 3 4 6 2 289 26 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30624 CPUtime=9.16
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7545 0 0 0 911 5 0 0 25 0 1 0 75188444 31358976 7490 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7656 7490 80 151 0 7502 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 47496
[startup+25.503 s]
/proc/loadavg: 2.00 2.00 2.05 3/76 31964
/proc/meminfo: memFree=1508308/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 15 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30760 CPUtime=21.47
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7608 0 0 0 2142 5 0 0 25 0 1 0 75188444 31498240 7542 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7690 7542 80 151 0 7536 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 47632
[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 2.04 3/76 31964
/proc/meminfo: memFree=1507348/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30880 CPUtime=46.83
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7642 0 0 0 4677 6 0 0 25 0 1 0 75188444 31621120 7576 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7720 7576 80 151 0 7566 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 47752
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/76 31964
/proc/meminfo: memFree=1500756/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=34968 CPUtime=97.55
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 8644 0 0 0 9748 7 0 0 25 0 1 0 75188444 35807232 8578 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 8742 8578 80 151 0 8588 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 51840
[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 31964
/proc/meminfo: memFree=1492436/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=40592 CPUtime=156.98
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 10024 0 0 0 15690 8 0 0 25 0 1 0 75188444 41566208 9958 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 10148 9958 80 151 0 9994 0
Current children cumulated CPU time (s) 160.53
Current children cumulated vsize (KiB) 57464
[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 31964
/proc/meminfo: memFree=1485588/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=44544 CPUtime=216.43
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 11020 0 0 0 21633 10 0 0 25 0 1 0 75188444 45613056 10954 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 11136 10954 80 151 0 10982 0
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (KiB) 61416
[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 31964
/proc/meminfo: memFree=1479828/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=48432 CPUtime=275.86
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 11892 0 0 0 27576 10 0 0 25 0 1 0 75188444 49594368 11826 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 12108 11826 80 151 0 11954 0
Current children cumulated CPU time (s) 279.41
Current children cumulated vsize (KiB) 65304
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 31964
/proc/meminfo: memFree=1474068/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=51552 CPUtime=335.3
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 12689 0 0 0 33518 12 0 0 25 0 1 0 75188444 52789248 12623 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
[pid=31934] ppid=31911 vsize=80828 CPUtime=2839.44
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19669 0 0 0 283836 108 0 0 25 0 1 0 75188444 82767872 19603 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20207 19603 80 151 0 20053 0
Current children cumulated CPU time (s) 2842.99
Current children cumulated vsize (KiB) 97700
[startup+2922.3 s]
/proc/loadavg: 2.01 2.12 2.08 3/83 32711
/proc/meminfo: memFree=1840156/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=80828 CPUtime=2899.41
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19674 0 0 0 289833 108 0 0 25 0 1 0 75188444 82767872 19608 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20207 19608 80 151 0 20053 0
Current children cumulated CPU time (s) 2902.96
Current children cumulated vsize (KiB) 97700
[startup+2982.31 s]
/proc/loadavg: 2.07 2.11 2.07 3/83 32711
/proc/meminfo: memFree=1835996/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81112 CPUtime=2959.17
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19710 0 0 0 295809 108 0 0 25 0 1 0 75188444 83058688 19644 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20278 19644 80 151 0 20124 0
Current children cumulated CPU time (s) 2962.72
Current children cumulated vsize (KiB) 97984
[startup+3042.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/83 32711
/proc/meminfo: memFree=1831964/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81112 CPUtime=3018.92
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19719 0 0 0 301784 108 0 0 25 0 1 0 75188444 83058688 19653 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20278 19653 80 151 0 20124 0
Current children cumulated CPU time (s) 3022.47
Current children cumulated vsize (KiB) 97984
[startup+3102.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/83 32711
/proc/meminfo: memFree=1829852/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81812 CPUtime=3078.69
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19833 0 0 0 307760 109 0 0 25 0 1 0 75188444 83775488 19767 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20453 19767 80 151 0 20299 0
Current children cumulated CPU time (s) 3082.24
Current children cumulated vsize (KiB) 98684
[startup+3162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/83 32711
/proc/meminfo: memFree=1827100/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=82492 CPUtime=3138.44
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19969 0 0 0 313735 109 0 0 25 0 1 0 75188444 84471808 19903 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20623 19903 80 151 0 20469 0
Current children cumulated CPU time (s) 3141.99
Current children cumulated vsize (KiB) 99364
[startup+3222.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/84 32718
/proc/meminfo: memFree=1276180/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=83116 CPUtime=3198.16
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20098 0 0 0 319707 109 0 0 25 0 1 0 75188444 85110784 20032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 20779 20032 80 151 0 20625 0
Current children cumulated CPU time (s) 3201.71
Current children cumulated vsize (KiB) 99988
[startup+3282.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/83 32718
/proc/meminfo: memFree=1167892/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=83644 CPUtime=3257.87
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20244 0 0 0 325678 109 0 0 25 0 1 0 75188444 85651456 20178 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 20911 20178 80 151 0 20757 0
Current children cumulated CPU time (s) 3261.42
Current children cumulated vsize (KiB) 100516
[startup+3342.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/83 32718
/proc/meminfo: memFree=1166868/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=84728 CPUtime=3317.58
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20510 0 0 0 331648 110 0 0 25 0 1 0 75188444 86761472 20444 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21182 20444 80 151 0 21028 0
Current children cumulated CPU time (s) 3321.13
Current children cumulated vsize (KiB) 101600
[startup+3402.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/83 32718
/proc/meminfo: memFree=1165268/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86048 CPUtime=3377.3
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20880 0 0 0 337619 111 0 0 25 0 1 0 75188444 88113152 20814 996147200 134512640 135134323 4294956192 18446744073709551615 134524710 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21512 20814 80 151 0 21358 0
Current children cumulated CPU time (s) 3380.85
Current children cumulated vsize (KiB) 102920
[startup+3462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 32718
/proc/meminfo: memFree=1164948/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86260 CPUtime=3437.01
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20906 0 0 0 343590 111 0 0 25 0 1 0 75188444 88330240 20840 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21565 20840 80 151 0 21411 0
Current children cumulated CPU time (s) 3440.56
Current children cumulated vsize (KiB) 103132
[startup+3522.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 32718
/proc/meminfo: memFree=1164756/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86260 CPUtime=3496.72
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20924 0 0 0 349561 111 0 0 25 0 1 0 75188444 88330240 20858 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21565 20858 80 151 0 21411 0
Current children cumulated CPU time (s) 3500.27
Current children cumulated vsize (KiB) 103132
[startup+3582.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/83 32718
/proc/meminfo: memFree=1164372/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86672 CPUtime=3556.43
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 21001 0 0 0 355532 111 0 0 25 0 1 0 75188444 88752128 20935 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21668 20935 80 151 0 21514 0
Current children cumulated CPU time (s) 3559.98
Current children cumulated vsize (KiB) 103544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3622.6 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 32718
/proc/meminfo: memFree=1163924/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=87200 CPUtime=3596.54
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 21112 0 0 0 359543 111 0 0 25 0 1 0 75188444 89292800 21046 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21800 21046 80 151 0 21646 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 104072
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): 3622.68
CPU time (s): 3600.14
CPU user time (s): 3598.7
CPU system time (s): 1.44278
CPU usage (%): 99.3777
Max. virtual memory (cumulated for all children) (KiB): 890440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.44278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46387
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5130
involuntary context switches= 68962
runsolver used 4.09538 second user time and 11.4543 second system time
The end
Begin job on node6 at 2008-07-16 07:07:29
IDJOB=1126579
IDBENCH=64262
IDSOLVER=367
FILE ID=node6/1126579-1216184849
PBS_JOBID= 7905913
Free space on /tmp= 66440 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/spot5/normalized-spot5-404_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-1126579-1216184849/watcher-1126579-1216184849 -o /tmp/evaluation-result-1126579-1216184849/solver-1126579-1216184849 -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-1126579-1216184849.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d4e23fed7b10524fe79d710d5f8a00a4
RANDOM SEED=865464196
node6.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.232
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.232
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: 2055924 kB
MemFree: 1554692 kB
Buffers: 7356 kB
Cached: 175908 kB
SwapCached: 5980 kB
Active: 422588 kB
Inactive: 24048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1554692 kB
SwapTotal: 4192956 kB
SwapFree: 4181092 kB
Dirty: 888 kB
Writeback: 0 kB
Mapped: 270120 kB
Slab: 39168 kB
Committed_AS: 622504 kB
PageTables: 2484 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= 66556 MiB
End job on node6 at 2008-07-16 08:07:54