0.09/0.31 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.09/0.31 c 0 BEGIN Wed Jul 23 00:18:12 2008
0.09/0.31 c 0 PID 3869
0.09/0.31 c 0 HOST node65.alineos.net
0.09/0.31 c 0 CONVERTING HOME/instance-1127363-1216765092.xml TO HOME/temp.csp
0.09/0.32 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127363-1216765092.xml' 'HOME/temp.csp'
0.12/0.69 c 1 1 domains, 80 variables, 0 predicates, 14 relations, 1088 constraints
0.12/0.75 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.12/0.75 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.82 c 1 Parsing HOME/temp.csp
0.50/0.96 c 1 parsed 1183 expressions
0.50/0.96 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.50/0.98 c 1 MAX CSP: 1088 constraints
0.50/0.98 c 1 Converting to clausal form CSP
0.73/1.03 c 1 converted 228 (10%) expressions
0.73/1.05 c 1 converted 455 (20%) expressions
0.73/1.07 c 1 converted 683 (30%) expressions
0.73/1.08 c 1 converted 910 (40%) expressions
0.83/1.15 c 1 converted 1137 (50%) expressions
0.83/1.16 c 1 converted 1365 (60%) expressions
0.83/1.17 c 1 converted 1592 (70%) expressions
0.83/1.18 c 1 converted 1820 (80%) expressions
0.83/1.19 c 1 converted 2047 (90%) expressions
1.03/1.32 c 1 converted 2274 (100%) expressions
1.03/1.32 c 1 CSP : 2256 integers, 0 booleans, 3263 clauses, largest domain size 1633
1.03/1.32 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.32 c 1 Propagation in CSP
1.03/1.37 c 2 1086 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.03/1.37 c 2 CSP : 2256 integers, 0 booleans, 3263 clauses, largest domain size 1089
1.03/1.37 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.38 c 2 Simplifing CSP by introducing new Boolean variables
1.03/1.38 c 2 CSP : 2256 integers, 0 booleans, 3263 clauses, largest domain size 1089
1.03/1.38 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.13/1.43 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.13/1.44 c 2 226 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.13/1.45 c 2 452 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.13/1.45 c 2 677 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.13/1.45 c 2 903 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.13/1.45 c 2 1128 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.13/1.47 c 2 1354 (60%) CSP integer variables are encoded (10549 clauses, 140774 bytes)
1.13/1.48 c 2 1580 (70%) CSP integer variables are encoded (13115 clauses, 179264 bytes)
1.13/1.48 c 2 1805 (80%) CSP integer variables are encoded (15723 clauses, 218384 bytes)
1.13/1.48 c 2 2031 (90%) CSP integer variables are encoded (17407 clauses, 243644 bytes)
1.13/1.49 c 2 2256 (100%) CSP integer variables are encoded (19715 clauses, 278264 bytes)
1.21/1.52 c 2 327 (10%) CSP clauses are encoded (20055 clauses, 282675 bytes)
1.21/1.54 c 2 653 (20%) CSP clauses are encoded (20399 clauses, 287381 bytes)
1.21/1.56 c 2 979 (30%) CSP clauses are encoded (20749 clauses, 292221 bytes)
1.91/2.21 c 2 1306 (40%) CSP clauses are encoded (186227 clauses, 3276163 bytes)
2.60/2.99 c 3 1632 (50%) CSP clauses are encoded (635651 clauses, 12763862 bytes)
2.71/3.03 c 3 1958 (60%) CSP clauses are encoded (656523 clauses, 13197309 bytes)
3.69/4.03 c 4 2285 (70%) CSP clauses are encoded (1236050 clauses, 25621770 bytes)
3.69/4.08 c 4 2611 (80%) CSP clauses are encoded (1260122 clauses, 26122679 bytes)
3.78/4.18 c 4 2937 (90%) CSP clauses are encoded (1319240 clauses, 27374426 bytes)
4.16/4.59 c 5 3263 (100%) CSP clauses are encoded (1539971 clauses, 32087160 bytes)
4.16/4.59 c 5 3263 CSP clauses encoded
4.16/4.59 c 5 Writing map file : HOME/temp.map
4.26/4.61 c 5 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.26/4.61 c 5 SAT : 21971 SAT variables, 1539971 SAT clauses, 32087160 bytes
4.26/4.61 c 5 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.26/4.65 c 5 OBJECTIVE minimize _COST
4.26/4.65 c 5 SOLVING HOME/temp.cnf
4.26/4.65 c 5 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
4.26/4.66 c 5 This is MiniSat 2.0 beta incremental
4.26/4.66 c 5 WARNING: for repeatability, setting FPU to use double precision
4.26/4.66 c 5 ============================[ Problem Statistics ]=============================
4.26/4.66 c 5 | |
4.26/4.66 c 5 | Number of variables: 21971 |
4.26/4.66 c 5 | Number of clauses: 1539971 |
4.30/5.37 c 6 | Parsing time: 0.61 s |
5.03/5.41 c 6 OK
5.03/5.41 c 6 OBJECTIVE BOUND: 0 <= _COST <=
5.03/5.41 c 6 SEARCHING: _COST <= 544
5.03/5.41 c 6 ============================[ Search Statistics ]==============================
5.03/5.41 c 6 | Conflicts | ORIGINAL | LEARNT | Progress |
5.03/5.41 c 6 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.03/5.41 c 6 ===============================================================================
5.03/5.41 c 6 | 0 | 21971 1539971 4559571 | 513323 0 nan | 0.000 % |
5.53/5.96 c 6 ===============================================================================
5.53/5.96 c 6 restarts : 1
5.53/5.96 c 6 conflicts : 20 (17 /sec)
5.53/5.96 c 6 decisions : 561 (0.89 % random) (472 /sec)
5.53/5.96 c 6 propagations : 149256 (125550 /sec)
5.53/5.96 c 6 conflict literals : 205 (18.97 % deleted)
5.53/5.96 c 6 Memory used : 64.25 MB
5.53/5.96 c 6 CPU time : 1.18882 s
5.53/5.96 c 6
5.53/5.96 c 6 SATISFIABLE
5.53/5.97 c 6 OK
5.53/5.97 c 6 FOUND: _COST <= 544
5.53/5.97 s SATISFIABLE
5.53/5.97 c 6 DECODING HOME/temp.out WITH HOME/temp.map
5.53/5.97 c 6 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
5.60/6.05 c 6 Decoding HOME/temp.out
5.60/6.20 c 6 OBJECTIVE _COST 544
5.60/6.20 o 544
5.60/6.20 v 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0
5.60/6.21 c 6 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
5.60/6.24 c 6 OK
5.60/6.24 c 6 OBJECTIVE BOUND: 0 <= _COST <= 544
5.60/6.24 c 6 SEARCHING: _COST <= 272
5.60/6.25 c 6 ============================[ Search Statistics ]==============================
5.60/6.25 c 6 | Conflicts | ORIGINAL | LEARNT | Progress |
5.60/6.25 c 6 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.60/6.25 c 6 ===============================================================================
5.60/6.25 c 6 | 20 | 21958 1539971 4559571 | 513323 19 11 | 0.000 % |
6.09/6.54 c 7 | 120 | 16484 1539971 4559571 | 564656 119 21 | 27.300 % |
6.48/6.93 c 7 | 270 | 16484 1539971 4559571 | 621121 269 26 | 27.300 % |
6.78/7.20 c 7 | 496 | 16484 1539971 4559571 | 683233 495 28 | 27.300 % |
7.18/7.61 c 8 | 836 | 16484 1539971 4559571 | 751557 835 26 | 27.300 % |
7.57/8.03 c 8 | 1343 | 16484 1539971 4559571 | 826712 1342 26 | 27.300 % |
8.47/8.92 c 9 | 2103 | 16484 1539971 4559571 | 909384 2102 27 | 27.300 % |
9.67/10.14 c 10 | 3242 | 16484 1539971 4559571 | 1000322 3241 27 | 27.300 % |
10.76/11.29 c 11 | 4950 | 16484 1539971 4559571 | 1100354 4949 28 | 27.300 % |
14.55/15.06 c 15 | 7512 | 16484 1539971 4559571 | 1210390 7511 35 | 27.300 % |
18.03/18.57 c 19 | 11356 | 15973 978810 2893547 | 1331429 11355 39 | 27.300 % |
23.50/24.03 c 24 | 17123 | 15973 978810 2893547 | 1464572 17122 43 | 27.300 % |
31.66/32.20 c 32 | 25772 | 15973 978810 2893547 | 1611029 25771 46 | 27.300 % |
45.10/45.74 c 46 | 38748 | 15973 978810 2893547 | 1772132 38747 44 | 27.300 % |
64.29/65.05 c 65 | 58209 | 15973 978810 2893547 | 1949345 58208 44 | 27.300 % |
116.64/117.69 c 118 | 87401 | 15973 978810 2893547 | 2144280 87400 47 | 27.300 % |
190.09/191.43 c 192 | 131190 | 15973 978810 2893547 | 2358708 131189 47 | 27.300 % |
320.87/322.81 c 323 | 196874 | 15973 978810 2893547 | 2594579 196873 46 | 27.300 % |
326.94/328.94 c 329 ===============================================================================
326.94/328.94 c 329 restarts : 19
326.94/328.94 c 329 conflicts : 199946 (621 /sec)
326.94/328.94 c 329 decisions : 260095 (0.71 % random) (807 /sec)
326.94/328.94 c 329 propagations : 128284196 (398121 /sec)
326.94/328.94 c 329 conflict literals : 9229815 (19.73 % deleted)
326.94/328.94 c 329 Memory used : 95.47 MB
326.94/328.94 c 329 CPU time : 322.224 s
326.94/328.94 c 329
326.94/328.94 c 329 SATISFIABLE
326.94/328.95 c 329 OK
326.94/328.95 c 329 FOUND: _COST <= 272
326.94/328.95 c 329 DECODING HOME/temp.out WITH HOME/temp.map
326.94/328.95 c 329 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
326.99/329.04 c 329 Decoding HOME/temp.out
326.99/329.19 c 329 OBJECTIVE _COST 272
326.99/329.19 o 272
326.99/329.19 v 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1
326.99/329.20 c 329 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
327.51/329.53 c 330 OK
327.51/329.53 c 330 OBJECTIVE BOUND: 0 <= _COST <= 272
327.51/329.53 c 330 SEARCHING: _COST <= 136
327.51/329.53 c 330 ============================[ Search Statistics ]==============================
327.51/329.53 c 330 | Conflicts | ORIGINAL | LEARNT | Progress |
327.51/329.53 c 330 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
327.51/329.53 c 330 ===============================================================================
327.51/329.53 c 330 | 199946 | 12706 635675 1873671 | 211891 199929 46 | 27.300 % |
327.90/329.94 c 330 | 200046 | 12706 635675 1873671 | 233080 200029 46 | 42.170 % |
328.20/330.27 c 330 | 200196 | 12706 635675 1873671 | 256388 200179 46 | 42.170 % |
328.60/330.69 c 331 | 200422 | 12706 635675 1873671 | 282027 200405 46 | 42.170 % |
329.19/331.24 c 331 | 200759 | 12706 635675 1873671 | 310230 200742 46 | 42.170 % |
329.79/331.88 c 332 | 201265 | 12706 635675 1873671 | 341253 201248 46 | 42.170 % |
330.89/332.96 c 333 | 202024 | 12706 635675 1873671 | 375379 202007 46 | 42.170 % |
332.48/334.55 c 335 | 203166 | 12706 635675 1873671 | 412916 203149 46 | 42.170 % |
336.95/339.08 c 339 | 204874 | 12706 635675 1873671 | 454208 204857 46 | 42.170 % |
342.23/344.38 c 345 | 207438 | 12706 635675 1873671 | 499629 207421 45 | 42.170 % |
350.39/352.57 c 353 | 211283 | 12706 635675 1873671 | 549592 211266 45 | 42.170 % |
361.04/363.27 c 363 | 217049 | 12706 635675 1873671 | 604551 217032 45 | 42.170 % |
379.15/381.48 c 382 | 225698 | 12706 635675 1873671 | 665006 225681 44 | 42.170 % |
404.83/407.27 c 407 | 238672 | 12706 635675 1873671 | 731507 238655 43 | 42.170 % |
444.25/446.87 c 447 | 258133 | 12706 635675 1873671 | 804658 258116 42 | 42.170 % |
504.06/506.96 c 507 | 287325 | 12706 635675 1873671 | 885124 287308 40 | 42.170 % |
605.28/608.62 c 609 | 331115 | 12706 635675 1873671 | 973636 331098 38 | 42.170 % |
793.81/798.02 c 798 | 396800 | 12706 635675 1873671 | 1071000 396783 38 | 42.170 % |
1084.74/1090.33 c 1091 | 495326 | 12706 635675 1873671 | 1178100 495309 37 | 42.170 % |
1638.72/1646.99 c 1647 | 643116 | 12706 635675 1873671 | 1295910 643099 37 | 42.170 % |
2707.49/2720.75 c 2721 | 864799 | 12706 635675 1873671 | 1425501 864782 37 | 42.170 % |
3600.01/3617.41 c ERROR INTERRUPTED
3600.01/3617.45 c 3618 CPU 3598.75 (0.07 0.07 3598.68 1.24)
3600.01/3617.45 c 3618 END Wed Jul 23 01:18:30 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-1127363-1216765092/watcher-1127363-1216765092 -o /tmp/evaluation-result-1127363-1216765092/solver-1127363-1216765092 -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-1127363-1216765092.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 5/71 3869
/proc/meminfo: memFree=1677824/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=6268 CPUtime=0
/proc/3869/stat : 3869 (sugar++) D 3865 3869 3807 0 -1 4194304 62 0 0 0 0 0 0 0 18 0 1 0 3596180 6418432 47 996147200 4194304 4206940 548682068528 18446744073709551615 257201075593 0 0 4096 0 0 0 0 17 1 0 0
/proc/3869/statm: 1567 47 36 3 0 8 0
[startup+0.0741529 s]
/proc/loadavg: 1.00 1.00 1.00 5/71 3869
/proc/meminfo: memFree=1677824/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=12940 CPUtime=0.01
/proc/3869/stat : 3869 (sugar++) R 3865 3869 3807 0 -1 4194304 593 0 0 0 1 0 0 0 18 0 1 0 3596180 13250560 561 996147200 4194304 4206940 548682068528 18446744073709551615 257217404566 0 0 4224 0 0 0 0 17 0 0 0
/proc/3869/statm: 3235 561 316 3 0 335 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12940
[startup+0.101156 s]
/proc/loadavg: 1.00 1.00 1.00 5/71 3869
/proc/meminfo: memFree=1677824/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=13336 CPUtime=0.02
/proc/3869/stat : 3869 (sugar++) D 3865 3869 3807 0 -1 4194304 732 0 0 0 2 0 0 0 18 0 1 0 3596180 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 257203862117 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/3869/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.301188 s]
/proc/loadavg: 1.00 1.00 1.00 5/71 3869
/proc/meminfo: memFree=1677824/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16740 CPUtime=0.09
/proc/3869/stat : 3869 (sugar++) R 3865 3869 3807 0 -1 4194304 1082 0 0 0 5 4 0 0 18 0 1 0 3596180 17141760 1050 996147200 4194304 4206940 548682068528 18446744073709551615 257217123736 0 0 4224 0 0 0 0 17 0 0 0
/proc/3869/statm: 4185 1050 380 3 0 764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16740
[startup+0.701254 s]
/proc/loadavg: 1.00 1.00 1.00 5/71 3869
/proc/meminfo: memFree=1677824/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16740 CPUtime=0.12
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1236 128 0 0 6 6 0 0 16 0 1 0 3596180 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3869/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16740
[startup+1.50238 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 3913
/proc/meminfo: memFree=1639816/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16740 CPUtime=0.5
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1297 4704 0 1 6 6 32 6 15 0 1 0 3596180 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4185 1104 409 3 0 764 0
[pid=3900] ppid=3869 vsize=5356 CPUtime=0
/proc/3900/stat : 3900 (sh) S 3869 3869 3807 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3596255 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3900/statm: 1339 233 193 169 0 50 0
[pid=3901] ppid=3900 vsize=868492 CPUtime=0.71
/proc/3901/stat : 3901 (java) S 3900 3869 3807 0 -1 0 6852 0 4 0 68 3 0 0 18 0 9 0 3596256 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3901/statm: 217123 6079 2563 9 0 211670 0
[pid=3901/tid=3902] ppid=3900 vsize=868492 CPUtime=0.42
/proc/3901/task/3902/stat : 3902 (java) R 3900 3869 3807 0 -1 64 2726 0 1 0 40 2 0 0 20 0 9 0 3596257 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4126975937 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3907] ppid=3900 vsize=868492 CPUtime=0.07
/proc/3901/task/3907/stat : 3907 (java) S 3900 3869 3807 0 -1 64 1957 0 3 0 7 0 0 0 16 0 9 0 3596258 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3908] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3908/stat : 3908 (java) S 3900 3869 3807 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3596258 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3909] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3909/stat : 3909 (java) S 3900 3869 3807 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3596258 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3910] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3910/stat : 3910 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3596260 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3901/tid=3911] ppid=3900 vsize=868492 CPUtime=0.2
/proc/3901/task/3911/stat : 3911 (java) S 3900 3869 3807 0 -1 64 1476 0 0 0 20 0 0 0 16 0 9 0 3596260 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3912] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3912/stat : 3912 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3596260 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3901/tid=3913] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3913/stat : 3913 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3596260 889335808 6079 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 890588
[startup+3.10171 s]
/proc/loadavg: 1.08 1.02 1.01 4/93 3913
/proc/meminfo: memFree=1618632/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16740 CPUtime=0.5
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1297 4704 0 1 6 6 32 6 15 0 1 0 3596180 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4185 1104 409 3 0 764 0
[pid=3900] ppid=3869 vsize=5356 CPUtime=0
/proc/3900/stat : 3900 (sh) S 3869 3869 3807 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3596255 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3900/statm: 1339 233 193 169 0 50 0
[pid=3901] ppid=3900 vsize=868492 CPUtime=2.3
/proc/3901/stat : 3901 (java) S 3900 3869 3807 0 -1 0 7295 0 4 0 215 15 0 0 18 0 9 0 3596256 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3901/statm: 217123 6104 2563 9 0 211670 0
[pid=3901/tid=3902] ppid=3900 vsize=868492 CPUtime=1.87
/proc/3901/task/3902/stat : 3902 (java) R 3900 3869 3807 0 -1 64 3144 0 1 0 176 11 0 0 25 0 9 0 3596257 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3907] ppid=3900 vsize=868492 CPUtime=0.18
/proc/3901/task/3907/stat : 3907 (java) S 3900 3869 3807 0 -1 64 1957 0 3 0 15 3 0 0 16 0 9 0 3596258 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3908] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3908/stat : 3908 (java) S 3900 3869 3807 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3596258 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3909] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3909/stat : 3909 (java) S 3900 3869 3807 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3596258 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3910] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3910/stat : 3910 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3596260 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3901/tid=3911] ppid=3900 vsize=868492 CPUtime=0.23
/proc/3901/task/3911/stat : 3911 (java) S 3900 3869 3807 0 -1 64 1501 0 0 0 23 0 0 0 16 0 9 0 3596260 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3901/tid=3912] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3912/stat : 3912 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3596260 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3901/tid=3913] ppid=3900 vsize=868492 CPUtime=0
/proc/3901/task/3913/stat : 3913 (java) S 3900 3869 3807 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3596260 889335808 6104 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 890588
[startup+6.30117 s]
/proc/loadavg: 1.08 1.02 1.01 4/76 3916
/proc/meminfo: memFree=1477008/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 15 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=66448 CPUtime=1.36
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 16455 0 0 0 125 11 0 0 16 0 1 0 3596646 68042752 16402 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3914/statm: 16612 16402 78 151 0 16458 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 83320
[startup+12.7022 s]
/proc/loadavg: 1.22 1.05 1.02 4/76 3938
/proc/meminfo: memFree=1457040/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=67768 CPUtime=7.73
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 16766 0 0 0 761 12 0 0 25 0 1 0 3596646 69394432 16713 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 16942 16713 80 151 0 16788 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 84640
[startup+25.5013 s]
/proc/loadavg: 1.34 1.08 1.02 4/76 3938
/proc/meminfo: memFree=1456592/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=68308 CPUtime=20.46
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 16897 0 0 0 2034 12 0 0 25 0 1 0 3596646 69947392 16844 996147200 134512640 135134323 4294956192 18446744073709551615 134529458 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 17077 16844 80 151 0 16923 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 85180
[startup+51.1015 s]
/proc/loadavg: 1.56 1.15 1.05 4/76 3938
/proc/meminfo: memFree=1456400/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=68448 CPUtime=45.93
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 16963 0 0 0 4581 12 0 0 25 0 1 0 3596646 70090752 16901 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 17112 16901 80 151 0 16958 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 85320
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.10 4/76 3940
/proc/meminfo: memFree=1453456/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=71084 CPUtime=96.89
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 17604 0 0 0 9676 13 0 0 25 0 1 0 3596646 72790016 17542 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 17771 17542 80 151 0 17617 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 87956
[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.15 4/76 3940
/proc/meminfo: memFree=1443920/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=79600 CPUtime=156.6
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 19720 0 0 0 15644 16 0 0 25 0 1 0 3596646 81510400 19658 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 19900 19658 80 151 0 19746 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 96472
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.20 3/76 3940
/proc/meminfo: memFree=1429648/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.53
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1581 16672 0 6 7 6 402 38 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=87124 CPUtime=216.31
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 21572 0 0 0 21613 18 0 0 25 0 1 0 3596646 89214976 21510 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 21781 21510 80 151 0 21627 0
Current children cumulated CPU time (s) 220.84
################
# More data... #
################
[pid=3914] ppid=3869 vsize=212784 CPUtime=2843.64
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 52337 0 0 0 284298 66 0 0 25 0 1 0 3596646 217890816 52273 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 53196 52273 80 151 0 53042 0
Current children cumulated CPU time (s) 2848.42
Current children cumulated vsize (KiB) 229656
[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1175312/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=214712 CPUtime=2903.37
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 52818 0 0 0 290270 67 0 0 25 0 1 0 3596646 219865088 52754 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 53678 52754 80 151 0 53524 0
Current children cumulated CPU time (s) 2908.15
Current children cumulated vsize (KiB) 231584
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1170640/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=216772 CPUtime=2963.08
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 53352 0 0 0 296240 68 0 0 25 0 1 0 3596646 221974528 53288 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 54193 53288 80 151 0 54039 0
Current children cumulated CPU time (s) 2967.86
Current children cumulated vsize (KiB) 233644
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 3956
/proc/meminfo: memFree=1166416/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=219148 CPUtime=3022.8
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 53948 0 0 0 302211 69 0 0 25 0 1 0 3596646 224407552 53884 996147200 134512640 135134323 4294956192 18446744073709551615 134529270 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 54787 53884 80 151 0 54633 0
Current children cumulated CPU time (s) 3027.58
Current children cumulated vsize (KiB) 236020
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 3956
/proc/meminfo: memFree=1162000/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=221580 CPUtime=3082.52
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 54566 0 0 0 308182 70 0 0 25 0 1 0 3596646 226897920 54502 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 55395 54502 80 151 0 55241 0
Current children cumulated CPU time (s) 3087.3
Current children cumulated vsize (KiB) 238452
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1157712/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=223824 CPUtime=3142.24
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 55159 0 0 0 314153 71 0 0 25 0 1 0 3596646 229195776 55095 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 55956 55095 80 151 0 55802 0
Current children cumulated CPU time (s) 3147.02
Current children cumulated vsize (KiB) 240696
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1151952/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=226612 CPUtime=3201.96
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 55767 0 0 0 320124 72 0 0 25 0 1 0 3596646 232050688 55703 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 56653 55703 80 151 0 56499 0
Current children cumulated CPU time (s) 3206.74
Current children cumulated vsize (KiB) 243484
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 3956
/proc/meminfo: memFree=1148432/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=228624 CPUtime=3261.68
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 56301 0 0 0 326095 73 0 0 25 0 1 0 3596646 234110976 56237 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 57156 56237 80 151 0 57002 0
Current children cumulated CPU time (s) 3266.46
Current children cumulated vsize (KiB) 245496
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1145296/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=230596 CPUtime=3321.4
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 56802 0 0 0 332066 74 0 0 25 0 1 0 3596646 236130304 56738 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 57649 56738 80 151 0 57495 0
Current children cumulated CPU time (s) 3326.18
Current children cumulated vsize (KiB) 247468
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1141904/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=232684 CPUtime=3381.12
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 57320 0 0 0 338037 75 0 0 25 0 1 0 3596646 238268416 57256 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 58171 57256 80 151 0 58017 0
Current children cumulated CPU time (s) 3385.9
Current children cumulated vsize (KiB) 249556
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1137936/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=234932 CPUtime=3440.84
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 57901 0 0 0 344008 76 0 0 25 0 1 0 3596646 240570368 57837 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 58733 57837 80 151 0 58579 0
Current children cumulated CPU time (s) 3445.62
Current children cumulated vsize (KiB) 251804
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1134480/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=237048 CPUtime=3500.55
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 58437 0 0 0 349978 77 0 0 25 0 1 0 3596646 242737152 58373 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 59262 58373 80 151 0 59108 0
Current children cumulated CPU time (s) 3505.33
Current children cumulated vsize (KiB) 253920
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/76 3956
/proc/meminfo: memFree=1130832/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=239160 CPUtime=3560.28
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 58984 0 0 0 355950 78 0 0 25 0 1 0 3596646 244899840 58920 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 59790 58920 80 151 0 59636 0
Current children cumulated CPU time (s) 3565.06
Current children cumulated vsize (KiB) 256032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 3956
/proc/meminfo: memFree=1128912/2055920 swapFree=4192956/4192956
[pid=3869] ppid=3865 vsize=16872 CPUtime=4.78
/proc/3869/stat : 3869 (sugar++) S 3865 3869 3807 0 -1 4194304 1651 20557 0 7 7 7 423 41 16 0 1 0 3596180 17276928 1147 996147200 4194304 4206940 548682068528 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3869/statm: 4218 1147 414 3 0 797 0
[pid=3914] ppid=3869 vsize=240348 CPUtime=3595.23
/proc/3914/stat : 3914 (minisat-inc) R 3869 3869 3807 0 -1 4194304 59278 0 0 0 359445 78 0 0 25 0 1 0 3596646 246116352 59214 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3914/statm: 60087 59214 80 151 0 59933 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 257220
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): 3617.46
CPU time (s): 3600.09
CPU user time (s): 3598.76
CPU system time (s): 1.3288
CPU usage (%): 99.5198
Max. virtual memory (cumulated for all children) (KiB): 890588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.3288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81565
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9268
involuntary context switches= 57759
runsolver used 4.00939 second user time and 12.4601 second system time
The end
Begin job on node65 at 2008-07-23 00:18:12
IDJOB=1127363
IDBENCH=63293
IDSOLVER=367
FILE ID=node65/1127363-1216765092
PBS_JOBID= 7974093
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1300-443946_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-1127363-1216765092/watcher-1127363-1216765092 -o /tmp/evaluation-result-1127363-1216765092/solver-1127363-1216765092 -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-1127363-1216765092.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 31fb3dee90a6cce4bbac545cb1b02a6a
RANDOM SEED=399967099
node65.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.279
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.279
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: 1679040 kB
Buffers: 21472 kB
Cached: 298604 kB
SwapCached: 0 kB
Active: 265264 kB
Inactive: 68528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679040 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 23440 kB
Slab: 28648 kB
Committed_AS: 52588 kB
PageTables: 1664 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 node65 at 2008-07-23 01:18:32