Trace number 2080306

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-restart 0.3.2SAT 135.513 136.812

DiagnosticValue
ASSIGNMENTS9397

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-105-4.xml
MD5SUMcc1626b385ab160ac31e70a43bb38e50
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 benchmark4.03239
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1298
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.21	c Seed is 38216153
0.00/0.21	c Constructing HOME/instance-2080306-1247717458.xml  with 11445 constraints
0.00/0.21	c Solving 9397 backtracks 14 restarts
135.48/136.80	s SATISFIABLE
135.48/136.80	c V0=0, V1=46, V2=142, V3=201, V4=296, V5=432, V6=507, V7=530, V8=651, V9=882, V10=898, V11=1023, V12=1091, V13=1175, V14=1274, V15=112, V16=232, V17=417, V18=516, V19=613, V20=681, V21=716, V22=754, V23=789, V24=862, V25=905, V26=998, V27=1036, V28=1104, V29=1221, V30=97, V31=184, V32=230, V33=301, V34=403, V35=433, V36=512, V37=574, V38=654, V39=760, V40=771, V41=986, V42=1002, V43=1075, V44=1126, V45=10, V46=29, V47=44, V48=89, V49=97, V50=169, V51=241, V52=334, V53=359, V54=570, V55=654, V56=716, V57=789, V58=882, V59=898, V60=0, V61=68, V62=139, V63=142, V64=210, V65=301, V66=338, V67=411, V68=432, V69=572, V70=738, V71=975, V72=1044, V73=1065, V74=1234, V75=0, V76=14, V77=68, V78=97, V79=171, V80=233, V81=264, V82=367, V83=479, V84=664, V85=666, V86=814, V87=855, V88=888, V89=1005, V90=114, V91=427, V92=512, V93=611, V94=681, V95=761, V96=832, V97=879, V98=975, V99=1031, V100=1109, V101=1162, V102=1172, V103=1264, V104=1265, V105=0, V106=29, V107=114, V108=203, V109=213, V110=243, V111=281, V112=319, V113=643, V114=659, V115=724, V116=814, V117=887, V118=1079, V119=1125, V120=0, V121=37, V122=387, V123=560, V124=583, V125=591, V126=669, V127=708, V128=761, V129=786, V130=877, V131=912, V132=995, V133=1003, V134=1064, V135=61, V136=388, V137=465, V138=516, V139=562, V140=584, V141=621, V142=745, V143=829, V144=868, V145=887, V146=924, V147=1034, V148=1126, V149=1247, V150=14, V151=36, V152=85, V153=118, V154=120, V155=225, V156=228, V157=319, V158=387, V159=408, V160=491, V161=560, V162=1168, V163=1211, V164=1250, V165=213, V166=362, V167=461, V168=489, V169=517, V170=662, V171=681, V172=762, V173=846, V174=868, V175=918, V176=929, V177=1002, V178=1095, V179=1126, V180=40, V181=61, V182=141, V183=171, V184=210, V185=296, V186=319, V187=574, V188=694, V189=816, V190=830, V191=899, V192=959, V193=1004, V194=1131, V195=235, V196=437, V197=532, V198=595, V199=683, V200=742, V201=754, V202=827, V203=923, V204=1013, V205=1025, V206=1108, V207=1111, V208=1201, V209=1292, V210=77, V211=203, V212=221, V213=275, V214=317, V215=450, V216=479, V217=832, V218=927, V219=1058, V220=1128, V221=1198, V222=1258, V223=1259, V224=1286, 
135.48/136.80	v 0 46 142 201 296 432 507 530 651 882 898 1023 1091 1175 1274 112 232 417 516 613 681 716 754 789 862 905 998 1036 1104 1221 97 184 230 301 403 433 512 574 654 760 771 986 1002 1075 1126 10 29 44 89 97 169 241 334 359 570 654 716 789 882 898 0 68 139 142 210 301 338 411 432 572 738 975 1044 1065 1234 0 14 68 97 171 233 264 367 479 664 666 814 855 888 1005 114 427 512 611 681 761 832 879 975 1031 1109 1162 1172 1264 1265 0 29 114 203 213 243 281 319 643 659 724 814 887 1079 1125 0 37 387 560 583 591 669 708 761 786 877 912 995 1003 1064 61 388 465 516 562 584 621 745 829 868 887 924 1034 1126 1247 14 36 85 118 120 225 228 319 387 408 491 560 1168 1211 1250 213 362 461 489 517 662 681 762 846 868 918 929 1002 1095 1126 40 61 141 171 210 296 319 574 694 816 830 899 959 1004 1131 235 437 532 595 683 742 754 827 923 1013 1025 1108 1111 1201 1292 77 203 221 275 317 450 479 832 927 1058 1128 1198 1258 1259 1286 
135.48/136.80	d ASSIGNMENTS 9397

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-2080306-1247717458/watcher-2080306-1247717458 -o /tmp/evaluation-result-2080306-1247717458/solver-2080306-1247717458 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 38216153 HOME/instance-2080306-1247717458.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.10 2.21 4/82 16947
/proc/meminfo: memFree=1612488/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=5356 CPUtime=0
/proc/16947/stat : 16947 (pcssolve) R 16945 16947 16098 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58813549 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259353275039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16947/statm: 1339 241 200 169 0 50 0
[pid=16948] ppid=16947 vsize=5356 CPUtime=0
/proc/16948/stat : 16948 (pcssolve) R 16947 16947 16098 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58813550 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 259353275687 0 0 4096 0 0 0 0 17 1 0 0
/proc/16948/statm: 1339 243 202 169 0 50 0
[pid=16949] ppid=16947 vsize=5356 CPUtime=0
/proc/16949/stat : 16949 (pcssolve) R 16947 16947 16098 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58813550 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259353275039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16949/statm: 1339 241 200 169 0 50 0

[startup+0.217541 s]
/proc/loadavg: 2.01 2.10 2.21 4/82 16947
/proc/meminfo: memFree=1612488/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=9776 CPUtime=0.19
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 2449 660 0 0 18 1 0 0 19 0 1 0 58813549 10010624 1655 996147200 134512640 135215973 4294956320 18446744073709551615 134583194 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 2444 1655 404 171 0 1369 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9776

[startup+0.301425 s]
/proc/loadavg: 2.01 2.10 2.21 4/82 16947
/proc/meminfo: memFree=1612488/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=11576 CPUtime=0.27
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 3007 660 0 0 26 1 0 0 19 0 1 0 58813549 11853824 2055 996147200 134512640 135215973 4294956320 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 2894 2055 404 171 0 1819 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11576

[startup+0.401438 s]
/proc/loadavg: 2.01 2.10 2.21 4/82 16947
/proc/meminfo: memFree=1612488/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=16400 CPUtime=0.38
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 3723 660 0 0 36 2 0 0 20 0 1 0 58813549 16793600 2562 996147200 134512640 135215973 4294956320 18446744073709551615 134915804 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 4100 2562 404 171 0 3025 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 16400

[startup+0.701473 s]
/proc/loadavg: 2.01 2.10 2.21 4/82 16947
/proc/meminfo: memFree=1612488/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=15524 CPUtime=0.67
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 4423 660 0 0 65 2 0 0 23 0 1 0 58813549 15896576 2845 996147200 134512640 135215973 4294956320 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 3881 2845 408 171 0 2806 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15524

[startup+1.50157 s]
/proc/loadavg: 2.01 2.10 2.21 4/83 16953
/proc/meminfo: memFree=1576952/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=15524 CPUtime=1.46
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 4540 660 0 0 144 2 0 0 25 0 1 0 58813549 15896576 2962 996147200 134512640 135215973 4294956320 18446744073709551615 134581297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 3881 2962 408 171 0 2806 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15524

[startup+3.10176 s]
/proc/loadavg: 2.01 2.10 2.21 4/83 16953
/proc/meminfo: memFree=1456248/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=15804 CPUtime=3.05
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 4655 660 0 0 303 2 0 0 25 0 1 0 58813549 16183296 3077 996147200 134512640 135215973 4294956320 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 3951 3077 408 171 0 2876 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15804

[startup+6.30113 s]
/proc/loadavg: 2.00 2.09 2.21 3/83 16953
/proc/meminfo: memFree=1443960/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=16772 CPUtime=6.22
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 4968 660 0 0 620 2 0 0 25 0 1 0 58813549 17174528 3390 996147200 134512640 135215973 4294956320 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 4193 3390 408 171 0 3118 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 16772

[startup+12.7019 s]
/proc/loadavg: 2.00 2.09 2.21 3/83 16953
/proc/meminfo: memFree=1440440/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=22860 CPUtime=12.55
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 6555 660 0 0 1252 3 0 0 25 0 1 0 58813549 23408640 4111 996147200 134512640 135215973 4294956320 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 5715 4111 408 171 0 4640 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 22860

[startup+25.5064 s]
/proc/loadavg: 2.00 2.09 2.20 3/83 16953
/proc/meminfo: memFree=1419192/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=25508 CPUtime=25.23
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 7372 660 0 0 2520 3 0 0 25 0 1 0 58813549 26120192 4734 996147200 134512640 135215973 4294956320 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 6377 4734 408 171 0 5302 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 25508

[startup+51.1014 s]
/proc/loadavg: 2.00 2.08 2.20 4/83 16953
/proc/meminfo: memFree=1296184/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=33520 CPUtime=50.59
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 9592 660 0 0 5053 6 0 0 25 0 1 0 58813549 34324480 6697 996147200 134512640 135215973 4294956320 18446744073709551615 134599861 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 8380 6697 408 171 0 7305 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 33520

[startup+102.301 s]
/proc/loadavg: 2.00 2.06 2.18 3/83 16953
/proc/meminfo: memFree=1184248/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=51016 CPUtime=101.31
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 14402 660 0 0 10121 10 0 0 25 0 1 0 58813549 52240384 10865 996147200 134512640 135215973 4294956320 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 12754 10865 408 171 0 11679 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 51016

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

[startup+102.506 s]
/proc/loadavg: 2.00 2.06 2.18 3/83 16953
/proc/meminfo: memFree=1183992/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=51016 CPUtime=101.51
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 14407 660 0 0 10141 10 0 0 25 0 1 0 58813549 52240384 10870 996147200 134512640 135215973 4294956320 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 12754 10870 408 171 0 11679 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 51016

[startup+115.302 s]
/proc/loadavg: 2.00 2.06 2.18 3/83 16953
/proc/meminfo: memFree=1178424/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=53420 CPUtime=114.19
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 15078 660 0 0 11408 11 0 0 25 0 1 0 58813549 54702080 11541 996147200 134512640 135215973 4294956320 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 13355 11541 408 171 0 12280 0
Current children cumulated CPU time (s) 114.19
Current children cumulated vsize (KiB) 53420

[startup+128.101 s]
/proc/loadavg: 2.00 2.06 2.18 4/83 16953
/proc/meminfo: memFree=1029048/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=56272 CPUtime=126.87
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 15859 660 0 0 12675 12 0 0 25 0 1 0 58813549 57622528 12322 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14068 12322 408 171 0 12993 0
Current children cumulated CPU time (s) 126.87
Current children cumulated vsize (KiB) 56272

[startup+131.302 s]
/proc/loadavg: 2.00 2.06 2.18 3/83 16953
/proc/meminfo: memFree=1027832/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=56872 CPUtime=130.04
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16046 660 0 0 12992 12 0 0 25 0 1 0 58813549 58236928 12509 996147200 134512640 135215973 4294956320 18446744073709551615 134902534 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14218 12509 408 171 0 13143 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (KiB) 56872

[startup+134.501 s]
/proc/loadavg: 2.00 2.06 2.18 3/83 16953
/proc/meminfo: memFree=1026744/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=57864 CPUtime=133.2
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16303 660 0 0 13308 12 0 0 25 0 1 0 58813549 59252736 12766 996147200 134512640 135215973 4294956320 18446744073709551615 135096417 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14466 12766 408 171 0 13391 0
Current children cumulated CPU time (s) 133.2
Current children cumulated vsize (KiB) 57864

[startup+136.102 s]
/proc/loadavg: 2.00 2.06 2.17 3/83 16953
/proc/meminfo: memFree=1026424/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=58364 CPUtime=134.79
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16440 660 0 0 13467 12 0 0 25 0 1 0 58813549 59764736 12903 996147200 134512640 135215973 4294956320 18446744073709551615 134533336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14591 12903 408 171 0 13516 0
Current children cumulated CPU time (s) 134.79
Current children cumulated vsize (KiB) 58364

[startup+136.501 s]
/proc/loadavg: 2.00 2.06 2.17 3/83 16953
/proc/meminfo: memFree=1026104/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=58364 CPUtime=135.19
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16451 660 0 0 13507 12 0 0 25 0 1 0 58813549 59764736 12914 996147200 134512640 135215973 4294956320 18446744073709551615 134591939 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14591 12914 408 171 0 13516 0
Current children cumulated CPU time (s) 135.19
Current children cumulated vsize (KiB) 58364

[startup+136.701 s]
/proc/loadavg: 2.00 2.06 2.17 3/83 16953
/proc/meminfo: memFree=1026104/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=58500 CPUtime=135.38
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16494 660 0 0 13526 12 0 0 25 0 1 0 58813549 59904000 12957 996147200 134512640 135215973 4294956320 18446744073709551615 134604890 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 14625 12957 408 171 0 13550 0
Current children cumulated CPU time (s) 135.38
Current children cumulated vsize (KiB) 58500

[startup+136.801 s]
/proc/loadavg: 2.00 2.06 2.17 3/83 16953
/proc/meminfo: memFree=1026104/2055920 swapFree=4192812/4192956
[pid=16947] ppid=16945 vsize=55680 CPUtime=135.48
/proc/16947/stat : 16947 (pcs.big) R 16945 16947 16098 0 -1 4194304 16496 660 0 0 13536 12 0 0 25 0 1 0 58813549 57016320 12348 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16947/statm: 13920 12348 408 171 0 12845 0
Current children cumulated CPU time (s) 135.48
Current children cumulated vsize (KiB) 55680

Child status: 0
Real time (s): 136.812
CPU time (s): 135.513
CPU user time (s): 135.371
CPU system time (s): 0.141978
CPU usage (%): 99.0511
Max. virtual memory (cumulated for all children) (KiB): 58500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.371
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17159
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= 22
involuntary context switches= 2953

runsolver used 0.185971 second user time and 0.442932 second system time

The end

Launcher Data 

Begin job on node1 at 2009-07-16 06:10:58
IDJOB=2080306
IDBENCH=57056
IDSOLVER=734
FILE ID=node1/2080306-1247717458
PBS_JOBID= 9521413
Free space on /tmp= 66388 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-105-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080306-1247717458/watcher-2080306-1247717458 -o /tmp/evaluation-result-2080306-1247717458/solver-2080306-1247717458 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 38216153 HOME/instance-2080306-1247717458.xml

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

MD5SUM BENCH= cc1626b385ab160ac31e70a43bb38e50
RANDOM SEED=38216153

node1.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.216
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.216
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:       1612968 kB
Buffers:         65420 kB
Cached:         239016 kB
SwapCached:          0 kB
Active:         142272 kB
Inactive:       235832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612968 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3760 kB
Writeback:           0 kB
Mapped:          94140 kB
Slab:            49956 kB
Committed_AS:   751400 kB
PageTables:       2012 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= 66384 MiB
End job on node1 at 2009-07-16 06:13:15