Trace number 2076477

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2SAT 1723.63 1731.43

DiagnosticValue
ASSIGNMENTS263672

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-100-6.xml
MD5SUM822c8f0751f873c488a8bb0f5ccf69cd
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.16667
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1352
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.04	c Seed is 1431162579
0.00/0.04	c Constructing HOME/instance-2076477-1247714202.xml  with 53200 constraints
0.75/0.87	c Solving 263672 backtracks 22 restarts
1722.49/1730.35	s SATISFIABLE
1722.49/1730.35	c V0=207, V1=494, V2=0, V3=34, V4=1298, V5=1276, V6=430, V7=764, V8=1019, V9=1122, V10=345, V11=878, V12=622, V13=178, V14=688, V15=300, V16=1210, V17=579, V18=73, V19=443, V20=78, V21=1270, V22=99, V23=1130, V24=1247, V25=1217, V26=0, V27=985, V28=1029, V29=82, V30=825, V31=29, V32=391, V33=234, V34=523, V35=1332, V36=1086, V37=656, V38=113, V39=739, V40=53, V41=677, V42=287, V43=731, V44=536, V45=199, V46=35, V47=1129, V48=920, V49=1050, V50=7, V51=443, V52=1346, V53=607, V54=102, V55=403, V56=1208, V57=1276, V58=0, V59=842, V60=956, V61=129, V62=101, V63=440, V64=50, V65=64, V66=474, V67=821, V68=688, V69=1260, V70=400, V71=213, V72=1041, V73=277, V74=914, V75=1167, V76=593, V77=1084, V78=778, V79=536, V80=1118, V81=798, V82=612, V83=447, V84=1229, V85=1005, V86=34, V87=154, V88=336, V89=669, V90=740, V91=102, V92=544, V93=572, V94=1, V95=276, V96=169, V97=239, V98=204, V99=759, V100=1314, V101=727, V102=589, V103=1194, V104=1037, V105=849, V106=1107, V107=169, V108=677, V109=0, V110=468, V111=551, V112=445, V113=277, V114=365, V115=749, V116=78, V117=906, V118=1005, V119=1260, V120=191, V121=1066, V122=824, V123=284, V124=1010, V125=1144, V126=223, V127=162, V128=1193, V129=723, V130=91, V131=443, V132=484, V133=1291, V134=352, V135=0, V136=671, V137=765, V138=524, V139=914, V140=1037, V141=1247, V142=154, V143=940, V144=405, V145=1231, V146=519, V147=740, V148=662, V149=291, V150=472, V151=857, V152=204, V153=447, V154=1084, V155=815, V156=1276, V157=50, V158=0, V159=955, V160=345, V161=672, V162=1253, V163=1164, V164=1077, V165=0, V166=484, V167=331, V168=104, V169=987, V170=575, V171=391, V172=213, V173=849, V174=122, V175=761, V176=703, V177=73, V178=778, V179=943, V180=0, V181=656, V182=207, V183=484, V184=722, V185=875, V186=501, V187=1260, V188=799, V189=761, V190=122, V191=43, V192=284, V193=421, V194=596, V195=939, V196=1122, V197=1038, V198=1210, V199=914, V200=637, V201=1312, V202=1019, V203=758, V204=656, V205=1227, V206=1113, V207=918, V208=156, V209=1323, V210=842, V211=1290, V212=558, V213=893, V214=750, V215=1334, V216=1187, V217=325, V218=755, V219=479, V220=30, V221=1007, V222=593, V223=7, V224=1041, V225=306, V226=344, V227=889, V228=265, V229=1241, V230=0, V231=91, V232=735, V233=925, V234=647, V235=1295, V236=175, V237=445, V238=920, V239=857, V240=0, V241=98, V242=1007, V243=175, V244=655, V245=558, V246=1241, V247=958, V248=846, V249=1175, V250=365, V251=1146, V252=1232, V253=788, V254=1031, V255=485, V256=941, V257=243, V258=711, V259=53, V260=166, V261=1072, V262=399, V263=195, V264=1263, V265=764, V266=0, V267=877, V268=1062, V269=964, V270=1000, V271=257, V272=677, V273=99, V274=308, V275=1169, V276=575, V277=496, V278=586, V279=827, V280=101, V281=411, V282=0, V283=606, V284=479, V285=1066, V286=90, V287=243, V288=1235, V289=213, V290=518, V291=939, V292=705, V293=1062, V294=1173, V295=369, V296=950, V297=1328, V298=1292, V299=156, V300=183, V301=27, V302=148, V303=259, V304=191, V305=953, V306=1206, V307=723, V308=1292, V309=756, V310=526, V311=1107, V312=333, V313=1083, V314=930, V315=1085, V316=824, V317=607, V318=405, V319=96, V320=174, V321=1094, V322=969, V323=127, V324=666, V325=306, V326=70, V327=1165, V328=591, V329=735, V330=1235, V331=878, V332=54, V333=1225, V334=512, V335=504, V336=403, V337=225, V338=1031, V339=802, V340=655, V341=1110, V342=1086, V343=126, V344=616, V345=531, V346=905, V347=235, V348=1220, V349=67, V350=30, V351=971, V352=271, V353=0, V354=507, V355=1331, V356=82, V357=736, V358=340, V359=879, V360=647, V361=218, V362=187, V363=99, V364=1169, V365=440, V366=944, V367=1071, V368=758, V369=812, V370=589, V371=1019, V372=906, V373=1288, V374=408, V375=271, V376=359, V377=1046, V378=0, V379=1223, V380=43, V381=1214, V382=964, V383=1136, V384=243, V385=1270, V386=920, V387=0, V388=1031, V389=1, V390=313, V391=138, V392=605, V393=549, V394=940, V395=830, V396=649, V397=434, V398=162, V399=113, 
1722.49/1730.35	v 207 494 0 34 1298 1276 430 764 1019 1122 345 878 622 178 688 300 1210 579 73 443 78 1270 99 1130 1247 1217 0 985 1029 82 825 29 391 234 523 1332 1086 656 113 739 53 677 287 731 536 199 35 1129 920 1050 7 443 1346 607 102 403 1208 1276 0 842 956 129 101 440 50 64 474 821 688 1260 400 213 1041 277 914 1167 593 1084 778 536 1118 798 612 447 1229 1005 34 154 336 669 740 102 544 572 1 276 169 239 204 759 1314 727 589 1194 1037 849 1107 169 677 0 468 551 445 277 365 749 78 906 1005 1260 191 1066 824 284 1010 1144 223 162 1193 723 91 443 484 1291 352 0 671 765 524 914 1037 1247 154 940 405 1231 519 740 662 291 472 857 204 447 1084 815 1276 50 0 955 345 672 1253 1164 1077 0 484 331 104 987 575 391 213 849 122 761 703 73 778 943 0 656 207 484 722 875 501 1260 799 761 122 43 284 421 596 939 1122 1038 1210 914 637 1312 1019 758 656 1227 1113 918 156 1323 842 1290 558 893 750 1334 1187 325 755 479 30 1007 593 7 1041 306 344 889 265 1241 0 91 735 925 647 1295 175 445 920 857 0 98 1007 175 655 558 1241 958 846 1175 365 1146 1232 788 1031 485 941 243 711 53 166 1072 399 195 1263 764 0 877 1062 964 1000 257 677 99 308 1169 575 496 586 827 101 411 0 606 479 1066 90 243 1235 213 518 939 705 1062 1173 369 950 1328 1292 156 183 27 148 259 191 953 1206 723 1292 756 526 1107 333 1083 930 1085 824 607 405 96 174 1094 969 127 666 306 70 1165 591 735 1235 878 54 1225 512 504 403 225 1031 802 655 1110 1086 126 616 531 905 235 1220 67 30 971 271 0 507 1331 82 736 340 879 647 218 187 99 1169 440 944 1071 758 812 589 1019 906 1288 408 271 359 1046 0 1223 43 1214 964 1136 243 1270 920 0 1031 1 313 138 605 549 940 830 649 434 162 113 
1723.49/1731.34	d ASSIGNMENTS 263672

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076477-1247714202/watcher-2076477-1247714202 -o /tmp/evaluation-result-2076477-1247714202/solver-2076477-1247714202 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1431162579 HOME/instance-2076477-1247714202.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.25 2.21 2.13 4/82 20127
/proc/meminfo: memFree=1519736/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=18576 CPUtime=0
/proc/20127/stat : 20127 (runsolver) R 20125 20127 18594 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58484061 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20127/statm: 4644 284 249 26 0 2626 0

[startup+0.0958659 s]
/proc/loadavg: 2.25 2.21 2.13 4/82 20127
/proc/meminfo: memFree=1519736/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=5920 CPUtime=0.05
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 1127 665 0 0 5 0 0 0 18 0 1 0 58484061 6062080 758 996147200 134512640 135215973 4294956304 18446744073709551615 134808146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 1480 758 388 171 0 405 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5920

[startup+0.102864 s]
/proc/loadavg: 2.25 2.21 2.13 4/82 20127
/proc/meminfo: memFree=1519736/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=5920 CPUtime=0.05
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 1139 665 0 0 5 0 0 0 18 0 1 0 58484061 6062080 770 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 1480 770 388 171 0 405 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5920

[startup+0.302887 s]
/proc/loadavg: 2.25 2.21 2.13 4/82 20127
/proc/meminfo: memFree=1519736/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=11020 CPUtime=0.26
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 2685 665 0 0 25 1 0 0 19 0 1 0 58484061 11284480 1778 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 2755 1778 388 171 0 1680 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11020

[startup+0.702932 s]
/proc/loadavg: 2.25 2.21 2.13 4/82 20127
/proc/meminfo: memFree=1519736/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=20124 CPUtime=0.65
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 5676 665 0 0 63 2 0 0 23 0 1 0 58484061 20606976 3582 996147200 134512640 135215973 4294956304 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 5031 3582 388 171 0 3956 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 20124

[startup+1.50202 s]
/proc/loadavg: 2.23 2.20 2.13 3/83 20132
/proc/meminfo: memFree=1488048/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=35824 CPUtime=1.45
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11482 665 0 0 141 4 0 0 25 0 1 0 58484061 36683776 7864 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 8956 7864 406 171 0 7881 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 35824

[startup+3.10118 s]
/proc/loadavg: 2.23 2.20 2.13 3/83 20132
/proc/meminfo: memFree=1471728/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=51400 CPUtime=3.04
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 17469 665 0 0 297 7 0 0 25 0 1 0 58484061 52633600 10479 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 12850 10485 406 171 0 11775 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 51400

[startup+6.30151 s]
/proc/loadavg: 2.23 2.20 2.13 3/83 20133
/proc/meminfo: memFree=1456360/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=51348 CPUtime=6.22
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 23143 665 0 0 613 9 0 0 25 0 1 0 58484061 52580352 10955 996147200 134512640 135215973 4294956304 18446744073709551615 134588264 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 12837 10955 406 171 0 11762 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 51348

[startup+12.7012 s]
/proc/loadavg: 2.19 2.20 2.13 3/83 20133
/proc/meminfo: memFree=1455592/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=51876 CPUtime=12.59
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 53918 665 0 0 1237 22 0 0 25 0 1 0 58484061 53121024 11094 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 12969 11094 406 171 0 11894 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 51876

[startup+25.5015 s]
/proc/loadavg: 2.16 2.19 2.12 3/83 20133
/proc/meminfo: memFree=1448936/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=54324 CPUtime=25.34
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 118015 665 0 0 2487 47 0 0 25 0 1 0 58484061 55627776 11659 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 13581 11659 406 171 0 12506 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 54324

[startup+51.1021 s]
/proc/loadavg: 2.11 2.17 2.12 3/83 20133
/proc/meminfo: memFree=1408232/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=59476 CPUtime=50.8
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 260059 665 0 0 4978 102 0 0 25 0 1 0 58484061 60903424 13035 996147200 134512640 135215973 4294956304 18446744073709551615 135097107 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 14869 13035 406 171 0 13794 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 59476

[startup+102.306 s]
/proc/loadavg: 2.04 2.14 2.11 3/83 20133
/proc/meminfo: memFree=1326120/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=80032 CPUtime=101.76
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 661481 665 0 0 9920 256 0 0 25 0 1 0 58484061 81952768 17525 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 20008 17525 406 171 0 18933 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 80032

[startup+162.303 s]
/proc/loadavg: 2.05 2.13 2.10 3/83 20133
/proc/meminfo: memFree=1244712/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=95912 CPUtime=161.46
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 1025458 665 0 0 15746 400 0 0 25 0 1 0 58484061 98213888 21552 996147200 134512640 135215973 4294956304 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 23978 21552 406 171 0 22903 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 95912

[startup+222.303 s]
/proc/loadavg: 2.15 2.13 2.10 3/83 20133
/proc/meminfo: memFree=1175464/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=108320 CPUtime=221.18
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 1414860 665 0 0 21560 558 0 0 25 0 1 0 58484061 110919680 24830 996147200 134512640 135215973 4294956304 18446744073709551615 134597454 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 27080 24830 406 171 0 26005 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 108320

[startup+282.302 s]
/proc/loadavg: 2.12 2.12 2.09 3/83 20133
/proc/meminfo: memFree=1094696/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=126348 CPUtime=280.88
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 2061296 665 0 0 27306 782 0 0 25 0 1 0 58484061 129380352 29520 996147200 134512640 135215973 4294956304 18446744073709551615 135094919 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 31587 29520 406 171 0 30512 0
Current children cumulated CPU time (s) 280.88
Current children cumulated vsize (KiB) 126348

[startup+342.302 s]
/proc/loadavg: 2.10 2.11 2.09 3/83 20133
/proc/meminfo: memFree=992936/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=145604 CPUtime=340.6
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 2506891 665 0 0 33111 949 0 0 25 0 1 0 58484061 149098496 33968 996147200 134512640 135215973 4294956304 18446744073709551615 134604669 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 36401 33968 406 171 0 35326 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 145604

[startup+402.302 s]
/proc/loadavg: 2.09 2.11 2.09 3/83 20133
/proc/meminfo: memFree=908456/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=166540 CPUtime=400.31
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 2821436 665 0 0 38958 1073 0 0 25 0 1 0 58484061 170536960 39577 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 41635 39577 406 171 0 40560 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 166540

[startup+462.302 s]
/proc/loadavg: 2.15 2.12 2.09 3/83 20133
/proc/meminfo: memFree=809192/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=193372 CPUtime=460.02
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 3146659 665 0 0 44798 1204 0 0 25 0 1 0 58484061 198012928 46191 996147200 134512640 135215973 4294956304 18446744073709551615 134583597 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 48343 46191 406 171 0 47268 0
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (KiB) 193372

[startup+522.303 s]
/proc/loadavg: 2.42 2.20 2.12 3/83 20133
/proc/meminfo: memFree=729960/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=235644 CPUtime=519.74
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 4023769 665 0 0 50493 1481 0 0 25 0 1 0 58484061 241299456 55921 996147200 134512640 135215973 4294956304 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 58911 55921 406 171 0 57836 0
Current children cumulated CPU time (s) 519.74
Current children cumulated vsize (KiB) 235644

[startup+582.303 s]
/proc/loadavg: 2.19 2.17 2.11 3/83 20133
/proc/meminfo: memFree=627112/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=276560 CPUtime=579.45
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 4893533 665 0 0 56196 1749 0 0 25 0 1 0 58484061 283197440 64908 996147200 134512640 135215973 4294956304 18446744073709551615 4158960109 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 69140 64908 406 171 0 68065 0
Current children cumulated CPU time (s) 579.45
Current children cumulated vsize (KiB) 276560

[startup+642.303 s]
/proc/loadavg: 2.14 2.16 2.11 3/83 20133
/proc/meminfo: memFree=556456/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=289416 CPUtime=639.16
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 5201769 665 0 0 62043 1873 0 0 25 0 1 0 58484061 296361984 68210 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20127/statm: 72354 68210 406 171 0 71279 0
Current children cumulated CPU time (s) 639.16
Current children cumulated vsize (KiB) 289416

[startup+702.303 s]

################
# More data... #
################

/proc/meminfo: memFree=456048/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=377016 CPUtime=997.48
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 7122006 665 0 0 97107 2641 0 0 25 0 1 0 58484061 386064384 91453 996147200 134512640 135215973 4294956304 18446744073709551615 134590615 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 94254 91453 406 171 0 93179 0
Current children cumulated CPU time (s) 997.48
Current children cumulated vsize (KiB) 377016

[startup+1062.3 s]
/proc/loadavg: 2.28 2.34 2.21 3/83 20174
/proc/meminfo: memFree=437360/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=409192 CPUtime=1057.22
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 7317082 665 0 0 102996 2726 0 0 25 0 1 0 58484061 419012608 96132 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 102298 96132 406 171 0 101223 0
Current children cumulated CPU time (s) 1057.22
Current children cumulated vsize (KiB) 409192

[startup+1122.3 s]
/proc/loadavg: 2.29 2.32 2.20 4/83 20174
/proc/meminfo: memFree=420528/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=424132 CPUtime=1116.97
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 7576071 665 0 0 108865 2832 0 0 25 0 1 0 58484061 434311168 100281 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 106033 100281 406 171 0 104958 0
Current children cumulated CPU time (s) 1116.97
Current children cumulated vsize (KiB) 424132

[startup+1182.3 s]
/proc/loadavg: 2.10 2.26 2.19 3/83 20174
/proc/meminfo: memFree=407792/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=436700 CPUtime=1176.72
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 7879479 665 0 0 114709 2963 0 0 25 0 1 0 58484061 447180800 103493 996147200 134512640 135215973 4294956304 18446744073709551615 134533264 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 109175 103493 406 171 0 108100 0
Current children cumulated CPU time (s) 1176.72
Current children cumulated vsize (KiB) 436700

[startup+1242.3 s]
/proc/loadavg: 2.12 2.24 2.18 3/83 20174
/proc/meminfo: memFree=385648/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=458412 CPUtime=1236.46
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 8325142 665 0 0 120527 3119 0 0 25 0 1 0 58484061 469413888 108982 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 114603 108982 406 171 0 113528 0
Current children cumulated CPU time (s) 1236.46
Current children cumulated vsize (KiB) 458412

[startup+1302.3 s]
/proc/loadavg: 2.04 2.19 2.17 3/83 20175
/proc/meminfo: memFree=429224/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=479552 CPUtime=1296.22
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 8882037 665 0 0 126325 3297 0 0 25 0 1 0 58484061 491061248 114383 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 119888 114383 406 171 0 118813 0
Current children cumulated CPU time (s) 1296.22
Current children cumulated vsize (KiB) 479552

[startup+1362.3 s]
/proc/loadavg: 2.01 2.16 2.16 3/83 20175
/proc/meminfo: memFree=407720/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=500856 CPUtime=1355.98
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 9512194 665 0 0 132107 3491 0 0 25 0 1 0 58484061 512876544 119814 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 125214 119814 406 171 0 124139 0
Current children cumulated CPU time (s) 1355.98
Current children cumulated vsize (KiB) 500856

[startup+1422.31 s]
/proc/loadavg: 2.00 2.12 2.15 3/83 20175
/proc/meminfo: memFree=374376/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=541708 CPUtime=1415.74
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 9718489 665 0 0 138015 3559 0 0 25 0 1 0 58484061 554708992 128054 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 135427 128054 406 171 0 134352 0
Current children cumulated CPU time (s) 1415.74
Current children cumulated vsize (KiB) 541708

[startup+1482.3 s]
/proc/loadavg: 2.00 2.10 2.13 3/83 20175
/proc/meminfo: memFree=353192/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=562720 CPUtime=1475.49
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 10134721 665 0 0 143851 3698 0 0 25 0 1 0 58484061 576225280 133368 996147200 134512640 135215973 4294956304 18446744073709551615 134600149 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 140680 133368 406 171 0 139605 0
Current children cumulated CPU time (s) 1475.49
Current children cumulated vsize (KiB) 562720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.08 2.12 3/83 20175
/proc/meminfo: memFree=331496/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=583748 CPUtime=1535.25
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 10547575 665 0 0 149691 3834 0 0 25 0 1 0 58484061 597757952 138708 996147200 134512640 135215973 4294956304 18446744073709551615 4158960648 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 145937 138708 406 171 0 144862 0
Current children cumulated CPU time (s) 1535.25
Current children cumulated vsize (KiB) 583748

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.11 3/83 20175
/proc/meminfo: memFree=310824/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=603844 CPUtime=1595.01
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 10922012 665 0 0 155540 3961 0 0 25 0 1 0 58484061 618336256 143857 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 150961 143857 406 171 0 149886 0
Current children cumulated CPU time (s) 1595.01
Current children cumulated vsize (KiB) 603844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.10 3/83 20175
/proc/meminfo: memFree=287144/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=627044 CPUtime=1654.76
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11447167 665 0 0 161345 4131 0 0 25 0 1 0 58484061 642093056 149764 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 156761 149764 406 171 0 155686 0
Current children cumulated CPU time (s) 1654.76
Current children cumulated vsize (KiB) 627044

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=265576/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=648516 CPUtime=1714.52
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11907891 665 0 0 167167 4285 0 0 25 0 1 0 58484061 664080384 155180 996147200 134512640 135215973 4294956304 18446744073709551615 134592277 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 162129 155180 406 171 0 161054 0
Current children cumulated CPU time (s) 1714.52
Current children cumulated vsize (KiB) 648516

Solver just ended. Dumping a history of the last processes samples

[startup+1727.9 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=263976/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=650228 CPUtime=1720.1
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11928473 665 0 0 167717 4293 0 0 25 0 1 0 58484061 665833472 155614 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 162557 155614 406 171 0 161482 0
Current children cumulated CPU time (s) 1720.1
Current children cumulated vsize (KiB) 650228

[startup+1729.5 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=262184/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=651284 CPUtime=1721.7
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11935813 665 0 0 167874 4296 0 0 25 0 1 0 58484061 666914816 156054 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 162821 156054 406 171 0 161746 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 651284

[startup+1730.31 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=260136/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=652340 CPUtime=1722.49
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11938495 665 0 0 167953 4296 0 0 25 0 1 0 58484061 667996160 156804 996147200 134512640 135215973 4294956304 18446744073709551615 134615867 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 163085 156804 406 171 0 162010 0
Current children cumulated CPU time (s) 1722.49
Current children cumulated vsize (KiB) 652340

[startup+1731.1 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=260136/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=635952 CPUtime=1723.29
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11938495 665 0 0 168032 4297 0 0 25 0 1 0 58484061 651214848 154328 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 158988 154328 406 171 0 157913 0
Current children cumulated CPU time (s) 1723.29
Current children cumulated vsize (KiB) 635952

[startup+1731.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=273000/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=635768 CPUtime=1723.49
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194304 11938495 665 0 0 168052 4297 0 0 25 0 1 0 58484061 651026432 153258 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 158942 153258 406 171 0 157867 0
Current children cumulated CPU time (s) 1723.49
Current children cumulated vsize (KiB) 635768

[startup+1731.41 s]
/proc/loadavg: 2.00 2.04 2.09 3/83 20175
/proc/meminfo: memFree=273000/2055920 swapFree=4192812/4192956
[pid=20127] ppid=20125 vsize=0 CPUtime=1723.59
/proc/20127/stat : 20127 (pcs.big) R 20125 20127 18594 0 -1 4194308 11938498 665 0 0 168055 4304 0 0 25 0 1 0 58484061 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/20127/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1723.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1731.43
CPU time (s): 1723.63
CPU user time (s): 1680.56
CPU system time (s): 43.0705
CPU usage (%): 99.5497
Max. virtual memory (cumulated for all children) (KiB): 652340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.56
system time used= 43.0705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11939163
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= 53916

runsolver used 1.84372 second user time and 4.54831 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 05:16:42
IDJOB=2076477
IDBENCH=56435
IDSOLVER=733
FILE ID=node44/2076477-1247714202
PBS_JOBID= 9521406
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076477-1247714202/watcher-2076477-1247714202 -o /tmp/evaluation-result-2076477-1247714202/solver-2076477-1247714202 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1431162579 HOME/instance-2076477-1247714202.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 822c8f0751f873c488a8bb0f5ccf69cd
RANDOM SEED=1431162579

node44.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.219
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.219
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:       1522328 kB
Buffers:         76880 kB
Cached:         299160 kB
SwapCached:          0 kB
Active:         149484 kB
Inactive:       298288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522328 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5380 kB
Writeback:           0 kB
Mapped:          92164 kB
Slab:            70924 kB
Committed_AS:   667708 kB
PageTables:       1980 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= 66276 MiB
End job on node44 at 2009-07-16 05:45:33