0.06/0.23 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.06/0.23 c 0 BEGIN Wed Jul 23 01:18:15 2008
0.06/0.23 c 0 PID 4079
0.06/0.23 c 0 HOST node68.alineos.net
0.06/0.23 c 0 CONVERTING HOME/instance-1127419-1216768695.xml TO HOME/temp.csp
0.06/0.23 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127419-1216768695.xml' 'HOME/temp.csp'
0.08/0.59 c 1 1 domains, 80 variables, 0 predicates, 17 relations, 1489 constraints
0.08/0.62 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.08/0.62 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.50/0.71 c 1 Parsing HOME/temp.csp
0.50/0.88 c 1 parsed 1587 expressions
0.50/0.88 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.50/0.90 c 1 MAX CSP: 1489 constraints
0.50/0.90 c 1 Converting to clausal form CSP
0.50/0.95 c 1 converted 308 (10%) expressions
0.50/0.98 c 1 converted 616 (20%) expressions
0.85/1.01 c 1 converted 924 (30%) expressions
0.85/1.08 c 1 converted 1232 (40%) expressions
0.85/1.09 c 1 converted 1540 (50%) expressions
0.97/1.11 c 1 converted 1848 (60%) expressions
0.97/1.11 c 1 converted 2156 (70%) expressions
0.97/1.11 c 1 converted 2464 (80%) expressions
0.97/1.12 c 1 converted 2772 (90%) expressions
1.07/1.28 c 1 converted 3079 (100%) expressions
1.07/1.28 c 1 CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 2234
1.07/1.28 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.07/1.28 c 1 Propagation in CSP
1.16/1.38 c 1 1483 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.16/1.38 c 1 CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 1490
1.16/1.38 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.16/1.38 c 1 Simplifing CSP by introducing new Boolean variables
1.16/1.39 c 1 CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 1490
1.16/1.39 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.26/1.43 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.26/1.44 c 1 306 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44 c 1 612 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44 c 1 918 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44 c 1 1224 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.45 c 1 1529 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.46 c 1 1835 (60%) CSP integer variables are encoded (3065 clauses, 39909 bytes)
1.26/1.46 c 1 2141 (70%) CSP integer variables are encoded (5604 clauses, 72916 bytes)
1.26/1.48 c 1 2447 (80%) CSP integer variables are encoded (18815 clauses, 266918 bytes)
1.26/1.48 c 1 2753 (90%) CSP integer variables are encoded (23695 clauses, 340118 bytes)
1.26/1.49 c 2 3058 (100%) CSP integer variables are encoded (27739 clauses, 400778 bytes)
1.36/1.54 c 2 447 (10%) CSP clauses are encoded (28188 clauses, 408107 bytes)
1.36/1.56 c 2 894 (20%) CSP clauses are encoded (28636 clauses, 415959 bytes)
1.36/1.57 c 2 1340 (30%) CSP clauses are encoded (29085 clauses, 424218 bytes)
1.46/1.62 c 2 1787 (40%) CSP clauses are encoded (42040 clauses, 653273 bytes)
1.77/1.92 c 2 2233 (50%) CSP clauses are encoded (174426 clauses, 3076471 bytes)
1.86/2.01 c 2 2680 (60%) CSP clauses are encoded (212715 clauses, 3766643 bytes)
3.17/3.35 c 3 3127 (70%) CSP clauses are encoded (684130 clauses, 12656583 bytes)
4.26/4.47 c 4 3573 (80%) CSP clauses are encoded (1187794 clauses, 23406329 bytes)
5.55/5.70 c 6 4020 (90%) CSP clauses are encoded (1750117 clauses, 35452351 bytes)
7.95/8.15 c 8 4466 (100%) CSP clauses are encoded (2855369 clauses, 59155839 bytes)
7.95/8.15 c 8 4466 CSP clauses encoded
7.95/8.15 c 8 Writing map file : HOME/temp.map
7.95/8.19 c 8 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.95/8.19 c 8 SAT : 30797 SAT variables, 2855369 SAT clauses, 59155839 bytes
7.95/8.19 c 8 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.03/8.24 c 8 OBJECTIVE minimize _COST
8.03/8.24 c 8 SOLVING HOME/temp.cnf
8.03/8.24 c 8 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
8.03/8.24 c 8 This is MiniSat 2.0 beta incremental
8.03/8.24 c 8 WARNING: for repeatability, setting FPU to use double precision
8.03/8.24 c 8 ============================[ Problem Statistics ]=============================
8.03/8.24 c 8 | |
8.03/8.24 c 8 | Number of variables: 30797 |
8.03/8.24 c 8 | Number of clauses: 2855369 |
9.30/9.55 c 10 | Parsing time: 1.12 s |
9.40/9.61 c 10 OK
9.40/9.61 c 10 OBJECTIVE BOUND: 0 <= _COST <=
9.40/9.61 c 10 SEARCHING: _COST <= 745
9.40/9.61 c 10 ============================[ Search Statistics ]==============================
9.40/9.61 c 10 | Conflicts | ORIGINAL | LEARNT | Progress |
9.40/9.61 c 10 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.40/9.61 c 10 ===============================================================================
9.40/9.61 c 10 | 0 | 30797 2855369 8482893 | 951789 0 nan | 0.000 % |
10.08/10.33 c 10 ===============================================================================
10.08/10.33 c 10 restarts : 1
10.08/10.33 c 10 conflicts : 97 (52 /sec)
10.08/10.33 c 10 decisions : 604 (1.16 % random) (323 /sec)
10.08/10.33 c 10 propagations : 182764 (97750 /sec)
10.08/10.33 c 10 conflict literals : 3227 (10.93 % deleted)
10.08/10.33 c 10 Memory used : 119.55 MB
10.08/10.33 c 10 CPU time : 1.86972 s
10.08/10.33 c 10
10.08/10.33 c 10 SATISFIABLE
10.08/10.34 c 10 OK
10.08/10.34 c 10 FOUND: _COST <= 745
10.08/10.34 s SATISFIABLE
10.08/10.34 c 10 DECODING HOME/temp.out WITH HOME/temp.map
10.08/10.34 c 10 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.12/10.43 c 10 Decoding HOME/temp.out
10.12/10.81 c 11 OBJECTIVE _COST 374
10.12/10.81 o 374
10.12/10.81 v 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1
10.12/10.82 c 11 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.12/10.86 c 11 OK
10.12/10.86 c 11 OBJECTIVE BOUND: 0 <= _COST <= 374
10.12/10.86 c 11 SEARCHING: _COST <= 187
10.12/10.86 c 11 ============================[ Search Statistics ]==============================
10.12/10.86 c 11 | Conflicts | ORIGINAL | LEARNT | Progress |
10.12/10.86 c 11 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.12/10.86 c 11 ===============================================================================
10.12/10.87 c 11 | 97 | 30797 2855369 8482893 | 951789 97 33 | 0.000 % |
10.95/11.23 c 11 | 198 | 30797 2855369 8482893 | 1046968 198 27 | 41.030 % |
11.15/11.47 c 11 | 348 | 30797 2855369 8482893 | 1151665 348 25 | 41.030 % |
11.35/11.67 c 12 | 575 | 30797 2855369 8482893 | 1266832 575 22 | 41.030 % |
12.34/12.65 c 13 | 914 | 30797 2855369 8482893 | 1393515 914 30 | 41.030 % |
13.53/13.80 c 14 | 1421 | 30797 2855369 8482893 | 1532866 1421 36 | 41.030 % |
14.22/14.57 c 15 | 2181 | 30797 2855369 8482893 | 1686153 2181 39 | 41.030 % |
16.30/16.68 c 17 | 3321 | 30797 2855369 8482893 | 1854768 3321 44 | 41.030 % |
18.68/19.03 c 19 | 5029 | 30797 2855369 8482893 | 2040245 5029 46 | 41.030 % |
18.98/19.30 c 19 ===============================================================================
18.98/19.30 c 19 restarts : 10
18.98/19.30 c 19 conflicts : 5231 (510 /sec)
18.98/19.30 c 19 decisions : 8593 (0.49 % random) (838 /sec)
18.98/19.30 c 19 propagations : 5512440 (537357 /sec)
18.98/19.30 c 19 conflict literals : 239236 (13.45 % deleted)
18.98/19.30 c 19 Memory used : 120.84 MB
18.98/19.30 c 19 CPU time : 10.2584 s
18.98/19.30 c 19
18.98/19.30 c 19 SATISFIABLE
18.98/19.31 c 19 OK
18.98/19.31 c 19 FOUND: _COST <= 187
18.98/19.31 c 19 DECODING HOME/temp.out WITH HOME/temp.map
18.98/19.31 c 19 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
18.98/19.39 c 19 Decoding HOME/temp.out
18.99/19.59 c 20 OBJECTIVE _COST 187
18.99/19.59 o 187
18.99/19.59 v 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1
18.99/19.59 c 20 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
18.99/19.66 c 20 OK
18.99/19.66 c 20 OBJECTIVE BOUND: 0 <= _COST <= 187
18.99/19.66 c 20 SEARCHING: _COST <= 93
18.99/19.66 c 20 ============================[ Search Statistics ]==============================
18.99/19.66 c 20 | Conflicts | ORIGINAL | LEARNT | Progress |
18.99/19.66 c 20 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.99/19.66 c 20 ===============================================================================
18.99/19.66 c 20 | 5231 | 18161 2855369 8482893 | 951789 5231 46 | 41.030 % |
19.62/20.05 c 20 | 5331 | 18161 2855369 8482893 | 1046968 5331 46 | 50.122 % |
20.02/20.41 c 20 | 5481 | 18161 2855369 8482893 | 1151665 5481 45 | 50.122 % |
20.32/20.74 c 21 | 5707 | 18161 2855369 8482893 | 1266832 5707 44 | 50.122 % |
20.71/21.16 c 21 | 6044 | 18161 2855369 8482893 | 1393515 6044 43 | 50.122 % |
21.70/22.10 c 22 | 6550 | 18161 2855369 8482893 | 1532866 6550 42 | 50.122 % |
22.50/22.96 c 23 | 7309 | 18161 2855369 8482893 | 1686153 7309 41 | 50.122 % |
25.17/25.66 c 26 | 8450 | 18161 2855369 8482893 | 1854768 8450 41 | 50.122 % |
30.73/31.25 c 31 | 10158 | 15361 671853 1977351 | 2040245 10156 41 | 50.122 % |
34.00/34.53 c 35 | 12721 | 15361 671853 1977351 | 2244270 12719 39 | 50.122 % |
39.36/39.90 c 40 | 16565 | 15361 671853 1977351 | 2468697 16563 40 | 50.122 % |
47.19/47.85 c 48 | 22332 | 15361 671853 1977351 | 2715566 22330 40 | 50.122 % |
63.45/64.25 c 64 | 30982 | 15361 671853 1977351 | 2987123 30980 42 | 50.122 % |
88.63/89.65 c 90 | 43957 | 15361 671853 1977351 | 3285836 43955 44 | 50.122 % |
124.42/125.75 c 126 | 63419 | 15361 671853 1977351 | 3614419 63417 44 | 50.122 % |
184.40/186.24 c 186 | 92611 | 15361 671853 1977351 | 3975861 92609 44 | 50.122 % |
291.48/294.24 c 294 | 136402 | 15361 671853 1977351 | 4373447 136400 45 | 50.122 % |
451.30/455.45 c 455 | 202089 | 15361 671853 1977351 | 4810792 202087 45 | 50.122 % |
732.58/739.17 c 739 | 300615 | 15361 671853 1977351 | 5291871 300613 45 | 50.122 % |
1257.86/1268.99 c 1269 | 448405 | 15361 671853 1977351 | 5821059 448403 45 | 50.122 % |
2235.14/2254.61 c 2255 | 670088 | 15361 671853 1977351 | 6403164 670086 45 | 50.122 % |
3600.00/3631.01 c ERROR INTERRUPTED
3600.00/3631.07 c 3631 CPU 3598.77 (0.06 0.03 3598.71 1.26)
3600.00/3631.07 c 3631 END Wed Jul 23 02:18:46 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-1127419-1216768695/watcher-1127419-1216768695 -o /tmp/evaluation-result-1127419-1216768695/solver-1127419-1216768695 -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-1127419-1216768695.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.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=12268 CPUtime=0
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 3926650 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 209560762981 0 2147483391 4224 0 18446744072099863542 0 0 17 1 0 0
/proc/4079/statm: 3067 316 241 3 0 167 0
[startup+0.019629 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=12272 CPUtime=0
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 409 0 0 0 0 0 0 0 18 0 1 0 3926650 12566528 377 996147200 4194304 4206940 548682068528 18446744073709551615 209569496062 0 2147483391 4224 0 18446744072099863542 0 0 17 1 0 0
/proc/4079/statm: 3068 377 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.102636 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=13336 CPUtime=0.03
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 732 0 0 0 2 1 0 0 18 0 1 0 3926650 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 209560762981 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/4079/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.302661 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.08
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1219 128 0 0 5 3 0 0 19 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16740
[startup+0.702699 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1279 4780 0 1 5 3 38 4 16 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16740
[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 4/91 4109
/proc/meminfo: memFree=1608616/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 15 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=0.86
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 7160 0 2 0 81 5 0 0 18 0 9 0 3926712 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6373 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=0.49
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 2739 0 2 0 47 2 0 0 18 0 9 0 3926713 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4125960196 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.11
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 11 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.23
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1480 0 0 0 22 1 0 0 16 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 890592
[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 3/91 4109
/proc/meminfo: memFree=1591464/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 15 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=2.46
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 7546 0 2 0 232 14 0 0 18 0 9 0 3926712 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6399 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=1.96
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 3100 0 2 0 188 8 0 0 25 0 9 0 3926713 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4126993128 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.19
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 17 2 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.27
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 890592
[startup+6.30224 s]
/proc/loadavg: 1.08 1.02 1.01 3/91 4109
/proc/meminfo: memFree=1563624/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 16 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=5.65
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 8387 0 2 0 529 36 0 0 18 0 9 0 3926712 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6399 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=4.98
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 3941 0 2 0 471 27 0 0 25 0 9 0 3926713 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.37
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 31 6 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.27
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 890592
[startup+12.7019 s]
/proc/loadavg: 1.23 1.05 1.02 3/82 4120
/proc/meminfo: memFree=1432048/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.53
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1589 17899 0 4 6 3 788 56 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=123336 CPUtime=3.91
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 29968 0 0 0 371 20 0 0 25 0 1 0 3927474 126296064 29915 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 30834 29915 80 151 0 30680 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 140340
[startup+25.5021 s]
/proc/loadavg: 1.40 1.10 1.03 3/82 4130
/proc/meminfo: memFree=1431344/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124168 CPUtime=16.27
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30169 0 0 0 1607 20 0 0 25 0 1 0 3927474 127148032 30114 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31042 30114 80 151 0 30888 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 141172
[startup+51.1026 s]
/proc/loadavg: 1.61 1.17 1.05 3/82 4130
/proc/meminfo: memFree=1431344/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124308 CPUtime=41.66
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30200 0 0 0 4145 21 0 0 25 0 1 0 3927474 127291392 30145 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31077 30145 80 151 0 30923 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 141312
[startup+102.307 s]
/proc/loadavg: 1.83 1.29 1.10 3/82 4130
/proc/meminfo: memFree=1418352/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124444 CPUtime=92.42
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30265 0 0 0 9221 21 0 0 25 0 1 0 3927474 127430656 30202 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31111 30202 80 151 0 30957 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 141448
[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.16 3/82 4130
/proc/meminfo: memFree=1417456/2055920 swapFree=4192956/4192956
################
# More data... #
################
[pid=4110] ppid=4079 vsize=243084 CPUtime=2828.84
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 59107 0 0 0 282830 54 0 0 25 0 1 0 3927474 248918016 59044 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 60771 59044 80 151 0 60617 0
Current children cumulated CPU time (s) 2837.64
Current children cumulated vsize (KiB) 260088
[startup+2922.3 s]
/proc/loadavg: 2.12 2.10 1.96 3/82 4138
/proc/meminfo: memFree=1299568/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=245224 CPUtime=2888.33
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 59662 0 0 0 288778 55 0 0 25 0 1 0 3927474 251109376 59599 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 61306 59599 80 151 0 61152 0
Current children cumulated CPU time (s) 2897.13
Current children cumulated vsize (KiB) 262228
[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 1.97 3/82 4138
/proc/meminfo: memFree=1297200/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=247336 CPUtime=2947.82
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 60230 0 0 0 294726 56 0 0 25 0 1 0 3927474 253272064 60167 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 61834 60167 80 151 0 61680 0
Current children cumulated CPU time (s) 2956.62
Current children cumulated vsize (KiB) 264340
[startup+3042.3 s]
/proc/loadavg: 2.25 2.14 2.00 3/82 4138
/proc/meminfo: memFree=1295216/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=249500 CPUtime=3007.3
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 60783 0 0 0 300674 56 0 0 25 0 1 0 3927474 255488000 60720 996147200 134512640 135134323 4294956192 18446744073709551615 134532334 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 62375 60720 80 151 0 62221 0
Current children cumulated CPU time (s) 3016.1
Current children cumulated vsize (KiB) 266504
[startup+3102.3 s]
/proc/loadavg: 2.09 2.12 2.00 3/82 4138
/proc/meminfo: memFree=1292976/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=251760 CPUtime=3066.79
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 61348 0 0 0 306622 57 0 0 25 0 1 0 3927474 257802240 61285 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 62940 61285 80 151 0 62786 0
Current children cumulated CPU time (s) 3075.59
Current children cumulated vsize (KiB) 268764
[startup+3162.3 s]
/proc/loadavg: 2.03 2.09 2.00 3/82 4138
/proc/meminfo: memFree=1290608/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=254164 CPUtime=3126.28
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 61922 0 0 0 312571 57 0 0 25 0 1 0 3927474 260263936 61859 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 63541 61859 80 151 0 63387 0
Current children cumulated CPU time (s) 3135.08
Current children cumulated vsize (KiB) 271168
[startup+3222.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/82 4138
/proc/meminfo: memFree=1288496/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=256136 CPUtime=3185.77
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 62444 0 0 0 318519 58 0 0 25 0 1 0 3927474 262283264 62381 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 64034 62381 80 151 0 63880 0
Current children cumulated CPU time (s) 3194.57
Current children cumulated vsize (KiB) 273140
[startup+3282.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/82 4138
/proc/meminfo: memFree=1286320/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=258180 CPUtime=3245.25
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 62970 0 0 0 324467 58 0 0 25 0 1 0 3927474 264376320 62907 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 64545 62907 80 151 0 64391 0
Current children cumulated CPU time (s) 3254.05
Current children cumulated vsize (KiB) 275184
[startup+3342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 4138
/proc/meminfo: memFree=1284400/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=260244 CPUtime=3304.74
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 63460 0 0 0 330415 59 0 0 25 0 1 0 3927474 266489856 63397 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65061 63397 80 151 0 64907 0
Current children cumulated CPU time (s) 3313.54
Current children cumulated vsize (KiB) 277248
[startup+3402.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 4138
/proc/meminfo: memFree=1282480/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=262128 CPUtime=3364.23
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 63928 0 0 0 336363 60 0 0 25 0 1 0 3927474 268419072 63865 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65532 63865 80 151 0 65378 0
Current children cumulated CPU time (s) 3373.03
Current children cumulated vsize (KiB) 279132
[startup+3462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 4138
/proc/meminfo: memFree=1280432/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=263976 CPUtime=3423.72
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 64383 0 0 0 342312 60 0 0 25 0 1 0 3927474 270311424 64320 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65994 64320 80 151 0 65840 0
Current children cumulated CPU time (s) 3432.52
Current children cumulated vsize (KiB) 280980
[startup+3522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 4138
/proc/meminfo: memFree=1278832/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=265708 CPUtime=3483.2
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 64829 0 0 0 348260 60 0 0 25 0 1 0 3927474 272084992 64766 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 66427 64766 80 151 0 66273 0
Current children cumulated CPU time (s) 3492
Current children cumulated vsize (KiB) 282712
[startup+3582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 4138
/proc/meminfo: memFree=1275760/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=268496 CPUtime=3542.7
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 65542 0 0 0 354209 61 0 0 25 0 1 0 3927474 274939904 65479 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 67124 65479 80 151 0 66970 0
Current children cumulated CPU time (s) 3551.5
Current children cumulated vsize (KiB) 285500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631 s]
/proc/loadavg: 1.95 1.99 1.99 3/83 4179
/proc/meminfo: memFree=1301352/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=270124 CPUtime=3591.2
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 65949 0 0 0 359057 63 0 0 25 0 1 0 3927474 276606976 65886 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/4110/statm: 67531 65886 80 151 0 67377 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 287128
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): 3631.08
CPU time (s): 3600.12
CPU user time (s): 3598.79
CPU system time (s): 1.3358
CPU usage (%): 99.1475
Max. virtual memory (cumulated for all children) (KiB): 890592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.3358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89557
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14698
involuntary context switches= 93606
runsolver used 3.54746 second user time and 9.98348 second system time
The end
Begin job on node68 at 2008-07-23 01:18:15
IDJOB=1127419
IDBENCH=63359
IDSOLVER=367
FILE ID=node68/1127419-1216768695
PBS_JOBID= 7974112
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1500-895345_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-1127419-1216768695/watcher-1127419-1216768695 -o /tmp/evaluation-result-1127419-1216768695/solver-1127419-1216768695 -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-1127419-1216768695.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 87ba74751d0bd7acfa693e3072b71aab
RANDOM SEED=1998609821
node68.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.236
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.236
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: 1665720 kB
Buffers: 31764 kB
Cached: 299464 kB
SwapCached: 0 kB
Active: 280384 kB
Inactive: 66120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665720 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3012 kB
Writeback: 0 kB
Mapped: 25056 kB
Slab: 29160 kB
Committed_AS: 54320 kB
PageTables: 1740 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node68 at 2008-07-23 02:18:48