0.04 c # Sugar v0-40 (/tmp/evaluation/234866-1170107038/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/234866-1170107038/unknown.xml [Mon Jan 29 22:44:00 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/234866-1170107038/unknown.xml /tmp/evaluation/234866-1170107038/sugar28587.csp [Mon Jan 29 22:44:00 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234866-1170107038/sugar-v0-40.jar -convert /tmp/evaluation/234866-1170107038/unknown.xml /tmp/evaluation/234866-1170107038/sugar28587.csp
0.15 c BEGIN convert /tmp/evaluation/234866-1170107038/unknown.xml
0.77 c END convert (0.616841 seconds)
0.79 c # CONVERT_XML END : /tmp/evaluation/234866-1170107038/sugar28587.csp 149986 bytes (1 seconds) [Mon Jan 29 22:44:01 2007]
0.79 c # CONVERT_XML CPU : 0.71 = 0 + 0 + 0.65 + 0.06
0.79
0.79 c # GENERATE_SAT BEGIN : /tmp/evaluation/234866-1170107038/sugar28587.bcnf [Mon Jan 29 22:44:01 2007]
0.79 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/234866-1170107038/sugar-v0-40.jar -bcnf -map /tmp/evaluation/234866-1170107038/sugar28587.map /tmp/evaluation/234866-1170107038/sugar28587.csp /tmp/evaluation/234866-1170107038/sugar28587.bcnf
0.91 c BEGIN parse /tmp/evaluation/234866-1170107038/sugar28587.csp
1.45 c END parse (0.54466 seconds)
1.45 c BEGIN simplify
1.48 c END simplify (0.028963 seconds)
1.48 c BEGIN encode /tmp/evaluation/234866-1170107038/sugar28587.bcnf
8.35 c END encode (6.871476 seconds)
8.42 c # GENERATE_SAT END : 405467 variables 8081247 clauses 126205172 bytes (8 seconds) [Mon Jan 29 22:44:09 2007]
8.42 c # GENERATE_SAT CPU : 7.58 = 0.05 + 0 + 7.01 + 0.52
8.42
8.42 c # SOLVE_SAT BEGIN : /tmp/evaluation/234866-1170107038/sugar28587.bcnf [Mon Jan 29 22:44:09 2007]
8.42 c # CMD : /tmp/evaluation/234866-1170107038/minisat /tmp/evaluation/234866-1170107038/sugar28587.bcnf /tmp/evaluation/234866-1170107038/sugar28587.out
16.05 c ==================================[MINISAT]===================================
16.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
16.05 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
16.05 c ==============================================================================
16.05 c | 0 | 4276543 12139686 | 1425514 0 0 nan | 0.000 % |
18.13 c | 100 | 4276543 12139686 | 1568065 100 1461 14.6 | 52.370 % |
20.35 c | 250 | 4276543 12139686 | 1724871 250 5114 20.5 | 52.370 % |
23.58 c | 475 | 4276543 12139686 | 1897359 475 9575 20.2 | 52.370 % |
28.02 c | 812 | 4276543 12139686 | 2087095 812 15138 18.6 | 52.370 % |
32.85 c | 1319 | 4276544 12139686 | 2295804 1318 25805 19.6 | 52.370 % |
43.42 c | 2078 | 4276548 12139686 | 2525385 2073 36817 17.8 | 52.370 % |
55.31 c | 3218 | 4276548 12139686 | 2777923 3213 84525 26.3 | 52.370 % |
80.45 c | 4926 | 4276550 12139686 | 3055715 4919 139768 28.4 | 52.370 % |
110.95 c | 7491 | 4276554 12139686 | 3361287 7480 197868 26.5 | 52.370 % |
163.13 c | 11335 | 4276558 12139686 | 3697416 11320 283874 25.1 | 52.370 % |
238.30 c | 17101 | 4276563 12139686 | 4067157 17081 456646 26.7 | 52.370 % |
359.42 c | 25752 | 4276565 12139686 | 4473873 25730 884142 34.4 | 52.370 % |
543.38 c | 38729 | 4276576 12139686 | 4921260 38696 1249407 32.3 | 52.370 % |
801.29 c | 58192 | 4276583 12139686 | 5413387 58152 2188867 37.6 | 52.370 % |
1234.17 c | 87386 | 4276589 12139686 | 5954725 87340 3244297 37.1 | 52.370 % |
1723.96 c ==============================================================================
1723.96 c restarts : 16
1723.96 c conflicts : 119760 (70 /sec)
1723.96 c decisions : 178632 (105 /sec)
1723.96 c propagations : 1755810234 (1029806 /sec)
1723.96 c conflict literals : 4762101 (32.78 % deleted)
1723.96 c Memory used : 334.27 MB
1723.96 c CPU time : 1704.99 s
1723.96 c
1723.96 c SATISFIABLE
1724.21 c # SOLVE_SAT END : SATISFIABLE (1715 seconds) [Mon Jan 29 23:12:44 2007]
1724.21 c # SOLVE_SAT CPU : 1706.1 = 0 + 0 + 1705.17 + 0.93
1724.21
1724.21 c # RESULT : SATISFIABLE
1724.21
1724.21 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 23:12:44 2007]
1724.33 c BEGIN read SAT output /tmp/evaluation/234866-1170107038/sugar28587.out
1724.69 c END read SAT output (0.358477 seconds)
1724.69 c BEGIN write solution /tmp/evaluation/234866-1170107038/sugar28587.sol
1724.83 c END write solution (0.132731 seconds)
1724.90 s SATISFIABLE
1724.90 v 177 261 339 422 448 574 631 643 674 761 856 904 1072 1197 1325 211 240 262 309 613 707 722 750 843 888 1000 1122 1216 1273 1296 20 93 129 211 260 363 450 482 782 872 924 932 1006 1198 1292 114 117 214 410 505 634 684 724 784 825 832 911 983 1062 1279 54 67 82 144 158 237 379 397 667 745 794 827 936 1233 1344 3 57 141 286 322 376 448 465 509 546 636 897 1117 1134 1293 3 78 255 288 508 728 833 891 970 1013 1062 1145 1191 1285 1352 100 259 386 698 724 779 899 952 1079 1176 1200 1269 1314 1331 1370 140 152 225 314 384 451 699 831 901 959 973 1044 1072 1107 1165 0 115 191 279 449 522 610 640 720 948 1084 1258 1318 1353 1357 333 504 594 690 747 770 847 998 1017 1197 1255 1291 1353 1366 1382 66 137 184 456 463 580 659 886 932 1004 1114 1133 1229 1270 1302 7 52 61 161 237 331 435 648 915 1118 1168 1191 1237 1307 1313 265 350 396 494 495 548 607 758 856 936 981 1077 1175 1282 1339 5 309 379 423 455 474 531 563 726 799 872 958 973 1052 1106 337 376 503 548 629 651 760 795 857 970 1012 1079 1137 1267 1286 138 393 526 660 674 685 700 804 889 1001 1023 1069 1116 1156 1298 11 514 585 590 673 689 693 713 730 790 798 923 1009 1184 1267 99 203 228 236 347 369 524 547 683 765 859 956 1042 1090 1157 0 5 90 164 223 319 409 471 509 615 690 965 1028 1157 1204
1724.90 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 23:12:45 2007]
1724.90 c # OUTPUT_SOL CPU : 0.609999999999982 = 0.01 + 0 + 0.519999999999982 + 0.0800000000000001
1724.90
1724.90 c # MAIN END : (1725 seconds) [Mon Jan 29 23:12:45 2007]
1724.90 c # MAIN CPU : 1715.01 = 0.06 + 0.01 + 1713.35 + 1.59
1724.90
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-234866-1170107038 -o ROOT/results/node15/solver-234866-1170107038 -C 1800 -M 900 /tmp/evaluation/234866-1170107038/solver /tmp/evaluation/234866-1170107038 /tmp/evaluation/234866-1170107038/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.53 1.96 2.33 2/81 28588
/proc/meminfo: memFree=1816368/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=12268 CPUtime=0
/proc/28587/stat : 28587 (sugar) R 28585 28587 28443 0 -1 4194304 599 0 0 0 0 0 0 0 18 0 1 0 30658388 12562432 319 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240472462049 0 0 4224 0 0 0 0 17 0 0 0
/proc/28587/statm: 3067 322 243 3 0 167 0
[startup+0.101832 s]
/proc/loadavg: 1.53 1.96 2.33 2/81 28588
/proc/meminfo: memFree=1816368/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=13724 CPUtime=0.03
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30658388 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.509904 s]
/proc/loadavg: 1.53 1.96 2.33 2/81 28588
/proc/meminfo: memFree=1816368/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=13724 CPUtime=0.03
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30658388 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33205 s]
/proc/loadavg: 1.53 1.96 2.33 4/102 28647
/proc/meminfo: memFree=1784840/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=13724 CPUtime=0.75
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 1190 8842 0 1 3 1 65 6 15 0 1 0 30658388 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 3431 809 371 3 0 531 0
[pid=28608] ppid=28587 vsize=807332 CPUtime=0.52
/proc/28608/stat : 28608 (java) R 28587 28587 28443 0 -1 0 6677 0 1 0 48 4 0 0 18 0 8 0 30658468 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154006729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28608/statm: 201833 6427 1506 14 0 189111 0
[pid=28608/tid=28622] ppid=28587 vsize=807332 CPUtime=0.02
/proc/28608/task/28622/stat : 28622 (java) S 28587 28587 28443 0 -1 64 491 0 0 0 2 0 0 0 17 0 8 0 30658471 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28624] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28624/stat : 28624 (java) S 28587 28587 28443 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30658471 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28626] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28626/stat : 28626 (java) S 28587 28587 28443 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30658471 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28636] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28636/stat : 28636 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30658475 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28637] ppid=28587 vsize=807332 CPUtime=0.11
/proc/28608/task/28637/stat : 28637 (java) S 28587 28587 28443 0 -1 64 402 0 0 0 11 0 0 0 16 0 8 0 30658475 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28638] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28638/stat : 28638 (java) S 28587 28587 28443 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30658475 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28639] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28639/stat : 28639 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30658475 826707968 6427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821056
[startup+2.98533 s]
/proc/loadavg: 1.53 1.96 2.33 3/103 28655
/proc/meminfo: memFree=1751616/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=13724 CPUtime=0.75
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 1190 8842 0 1 3 1 65 6 16 0 1 0 30658388 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 3431 809 371 3 0 531 0
[pid=28608] ppid=28587 vsize=807332 CPUtime=2.17
/proc/28608/stat : 28608 (java) R 28587 28587 28443 0 -1 0 8241 0 1 0 203 14 0 0 25 0 8 0 30658468 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28608/statm: 201833 7988 1510 14 0 189111 0
[pid=28608/tid=28622] ppid=28587 vsize=807332 CPUtime=0.09
/proc/28608/task/28622/stat : 28622 (java) S 28587 28587 28443 0 -1 64 2011 0 0 0 9 0 0 0 17 0 8 0 30658471 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28624] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28624/stat : 28624 (java) S 28587 28587 28443 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30658471 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28626] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28626/stat : 28626 (java) S 28587 28587 28443 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30658471 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28636] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28636/stat : 28636 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30658475 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28637] ppid=28587 vsize=807332 CPUtime=0.14
/proc/28608/task/28637/stat : 28637 (java) S 28587 28587 28443 0 -1 64 419 0 0 0 14 0 0 0 16 0 8 0 30658475 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28638] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28638/stat : 28638 (java) S 28587 28587 28443 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30658475 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28639] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28639/stat : 28639 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30658475 826707968 7988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821056
[startup+6.2769 s]
/proc/loadavg: 1.57 1.96 2.33 3/103 28655
/proc/meminfo: memFree=1626176/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=13724 CPUtime=0.75
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 1190 8842 0 1 3 1 65 6 16 0 1 0 30658388 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 3431 809 371 3 0 531 0
[pid=28608] ppid=28587 vsize=807332 CPUtime=5.44
/proc/28608/stat : 28608 (java) R 28587 28587 28443 0 -1 0 8243 0 1 0 507 37 0 0 25 0 8 0 30658468 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28608/statm: 201833 7990 1510 14 0 189111 0
[pid=28608/tid=28622] ppid=28587 vsize=807332 CPUtime=0.09
/proc/28608/task/28622/stat : 28622 (java) S 28587 28587 28443 0 -1 64 2011 0 0 0 9 0 0 0 16 0 8 0 30658471 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28624] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28624/stat : 28624 (java) S 28587 28587 28443 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30658471 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28626] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28626/stat : 28626 (java) S 28587 28587 28443 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30658471 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28636] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28636/stat : 28636 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30658475 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28637] ppid=28587 vsize=807332 CPUtime=0.14
/proc/28608/task/28637/stat : 28637 (java) S 28587 28587 28443 0 -1 64 421 0 0 0 14 0 0 0 15 0 8 0 30658475 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28638] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28638/stat : 28638 (java) S 28587 28587 28443 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30658475 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28608/tid=28639] ppid=28587 vsize=807332 CPUtime=0
/proc/28608/task/28639/stat : 28639 (java) S 28587 28587 28443 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30658475 826707968 7990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821056
[startup+12.763 s]
/proc/loadavg: 1.68 1.98 2.33 3/89 28657
/proc/meminfo: memFree=1088688/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2112 17101 0 2 8 1 766 58 19 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=309232 CPUtime=4.23
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 74832 0 0 0 371 52 0 0 25 0 1 0 30659231 316653568 74627 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134646790 0 0 4096 0 0 0 0 17 0 0 0
/proc/28656/statm: 77308 74629 36 112 0 77192 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 326340
[startup+25.6102 s]
/proc/loadavg: 1.82 2.00 2.33 3/89 28657
/proc/meminfo: memFree=917040/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=17.01
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84077 0 0 0 1643 58 0 0 25 0 1 0 30659231 348323840 82846 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82846 51 112 0 84924 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 357268
[startup+51.2936 s]
/proc/loadavg: 1.88 2.00 2.32 3/89 28657
/proc/meminfo: memFree=917040/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=42.57
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84077 0 0 0 4199 58 0 0 25 0 1 0 30659231 348323840 82846 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82846 51 112 0 84924 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 357268
[startup+102.55 s]
/proc/loadavg: 1.95 2.00 2.30 3/89 28657
/proc/meminfo: memFree=917424/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=93.55
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84078 0 0 0 9297 58 0 0 25 0 1 0 30659231 348323840 82847 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82847 51 112 0 84924 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 357268
[startup+162.646 s]
/proc/loadavg: 2.04 2.01 2.29 3/89 28657
/proc/meminfo: memFree=917424/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=153.28
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84082 0 0 0 15269 59 0 0 25 0 1 0 30659231 348323840 82851 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82851 51 112 0 84924 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 357268
[startup+222.75 s]
/proc/loadavg: 2.06 2.02 2.27 3/89 28657
/proc/meminfo: memFree=917360/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=213.07
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84087 0 0 0 21248 59 0 0 25 0 1 0 30659231 348323840 82856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82856 51 112 0 84924 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 357268
[startup+282.846 s]
/proc/loadavg: 2.02 2.02 2.25 3/89 28657
/proc/meminfo: memFree=917296/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340160 CPUtime=272.84
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84095 0 0 0 27225 59 0 0 25 0 1 0 30659231 348323840 82864 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85040 82864 51 112 0 84924 0
Current children cumulated CPU time (s) 281.17
Current children cumulated vsize (KiB) 357268
[startup+342.943 s]
/proc/loadavg: 2.01 2.01 2.23 3/89 28657
/proc/meminfo: memFree=917304/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
################
# More data... #
################
[pid=28656] ppid=28587 vsize=340524 CPUtime=870.07
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84160 0 0 0 86946 61 0 0 25 0 1 0 30659231 348696576 82929 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528348 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82929 51 112 0 85015 0
Current children cumulated CPU time (s) 878.4
Current children cumulated vsize (KiB) 357632
[startup+943.537 s]
/proc/loadavg: 2.00 2.01 2.12 3/89 28657
/proc/meminfo: memFree=916216/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=929.83
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84164 0 0 0 92922 61 0 0 25 0 1 0 30659231 348696576 82933 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82933 51 112 0 85015 0
Current children cumulated CPU time (s) 938.16
Current children cumulated vsize (KiB) 357632
[startup+1003.63 s]
/proc/loadavg: 2.00 2.01 2.11 3/89 28657
/proc/meminfo: memFree=916152/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=989.61
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84168 0 0 0 98899 62 0 0 25 0 1 0 30659231 348696576 82937 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82937 51 112 0 85015 0
Current children cumulated CPU time (s) 997.94
Current children cumulated vsize (KiB) 357632
[startup+1063.65 s]
/proc/loadavg: 2.00 2.00 2.09 3/95 28769
/proc/meminfo: memFree=914696/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=1049.23
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84171 0 0 0 104850 73 0 0 25 0 1 0 30659231 348696576 82940 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82940 51 112 0 85015 0
Current children cumulated CPU time (s) 1057.56
Current children cumulated vsize (KiB) 357632
[startup+1123.66 s]
/proc/loadavg: 2.00 2.00 2.09 3/89 28855
/proc/meminfo: memFree=915632/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=1108.89
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84175 0 0 0 110805 84 0 0 25 0 1 0 30659231 348696576 82944 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82944 51 112 0 85015 0
Current children cumulated CPU time (s) 1117.22
Current children cumulated vsize (KiB) 357632
[startup+1183.76 s]
/proc/loadavg: 2.00 2.00 2.08 3/89 28855
/proc/meminfo: memFree=915576/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=1168.66
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84180 0 0 0 116782 84 0 0 25 0 1 0 30659231 348696576 82949 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82949 51 112 0 85015 0
Current children cumulated CPU time (s) 1176.99
Current children cumulated vsize (KiB) 357632
[startup+1243.86 s]
/proc/loadavg: 2.00 2.00 2.07 3/89 28855
/proc/meminfo: memFree=915576/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=1228.41
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84183 0 0 0 122757 84 0 0 25 0 1 0 30659231 348696576 82952 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82952 51 112 0 85015 0
Current children cumulated CPU time (s) 1236.74
Current children cumulated vsize (KiB) 357632
[startup+1303.95 s]
/proc/loadavg: 2.04 2.01 2.07 3/89 28855
/proc/meminfo: memFree=915512/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340524 CPUtime=1288.19
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84187 0 0 0 128734 85 0 0 25 0 1 0 30659231 348696576 82956 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85131 82956 51 112 0 85015 0
Current children cumulated CPU time (s) 1296.52
Current children cumulated vsize (KiB) 357632
[startup+1364.04 s]
/proc/loadavg: 2.01 2.01 2.07 3/89 28855
/proc/meminfo: memFree=915384/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1347.95
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84200 0 0 0 134710 85 0 0 25 0 1 0 30659231 348880896 82969 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82969 51 112 0 85060 0
Current children cumulated CPU time (s) 1356.28
Current children cumulated vsize (KiB) 357812
[startup+1424.05 s]
/proc/loadavg: 2.00 2.00 2.06 3/89 28855
/proc/meminfo: memFree=915320/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1407.6
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84204 0 0 0 140675 85 0 0 25 0 1 0 30659231 348880896 82973 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82973 51 112 0 85060 0
Current children cumulated CPU time (s) 1415.93
Current children cumulated vsize (KiB) 357812
[startup+1484.05 s]
/proc/loadavg: 2.00 2.00 2.06 3/89 28855
/proc/meminfo: memFree=915320/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1467.27
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84208 0 0 0 146642 85 0 0 25 0 1 0 30659231 348880896 82977 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82977 51 112 0 85060 0
Current children cumulated CPU time (s) 1475.6
Current children cumulated vsize (KiB) 357812
[startup+1544.05 s]
/proc/loadavg: 2.00 2.00 2.05 3/89 28855
/proc/meminfo: memFree=915256/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1526.95
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84212 0 0 0 152609 86 0 0 25 0 1 0 30659231 348880896 82981 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82981 51 112 0 85060 0
Current children cumulated CPU time (s) 1535.28
Current children cumulated vsize (KiB) 357812
[startup+1604.15 s]
/proc/loadavg: 2.00 2.00 2.04 3/89 28855
/proc/meminfo: memFree=915192/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1586.7
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84216 0 0 0 158584 86 0 0 25 0 1 0 30659231 348880896 82985 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82985 51 112 0 85060 0
Current children cumulated CPU time (s) 1595.03
Current children cumulated vsize (KiB) 357812
[startup+1664.24 s]
/proc/loadavg: 2.00 2.00 2.04 3/89 28855
/proc/meminfo: memFree=915064/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=8.33
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2121 17101 0 2 8 1 766 58 16 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
[pid=28656] ppid=28587 vsize=340704 CPUtime=1646.47
/proc/28656/stat : 28656 (minisat) R 28587 28587 28443 0 -1 0 84219 0 0 0 164561 86 0 0 25 0 1 0 30659231 348880896 82988 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/28656/statm: 85176 82988 51 112 0 85060 0
Current children cumulated CPU time (s) 1654.8
Current children cumulated vsize (KiB) 357812
[startup+1724.34 s]
/proc/loadavg: 2.00 2.00 2.03 3/89 28855
/proc/meminfo: memFree=915000/2055920 swapFree=4192812/4192956
[pid=28587] ppid=28585 vsize=17108 CPUtime=1714.43
/proc/28587/stat : 28587 (sugar) S 28585 28587 28443 0 -1 4194304 2176 101737 0 2 8 1 171283 151 18 0 1 0 30658388 17518592 1633 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28587/statm: 4277 1633 373 3 0 1377 0
Current children cumulated CPU time (s) 1714.43
Current children cumulated vsize (KiB) 17108
Child status: 0
Real time (s): 1724.95
CPU time (s): 1715.13
CPU user time (s): 1713.45
CPU system time (s): 1.68274
CPU usage (%): 99.4308
Max. virtual memory (cumulated for all children) (KiB): 824244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.45
system time used= 1.68274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114702
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= 1778
involuntary context switches= 31173
runsolver used 1.9447 s user time and 5.70013 s system time
The end
Begin job on node15 on Mon Jan 29 21:43:59 UTC 2007
IDJOB= 234866
IDBENCH= 6721
IDSOLVER= 86
FILE ID= node15/234866-1170107038
PBS_JOBID= 3689910
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20-15/js-taillard-20-15-100-9.xml
COMMAND LINE= /tmp/evaluation/234866-1170107038/solver /tmp/evaluation/234866-1170107038 /tmp/evaluation/234866-1170107038/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-234866-1170107038 -o ROOT/results/node15/solver-234866-1170107038 -C 1800 -M 900 /tmp/evaluation/234866-1170107038/solver /tmp/evaluation/234866-1170107038 /tmp/evaluation/234866-1170107038/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2a5d4cc7ff938a6383e2a78f825e1405
RANDOM SEED= 449255422
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.276
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.276
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: 1816912 kB
Buffers: 67252 kB
Cached: 52360 kB
SwapCached: 0 kB
Active: 111680 kB
Inactive: 73668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1816912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1456 kB
Writeback: 0 kB
Mapped: 84740 kB
Slab: 38924 kB
Committed_AS: 510728 kB
PageTables: 1976 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= 66446 MiB
End job on node15 on Mon Jan 29 22:12:45 UTC 2007