Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 22.1256 | 22.2267 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 944 |
Name | csp/os-taillard-20/ normalized-os-taillard-20-105-2.xml |
MD5SUM | 4edeb52ba8c5e270795a490c2e727147 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.68759 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1359 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7600 |
Global constraints used (with number of constraints) |
0.00/0.02 c has big domains 0.00/0.02 c big-domain mode 0.00/0.02 c Seed is 315935217 0.00/0.02 c Constructing HOME/instance-2076533-1247714221.xml with 53200 constraints 0.67/0.79 c Solving 944 backtracks 8 restarts 21.99/22.15 s SATISFIABLE 21.99/22.15 c V0=459, V1=243, V2=154, V3=957, V4=65, V5=121, V6=1223, V7=778, V8=379, V9=0, V10=595, V11=718, V12=881, V13=1170, V14=643, V15=1077, V16=1006, V17=537, V18=302, V19=755, V20=589, V21=214, V22=548, V23=130, V24=759, V25=1222, V26=483, V27=0, V28=459, V29=930, V30=985, V31=864, V32=302, V33=821, V34=240, V35=1075, V36=50, V37=679, V38=205, V39=381, V40=96, V41=1223, V42=829, V43=0, V44=957, V45=918, V46=433, V47=482, V48=637, V49=1135, V50=537, V51=376, V52=1117, V53=139, V54=599, V55=210, V56=721, V57=374, V58=298, V59=1033, V60=389, V61=256, V62=291, V63=207, V64=1041, V65=785, V66=1127, V67=555, V68=1267, V69=637, V70=585, V71=871, V72=465, V73=989, V74=829, V75=86, V76=510, V77=760, V78=14, V79=120, V80=50, V81=160, V82=1077, V83=393, V84=820, V85=1121, V86=954, V87=0, V88=103, V89=243, V90=482, V91=755, V92=305, V93=80, V94=136, V95=442, V96=632, V97=574, V98=580, V99=31, V100=969, V101=358, V102=71, V103=1082, V104=622, V105=1246, V106=721, V107=443, V108=593, V109=267, V110=199, V111=871, V112=537, V113=1113, V114=0, V115=158, V116=914, V117=509, V118=1168, V119=803, V120=1158, V121=0, V122=717, V123=1026, V124=1319, V125=13, V126=81, V127=298, V128=352, V129=226, V130=200, V131=1211, V132=465, V133=988, V134=274, V135=802, V136=159, V137=881, V138=66, V139=591, V140=395, V141=0, V142=939, V143=414, V144=1222, V145=300, V146=1029, V147=1285, V148=357, V149=150, V150=1341, V151=210, V152=1203, V153=493, V154=886, V155=125, V156=1303, V157=73, V158=2, V159=23, V160=482, V161=0, V162=50, V163=651, V164=574, V165=980, V166=130, V167=282, V168=705, V169=1135, V170=83, V171=973, V172=391, V173=1054, V174=917, V175=352, V176=211, V177=240, V178=1223, V179=802, V180=558, V181=482, V182=1203, V183=852, V184=1159, V185=136, V186=599, V187=1285, V188=638, V189=1035, V190=803, V191=43, V192=432, V193=352, V194=207, V195=9, V196=736, V197=589, V198=680, V199=267, V200=699, V201=335, V202=911, V203=296, V204=770, V205=71, V206=411, V207=716, V208=687, V209=785, V210=1301, V211=211, V212=0, V213=1148, V214=973, V215=31, V216=493, V217=545, V218=118, V219=623, V220=634, V221=1004, V222=217, V223=1275, V224=831, V225=0, V226=1042, V227=1196, V228=17, V229=103, V230=961, V231=1075, V232=65, V233=513, V234=760, V235=1320, V236=305, V237=599, V238=136, V239=1129, V240=718, V241=0, V242=118, V243=759, V244=648, V245=1042, V246=217, V247=1333, V248=771, V249=1348, V250=894, V251=416, V252=799, V253=1105, V254=292, V255=1293, V256=509, V257=1196, V258=494, V259=335, V260=70, V261=324, V262=233, V263=1162, V264=1271, V265=1185, V266=0, V267=391, V268=374, V269=1127, V270=939, V271=162, V272=852, V273=466, V274=595, V275=716, V276=156, V277=1022, V278=866, V279=626, V280=831, V281=432, V282=520, V283=1305, V284=1033, V285=918, V286=0, V287=1276, V288=158, V289=1185, V290=493, V291=690, V292=99, V293=760, V294=58, V295=591, V296=302, V297=336, V298=177, V299=1087, V300=298, V301=394, V302=1016, V303=246, V304=637, V305=812, V306=176, V307=1162, V308=103, V309=0, V310=136, V311=935, V312=448, V313=443, V314=40, V315=267, V316=509, V317=705, V318=548, V319=664, V320=83, V321=1307, V322=1226, V323=733, V324=917, V325=871, V326=626, V327=1006, V328=1166, V329=267, V330=0, V331=448, V332=125, V333=43, V334=504, V335=292, V336=70, V337=50, V338=820, V339=200, V340=0, V341=914, V342=821, V343=75, V344=1333, V345=690, V346=494, V347=564, V348=1246, V349=186, V350=1159, V351=395, V352=954, V353=1004, V354=1087, V355=302, V356=103, V357=25, V358=632, V359=732, V360=975, V361=37, V362=726, V363=828, V364=73, V365=342, V366=1059, V367=0, V368=651, V369=433, V370=1307, V371=1, V372=1130, V373=1347, V374=558, V375=899, V376=282, V377=1168, V378=152, V379=1223, V380=865, V381=0, V382=520, V383=596, V384=772, V385=761, V386=466, V387=342, V388=96, V389=160, V390=1127, V391=393, V392=638, V393=1022, V394=1276, V395=687, V396=935, V397=268, V398=760, V399=214, 21.99/22.15 v 459 243 154 957 65 121 1223 778 379 0 595 718 881 1170 643 1077 1006 537 302 755 589 214 548 130 759 1222 483 0 459 930 985 864 302 821 240 1075 50 679 205 381 96 1223 829 0 957 918 433 482 637 1135 537 376 1117 139 599 210 721 374 298 1033 389 256 291 207 1041 785 1127 555 1267 637 585 871 465 989 829 86 510 760 14 120 50 160 1077 393 820 1121 954 0 103 243 482 755 305 80 136 442 632 574 580 31 969 358 71 1082 622 1246 721 443 593 267 199 871 537 1113 0 158 914 509 1168 803 1158 0 717 1026 1319 13 81 298 352 226 200 1211 465 988 274 802 159 881 66 591 395 0 939 414 1222 300 1029 1285 357 150 1341 210 1203 493 886 125 1303 73 2 23 482 0 50 651 574 980 130 282 705 1135 83 973 391 1054 917 352 211 240 1223 802 558 482 1203 852 1159 136 599 1285 638 1035 803 43 432 352 207 9 736 589 680 267 699 335 911 296 770 71 411 716 687 785 1301 211 0 1148 973 31 493 545 118 623 634 1004 217 1275 831 0 1042 1196 17 103 961 1075 65 513 760 1320 305 599 136 1129 718 0 118 759 648 1042 217 1333 771 1348 894 416 799 1105 292 1293 509 1196 494 335 70 324 233 1162 1271 1185 0 391 374 1127 939 162 852 466 595 716 156 1022 866 626 831 432 520 1305 1033 918 0 1276 158 1185 493 690 99 760 58 591 302 336 177 1087 298 394 1016 246 637 812 176 1162 103 0 136 935 448 443 40 267 509 705 548 664 83 1307 1226 733 917 871 626 1006 1166 267 0 448 125 43 504 292 70 50 820 200 0 914 821 75 1333 690 494 564 1246 186 1159 395 954 1004 1087 302 103 25 632 732 975 37 726 828 73 342 1059 0 651 433 1307 1 1130 1347 558 899 282 1168 152 1223 865 0 520 596 772 761 466 342 96 160 1127 393 638 1022 1276 687 935 268 760 214 22.09/22.22 d ASSIGNMENTS 944
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076533-1247714221/watcher-2076533-1247714221 -o /tmp/evaluation-result-2076533-1247714221/solver-2076533-1247714221 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 315935217 HOME/instance-2076533-1247714221.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.01 2.11 2.09 4/81 6605 /proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=18576 CPUtime=0 /proc/6605/stat : 6605 (runsolver) R 6603 6605 5643 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58488455 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0 /proc/6605/statm: 4644 284 249 26 0 2626 0 [startup+0.100723 s] /proc/loadavg: 2.01 2.11 2.09 4/81 6605 /proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=6520 CPUtime=0.07 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 1290 665 0 0 7 0 0 0 21 0 1 0 58488455 6676480 847 996147200 134512640 135215973 4294956304 18446744073709551615 4159732983 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 1630 847 388 171 0 555 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6520 [startup+0.202731 s] /proc/loadavg: 2.01 2.11 2.09 4/81 6605 /proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=8676 CPUtime=0.17 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 2003 665 0 0 17 0 0 0 22 0 1 0 58488455 8884224 1351 996147200 134512640 135215973 4294956304 18446744073709551615 4159151520 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 2169 1351 388 171 0 1094 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 8676 [startup+0.302739 s] /proc/loadavg: 2.01 2.11 2.09 4/81 6605 /proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=12184 CPUtime=0.27 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 3034 665 0 0 26 1 0 0 23 0 1 0 58488455 12476416 1933 996147200 134512640 135215973 4294956304 18446744073709551615 10460886 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 3046 1933 388 171 0 1971 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 12184 [startup+0.70277 s] /proc/loadavg: 2.01 2.11 2.09 4/81 6605 /proc/meminfo: memFree=1362840/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=20624 CPUtime=0.67 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 5932 665 0 0 65 2 0 0 25 0 1 0 58488455 21118976 3838 996147200 134512640 135215973 4294956304 18446744073709551615 134846619 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 5156 3838 388 171 0 4081 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 20624 [startup+1.50186 s] /proc/loadavg: 2.01 2.11 2.09 3/82 6610 /proc/meminfo: memFree=1335696/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=40840 CPUtime=1.46 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 12775 665 0 0 141 5 0 0 25 0 1 0 58488455 41820160 8370 996147200 134512640 135215973 4294956304 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 10210 8370 406 171 0 9135 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 40840 [startup+3.10199 s] /proc/loadavg: 2.01 2.11 2.09 3/82 6610 /proc/meminfo: memFree=1328912/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=40968 CPUtime=3.06 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 14416 665 0 0 300 6 0 0 25 0 1 0 58488455 41951232 8815 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 10242 8815 406 171 0 9167 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 40968 [startup+6.30128 s] /proc/loadavg: 2.01 2.11 2.09 3/82 6610 /proc/meminfo: memFree=1320528/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51316 CPUtime=6.25 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 23035 665 0 0 614 11 0 0 25 0 1 0 58488455 52547584 10847 996147200 134512640 135215973 4294956304 18446744073709551615 134908221 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12829 10847 406 171 0 11754 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51316 [startup+12.7019 s] /proc/loadavg: 2.01 2.11 2.09 3/82 6610 /proc/meminfo: memFree=1319704/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51440 CPUtime=12.62 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 35316 665 0 0 1248 14 0 0 25 0 1 0 58488455 52674560 11030 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12860 11030 406 171 0 11785 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 51440 Solver just ended. Dumping a history of the last processes samples [startup+12.8019 s] /proc/loadavg: 2.01 2.11 2.09 3/82 6610 /proc/meminfo: memFree=1319704/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51440 CPUtime=12.72 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 35409 665 0 0 1258 14 0 0 25 0 1 0 58488455 52674560 11031 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12860 11031 406 171 0 11785 0 Current children cumulated CPU time (s) 12.72 Current children cumulated vsize (KiB) 51440 [startup+19.2015 s] /proc/loadavg: 2.01 2.10 2.09 3/82 6610 /proc/meminfo: memFree=1319512/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51812 CPUtime=19.09 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 55135 665 0 0 1888 21 0 0 25 0 1 0 58488455 53055488 11115 996147200 134512640 135215973 4294956304 18446744073709551615 134904465 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12953 11115 406 171 0 11878 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 51812 [startup+20.8016 s] /proc/loadavg: 2.01 2.10 2.09 3/82 6610 /proc/meminfo: memFree=1319448/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51812 CPUtime=20.69 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 58549 665 0 0 2047 22 0 0 25 0 1 0 58488455 53055488 11125 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12953 11125 406 171 0 11878 0 Current children cumulated CPU time (s) 20.69 Current children cumulated vsize (KiB) 51812 [startup+21.6017 s] /proc/loadavg: 2.00 2.10 2.09 3/82 6610 /proc/meminfo: memFree=1319448/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51812 CPUtime=21.49 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 58963 665 0 0 2126 23 0 0 25 0 1 0 58488455 53055488 11125 996147200 134512640 135215973 4294956304 18446744073709551615 134902263 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12953 11125 406 171 0 11878 0 Current children cumulated CPU time (s) 21.49 Current children cumulated vsize (KiB) 51812 [startup+22.0017 s] /proc/loadavg: 2.00 2.10 2.09 3/82 6610 /proc/meminfo: memFree=1319256/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=51812 CPUtime=21.89 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 60385 665 0 0 2166 23 0 0 25 0 1 0 58488455 53055488 11167 996147200 134512640 135215973 4294956304 18446744073709551615 135096571 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 12953 11167 406 171 0 11878 0 Current children cumulated CPU time (s) 21.89 Current children cumulated vsize (KiB) 51812 [startup+22.2017 s] /proc/loadavg: 2.00 2.10 2.09 3/82 6610 /proc/meminfo: memFree=1319256/2055920 swapFree=4192812/4192956 [pid=6605] ppid=6603 vsize=27584 CPUtime=22.09 /proc/6605/stat : 6605 (pcs.big) R 6603 6605 5643 0 -1 4194304 60706 665 0 0 2185 24 0 0 25 0 1 0 58488455 28246016 5973 996147200 134512640 135215973 4294956304 18446744073709551615 10457203 0 0 4096 0 0 0 0 17 0 0 0 /proc/6605/statm: 6896 5973 406 171 0 5821 0 Current children cumulated CPU time (s) 22.09 Current children cumulated vsize (KiB) 27584 Child status: 0 Real time (s): 22.2267 CPU time (s): 22.1256 CPU user time (s): 21.8787 CPU system time (s): 0.246962 CPU usage (%): 99.5452 Max. virtual memory (cumulated for all children) (KiB): 51944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.8787 system time used= 0.246962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61374 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29 involuntary context switches= 312 runsolver used 0.029995 second user time and 0.06099 second system time The end
Begin job on node25 at 2009-07-16 05:17:01 IDJOB=2076533 IDBENCH=56450 IDSOLVER=734 FILE ID=node25/2076533-1247714221 PBS_JOBID= 9521476 Free space on /tmp= 66312 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-2.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076533-1247714221/watcher-2076533-1247714221 -o /tmp/evaluation-result-2076533-1247714221/solver-2076533-1247714221 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 315935217 HOME/instance-2076533-1247714221.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4edeb52ba8c5e270795a490c2e727147 RANDOM SEED=315935217 node25.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.231 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.231 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: 1363320 kB Buffers: 80644 kB Cached: 483212 kB SwapCached: 0 kB Active: 135860 kB Inactive: 480676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1363320 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3020 kB Writeback: 0 kB Mapped: 73096 kB Slab: 61040 kB Committed_AS: 504320 kB PageTables: 2016 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= 66308 MiB End job on node25 at 2009-07-16 05:17:23