0.00/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.00/0.08 c 0 BEGIN Sun Jul 12 03:40:52 2009
0.00/0.08 c 0 PID 16769
0.00/0.08 c 0 HOST node56.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2076461-1247362852.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2076461-1247362852.xml' 'HOME/temp.csp'
0.06/0.90 c 1 400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.06/0.93 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.93 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.91/1.02 c 1 Parsing HOME/temp.csp
1.20/1.32 c 1 parsed 8401 expressions
1.20/1.33 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.20/1.33 c 1 Converting to clausal form CSP
1.20/1.39 c 1 converted 841 (10%) expressions
1.50/1.63 c 2 converted 1681 (20%) expressions
1.50/1.67 c 2 converted 2521 (30%) expressions
1.59/1.70 c 2 converted 3361 (40%) expressions
1.59/1.73 c 2 converted 4201 (50%) expressions
1.59/1.76 c 2 converted 5041 (60%) expressions
1.70/1.85 c 2 converted 5881 (70%) expressions
1.70/1.88 c 2 converted 6721 (80%) expressions
1.80/1.91 c 2 converted 7561 (90%) expressions
1.80/1.95 c 2 converted 8401 (100%) expressions
1.80/1.95 c 2 CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1284
1.80/1.95 c 2 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.80/1.95 c 2 Propagation in CSP
1.80/1.99 c 2 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.80/1.99 c 2 CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1284
1.80/1.99 c 2 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.90/2.00 c 2 Simplifing CSP by introducing new Boolean variables
2.00/2.15 c 2 CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1284
2.00/2.15 c 2 Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.10/2.23 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.19/2.32 c 2 40 (10%) CSP integer variables are encoded (49231 clauses, 716337 bytes)
2.19/2.39 c 2 80 (20%) CSP integer variables are encoded (98528 clauses, 1455792 bytes)
2.29/2.45 c 2 120 (30%) CSP integer variables are encoded (147752 clauses, 2289821 bytes)
2.39/2.52 c 3 160 (40%) CSP integer variables are encoded (197003 clauses, 3127088 bytes)
2.39/2.58 c 3 200 (50%) CSP integer variables are encoded (246243 clauses, 3964168 bytes)
2.49/2.65 c 3 240 (60%) CSP integer variables are encoded (295674 clauses, 4804495 bytes)
2.59/2.72 c 3 280 (70%) CSP integer variables are encoded (345015 clauses, 5643292 bytes)
2.59/2.79 c 3 320 (80%) CSP integer variables are encoded (394497 clauses, 6484486 bytes)
2.69/2.85 c 3 360 (90%) CSP integer variables are encoded (443750 clauses, 7321787 bytes)
2.79/2.92 c 3 400 (100%) CSP integer variables are encoded (492924 clauses, 8157745 bytes)
6.25/6.49 c 6 2280 (10%) CSP clauses are encoded (2294428 clauses, 49700205 bytes)
9.70/9.99 c 10 4560 (20%) CSP clauses are encoded (4100874 clauses, 92290927 bytes)
13.11/13.65 c 14 6840 (30%) CSP clauses are encoded (5899500 clauses, 135134078 bytes)
16.21/16.79 c 17 9120 (40%) CSP clauses are encoded (7688886 clauses, 179839088 bytes)
19.65/20.32 c 20 11400 (50%) CSP clauses are encoded (9492410 clauses, 224897548 bytes)
23.02/23.79 c 24 13680 (60%) CSP clauses are encoded (11291390 clauses, 269842408 bytes)
26.48/27.28 c 27 15960 (70%) CSP clauses are encoded (13091714 clauses, 314820868 bytes)
29.96/30.78 c 31 18240 (80%) CSP clauses are encoded (14900754 clauses, 360017228 bytes)
33.46/34.31 c 34 20520 (90%) CSP clauses are encoded (16709976 clauses, 405218138 bytes)
36.87/37.82 c 38 22800 (100%) CSP clauses are encoded (18506748 clauses, 450107798 bytes)
36.87/37.82 c 38 22800 CSP clauses encoded
36.87/37.82 c 38 Writing map file : HOME/temp.map
36.87/37.84 c 38 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
36.87/37.84 c 38 SAT : 508524 SAT variables, 18506748 SAT clauses, 450107798 bytes
36.87/37.84 c 38 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
36.87/37.88 c 38 SOLVING HOME/temp.cnf
36.87/37.88 c 38 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
36.87/37.89 c 38 This is MiniSat 2.0 beta
36.87/37.89 c 38 WARNING: for repeatability, setting FPU to use double precision
36.87/37.89 c 38 ============================[ Problem Statistics ]=============================
36.87/37.89 c 38 | |
36.87/37.89 c 38 | Number of variables: 508524 |
36.87/37.89 c 38 | Number of clauses: 18506748 |
47.64/48.90 c 49 | Parsing time: 9.41 s |
48.03/49.38 c 49 ============================[ Search Statistics ]==============================
48.03/49.38 c 49 | Conflicts | ORIGINAL | LEARNT | Progress |
48.03/49.38 c 49 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
48.03/49.38 c 49 ===============================================================================
48.03/49.38 c 49 | 0 | 508524 18506748 54989320 | 6168916 0 nan | 0.000 % |
50.69/52.06 c 52 | 100 | 508524 18506748 54989320 | 6785807 100 68 | 0.000 % |
53.34/54.77 c 55 | 250 | 508524 18506748 54989320 | 7464388 250 36 | 0.000 % |
55.61/57.09 c 57 | 475 | 508524 18506748 54989320 | 8210827 475 24 | 0.000 % |
59.27/60.78 c 61 ===============================================================================
59.37/60.81 c 61 restarts : 4
59.37/60.81 c 61 conflicts : 739 (35 /sec)
59.37/60.81 c 61 decisions : 9396 (0.99 % random) (447 /sec)
59.37/60.81 c 61 propagations : 4996652 (237949 /sec)
59.37/60.81 c 61 conflict literals : 20644 (5.66 % deleted)
59.37/60.81 c 61 Memory used : 825.82 MB
59.37/60.81 c 61 CPU time : 20.9988 s
59.37/60.81 c 61
59.56/61.01 c 61 SATISFIABLE
59.68/61.15 c 61 DECODING HOME/temp.out WITH HOME/temp.map
59.68/61.15 c 61 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
59.76/63.75 c 64 Decoding HOME/temp.out
60.25/64.25 s SATISFIABLE
60.25/64.27 v 617 1072 107 525 849 956 1233 1141 162 1121 934 21 715 799 293 33 122 0 247 151 1183 231 705 216 512 1239 47 897 2 1061 323 80 43 1088 1155 438 844 991 157 604 1211 1138 660 454 305 163 342 417 462 292 97 860 174 221 312 0 60 13 14 554 76 48 730 15 1148 395 1094 1202 1212 279 557 797 1006 112 303 634 467 902 199 6 1119 1211 145 545 932 1030 247 575 835 438 349 1128 648 49 758 0 1275 553 1217 1100 320 1150 822 40 577 849 1058 416 801 238 913 1265 633 161 745 0 997 594 1191 713 739 80 1189 438 417 299 158 1098 1270 1226 796 898 927 260 1188 507 1017 677 590 838 331 743 397 695 1282 834 211 512 243 491 911 127 1191 1004 1101 444 239 1149 759 604 1258 781 1046 99 568 8 490 595 879 356 157 695 929 1203 255 1054 411 631 958 1194 251 507 87 1149 330 7 730 539 1282 1084 1195 174 66 305 818 141 394 894 986 643 690 460 104 152 1271 1082 240 1214 887 928 980 1058 269 649 768 848 349 557 382 23 884 71 948 1014 1113 1161 1006 1094 760 1033 1199 512 1271 1148 682 772 856 122 619 1184 904 938 738 1073 333 622 468 848 1202 324 224 1013 668 523 1116 986 315 620 689 366 1026 170 974 618 521 0 836 254 1220 689 990 6 382 447 1251 1118 794 96 826 1190 1277 515 1043 248 1182 945 250 447 964 1022 1127 545 333 764 343 677 1171 88 560 171 127 326 391 550 1130 1014 1202 771 906 1040 64 857 209 1236 921 158 688 1066 1253 439 56 592 985 1207 514 761 834 1272 1035 680 1279 109 27 456 1120 1108 479 228 337 897 822 784 741 84 1238 564 628 289 1047 1116 1145 271 985 1213 358 1280 913 724 871 440 913 398 524 999 183 695 305 200 465 885 926 799 756 1229 2 1033 81 580 1130 598 59 1099 1143 129 2 499 280 662 879 687 1160 1013 822 649 330 418 905 779 970 1213
60.25/64.27 c 64 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
60.32/64.31 c 64 CPU 60.34 (0.06 0.02 55.26 5)
60.32/64.31 c 64 END Sun Jul 12 03:41:56 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076461-1247362852/watcher-2076461-1247362852 -o /tmp/evaluation-result-2076461-1247362852/solver-2076461-1247362852 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2076461-1247362852.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=12268 CPUtime=0
/proc/16769/stat : 16769 (sugar) R 16767 16769 14446 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 23348510 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 250969029221 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16769/statm: 3067 316 241 3 0 167 0
[startup+0.0900909 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.102094 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.302115 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.702154 s]
/proc/loadavg: 2.22 2.25 2.17 4/83 16769
/proc/meminfo: memFree=754816/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.06
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50123 s]
/proc/loadavg: 2.20 2.24 2.17 4/94 16791
/proc/meminfo: memFree=747624/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.86
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1309 8423 0 1 5 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=865836 CPUtime=0.54
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 5062 0 1 0 52 2 0 0 18 0 9 0 23348604 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 216459 4524 1742 9 0 210964 0
[pid=16783/tid=16784] ppid=16782 vsize=865836 CPUtime=0.39
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 2659 0 1 0 38 1 0 0 18 0 9 0 23348605 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=865836 CPUtime=0.03
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 996 0 0 0 3 0 0 0 16 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 23348606 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=865836 CPUtime=0.1
/proc/16783/task/16789/stat : 16789 (java) R 16782 16769 14446 0 -1 64 714 0 0 0 10 0 0 0 16 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 102123740 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 886616064 4524 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=865836 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 886616064 4524 996147200 134512640 134550932 4294955936 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) 888060
[startup+3.10239 s]
/proc/loadavg: 2.20 2.24 2.17 4/94 16791
/proc/meminfo: memFree=727656/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 15 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=2.11
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 9803 0 1 0 200 11 0 0 18 0 9 0 23348604 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8810 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=1.47
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 3022 0 1 0 139 8 0 0 25 0 9 0 23348605 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4126943848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.4
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 39 1 0 0 16 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.21
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1509 0 0 0 21 0 0 0 16 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8810 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 890936
[startup+6.3027 s]
/proc/loadavg: 2.19 2.24 2.17 3/94 16791
/proc/meminfo: memFree=688872/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 15 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=5.29
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 10406 0 1 0 492 37 0 0 18 0 9 0 23348604 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8815 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=4.43
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 3620 0 1 0 413 30 0 0 25 0 9 0 23348605 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4126988481 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.6
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 55 5 0 0 16 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.22
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1514 0 0 0 22 0 0 0 15 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) R 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8815 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890936
[startup+12.7023 s]
/proc/loadavg: 2.25 2.25 2.18 3/94 16791
/proc/meminfo: memFree=606760/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=11.6
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 11639 0 1 0 1073 87 0 0 18 0 9 0 23348604 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8818 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=10.39
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 4850 0 1 0 965 74 0 0 25 0 9 0 23348605 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=0.94
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 83 11 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.23
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1517 0 0 0 23 0 0 0 17 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 890936
[startup+25.5026 s]
/proc/loadavg: 2.53 2.31 2.20 3/94 16791
/proc/meminfo: memFree=430696/2055920 swapFree=4192956/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=0.87
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1310 8423 0 1 6 1 74 6 16 0 1 0 23348510 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1111 409 3 0 796 0
[pid=16782] ppid=16769 vsize=5356 CPUtime=0
/proc/16782/stat : 16782 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23348604 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16782/statm: 1339 233 193 169 0 50 0
[pid=16783] ppid=16782 vsize=868712 CPUtime=23.93
/proc/16783/stat : 16783 (java) S 16782 16769 14446 0 -1 0 14180 0 1 0 2185 208 0 0 18 0 9 0 23348604 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16783/statm: 217178 8818 2590 9 0 211655 0
[pid=16783/tid=16784] ppid=16782 vsize=868712 CPUtime=21.91
/proc/16783/task/16784/stat : 16784 (java) R 16782 16769 14446 0 -1 64 7391 0 1 0 2014 177 0 0 25 0 9 0 23348605 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 102093987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16785] ppid=16782 vsize=868712 CPUtime=1.76
/proc/16783/task/16785/stat : 16785 (java) S 16782 16769 14446 0 -1 64 4574 0 0 0 147 29 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16786] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16786/stat : 16786 (java) S 16782 16769 14446 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16787] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16787/stat : 16787 (java) S 16782 16769 14446 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23348606 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16788] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16788/stat : 16788 (java) S 16782 16769 14446 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16789] ppid=16782 vsize=868712 CPUtime=0.23
/proc/16783/task/16789/stat : 16789 (java) S 16782 16769 14446 0 -1 64 1517 0 0 0 23 0 0 0 17 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16790] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16790/stat : 16790 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23348608 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16783/tid=16791] ppid=16782 vsize=868712 CPUtime=0
/proc/16783/task/16791/stat : 16791 (java) S 16782 16769 14446 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23348609 889561088 8818 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 890936
[startup+51.1021 s]
/proc/loadavg: 3.15 2.48 2.26 3/86 16794
/proc/meminfo: memFree=15208/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=36.93
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1376 25332 0 2 6 1 3350 336 15 0 1 0 23348510 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16769/statm: 4217 1113 409 3 0 796 0
[pid=16793] ppid=16769 vsize=5356 CPUtime=0
/proc/16793/stat : 16793 (sh) S 16769 16769 14446 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23352299 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16793/statm: 1339 232 193 169 0 50 0
[pid=16794] ppid=16793 vsize=789036 CPUtime=12.87
/proc/16794/stat : 16794 (minisat) R 16793 16769 14446 0 -1 4194304 187459 0 0 0 1151 136 0 0 25 0 1 0 23352299 807972864 187445 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16794/statm: 197259 187445 74 150 0 197106 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 811260
Solver just ended. Dumping a history of the last processes samples
[startup+63.9013 s]
/proc/loadavg: 3.43 2.56 2.29 4/88 16798
/proc/meminfo: memFree=821136/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=59.74
/proc/16769/stat : 16769 (sugar) S 16767 16769 14446 0 -1 4194304 1448 227166 0 2 6 2 5469 497 16 0 1 0 23348510 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16769/statm: 4217 1113 409 3 0 796 0
[pid=16795] ppid=16769 vsize=5356 CPUtime=0
/proc/16795/stat : 16795 (sh) S 16769 16769 14446 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23354625 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16795/statm: 1339 233 193 169 0 50 0
[pid=16796] ppid=16795 vsize=862288 CPUtime=0.21
/proc/16796/stat : 16796 (java) S 16795 16769 14446 0 -1 0 3111 0 1 0 19 2 0 0 18 0 9 0 23354761 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16796/statm: 215572 2581 1279 9 0 210485 0
[pid=16796/tid=16797] ppid=16795 vsize=862288 CPUtime=0.15
/proc/16796/task/16797/stat : 16797 (java) R 16795 16769 14446 0 -1 64 2035 0 1 0 14 1 0 0 24 0 9 0 23354762 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4126482899 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16798] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16798/stat : 16798 (java) S 16795 16769 14446 0 -1 64 69 0 0 0 0 0 0 0 16 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16799] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16799/stat : 16799 (java) S 16795 16769 14446 0 -1 64 11 0 0 0 0 0 0 0 20 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16796/tid=16800] ppid=16795 vsize=862288 CPUtime=0
/proc/16796/task/16800/stat : 16800 (java) S 16795 16769 14446 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 23354880 882982912 2581 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (KiB) 884512
[startup+76.7016 s]
/proc/loadavg: 3.56 2.63 2.31 2/85 16805
/proc/meminfo: memFree=1207728/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.55
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 23 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 1 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.55
Current children cumulated vsize (KiB) 16868
[startup+83.1012 s]
/proc/loadavg: 3.51 2.64 2.32 2/84 16805
/proc/meminfo: memFree=1244280/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.57
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 25 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.57
Current children cumulated vsize (KiB) 16868
[startup+86.3025 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1264696/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.58
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 26 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.58
Current children cumulated vsize (KiB) 16868
[startup+87.1016 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1273592/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 1 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868
[startup+87.9016 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1279736/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868
[startup+88.1017 s]
/proc/loadavg: 3.47 2.65 2.32 2/84 16805
/proc/meminfo: memFree=1279736/2055920 swapFree=4192952/4192956
[pid=16769] ppid=16767 vsize=16868 CPUtime=60.59
/proc/16769/stat : 16769 (sugar) D 16767 16769 14446 0 -1 4194304 1478 231092 0 3 6 27 5526 500 15 0 1 0 23348510 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 18446744072099202260 0 0 17 0 0 0
/proc/16769/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 88.1331
CPU time (s): 60.6398
CPU user time (s): 55.3286
CPU system time (s): 5.31119
CPU usage (%): 68.8048
Max. virtual memory (cumulated for all children) (KiB): 891012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.3286
system time used= 5.31119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232630
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66458
involuntary context switches= 68755
runsolver used 0.100984 second user time and 0.317951 second system time
The end
Begin job on node56 at 2009-07-12 03:40:52
IDJOB=2076461
IDBENCH=56425
IDSOLVER=739
FILE ID=node56/2076461-1247362852
PBS_JOBID= 9506946
Free space on /tmp= 103036 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-9.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076461-1247362852/watcher-2076461-1247362852 -o /tmp/evaluation-result-2076461-1247362852/solver-2076461-1247362852 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2076461-1247362852.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc7340650ecf26f83251f4e28365151f
RANDOM SEED=948042269
node56.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.209
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.209
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: 755296 kB
Buffers: 76848 kB
Cached: 708484 kB
SwapCached: 0 kB
Active: 532148 kB
Inactive: 712400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 755296 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2356 kB
Writeback: 0 kB
Mapped: 479640 kB
Slab: 40268 kB
Committed_AS: 635288 kB
PageTables: 2784 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= 103036 MiB
End job on node56 at 2009-07-12 03:42:20