Trace number 2082945

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 385.242 385.405

DiagnosticValue
ASSIGNMENTS60885

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-08-1093.xml
MD5SUMbf78e921ba91dea8e58cc955c04517cb
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 benchmark0.266958
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1094
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
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.18/0.21	c Seed is 584741748
0.18/0.21	c Constructing HOME/instance-2082945-1247721933.xml  with 6500 constraints
0.18/0.21	c Solving 60885 backtracks 18 restarts
385.12/385.36	s SATISFIABLE
385.12/385.36	c V0=1093, V1=0, V2=722, V3=2, V4=59, V5=673, V6=1014, V7=1, V8=395, V9=7, V10=396, V11=1037, V12=26, V13=292, V14=27, V15=0, V16=89, V17=35, V18=521, V19=97, V20=1052, V21=4, V22=0, V23=687, V24=396, V25=678, V26=395, V27=118, V28=341, V29=308, V30=351, V31=579, V32=27, V33=551, V34=2, V35=1013, V36=17, V37=20, V38=1015, V39=1030, V40=984, V41=576, V42=984, V43=618, V44=0, V45=27, V46=3, V47=7, V48=2, V49=6, V50=673, V51=3, V52=4, V53=10, V54=727, V55=26, V56=90, V57=84, V58=0, V59=351, V60=173, V61=1092, V62=1091, V63=0, V64=394, V65=1014, V66=409, V67=2, V68=3, V69=341, V70=393, V71=118, V72=587, V73=559, V74=1, V75=1061, V76=18, V77=117, V78=1092, V79=707, V80=1030, V81=1009, V82=1092, V83=656, V84=673, V85=679, V86=239, V87=312, V88=1027, V89=311, V90=0, V91=559, V92=558, V93=16, V94=8, V95=576, V96=292, V97=649, V98=405, V99=0, V100=395, 
385.12/385.36	v 1093 0 722 2 59 673 1014 1 395 7 396 1037 26 292 27 0 89 35 521 97 1052 4 0 687 396 678 395 118 341 308 351 579 27 551 2 1013 17 20 1015 1030 984 576 984 618 0 27 3 7 2 6 673 3 4 10 727 26 90 84 0 351 173 1092 1091 0 394 1014 409 2 3 341 393 118 587 559 1 1061 18 117 1092 707 1030 1009 1092 656 673 679 239 312 1027 311 0 559 558 16 8 576 292 649 405 0 395 
385.12/385.36	d ASSIGNMENTS 60885

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-2082945-1247721933/watcher-2082945-1247721933 -o /tmp/evaluation-result-2082945-1247721933/solver-2082945-1247721933 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 584741748 HOME/instance-2082945-1247721933.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: 1.99 2.02 2.00 4/73 16330
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=5356 CPUtime=0
/proc/16330/stat : 16330 (pcssolve) R 16328 16330 14549 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 59258862 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 234045893279 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16330/statm: 1339 241 200 169 0 50 0
[pid=16331] ppid=16330 vsize=0 CPUtime=0
/proc/16331/stat : 16331 (fgrep) Z 16330 16330 14549 0 -1 4194316 155 0 0 0 0 0 0 0 20 0 1 0 59258862 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/16331/statm: 0 0 0 0 0 0 0

[startup+0.057469 s]
/proc/loadavg: 1.99 2.02 2.00 4/73 16330
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=5520 CPUtime=0.04
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 1026 657 0 0 4 0 0 0 18 0 1 0 59258862 5652480 657 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 1380 657 388 171 0 305 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5520

[startup+0.101474 s]
/proc/loadavg: 1.99 2.02 2.00 4/73 16330
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=6492 CPUtime=0.08
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 1326 657 0 0 8 0 0 0 18 0 1 0 59258862 6647808 883 996147200 134512640 135215973 4294956304 18446744073709551615 134906926 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 1623 884 388 171 0 548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6492

[startup+0.301494 s]
/proc/loadavg: 1.99 2.02 2.00 4/73 16330
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=9080 CPUtime=0.27
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 2123 657 0 0 27 0 0 0 19 0 1 0 59258862 9297920 1466 996147200 134512640 135215973 4294956304 18446744073709551615 134648505 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 2270 1466 407 171 0 1195 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9080

[startup+0.701538 s]
/proc/loadavg: 1.99 2.02 2.00 4/73 16330
/proc/meminfo: memFree=1430872/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=9200 CPUtime=0.68
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 2178 657 0 0 67 1 0 0 23 0 1 0 59258862 9420800 1521 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 2300 1521 407 171 0 1225 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9200

[startup+1.50162 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1425680/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=9712 CPUtime=1.48
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 2322 657 0 0 147 1 0 0 25 0 1 0 59258862 9945088 1665 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 2428 1665 407 171 0 1353 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9712

[startup+3.10179 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1425040/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=10812 CPUtime=3.08
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 2615 657 0 0 307 1 0 0 25 0 1 0 59258862 11071488 1925 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 2703 1925 407 171 0 1628 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10812

[startup+6.30113 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1422928/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=12976 CPUtime=6.28
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 3242 657 0 0 627 1 0 0 25 0 1 0 59258862 13287424 2487 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 3244 2487 407 171 0 2169 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12976

[startup+12.7018 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1418264/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=17756 CPUtime=12.68
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 4519 657 0 0 1266 2 0 0 25 0 1 0 59258862 18182144 3570 996147200 134512640 135215973 4294956304 18446744073709551615 134600171 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 4439 3570 407 171 0 3364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17756

[startup+25.5021 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1408984/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=26636 CPUtime=25.47
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 6954 657 0 0 2544 3 0 0 25 0 1 0 59258862 27275264 5748 996147200 134512640 135215973 4294956304 18446744073709551615 134594141 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 6659 5748 407 171 0 5584 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 26636

[startup+51.1028 s]
/proc/loadavg: 1.99 2.02 2.00 3/74 16335
/proc/meminfo: memFree=1393816/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=42264 CPUtime=51.07
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 11260 657 0 0 5101 6 0 0 25 0 1 0 59258862 43278336 9541 996147200 134512640 135215973 4294956304 18446744073709551615 134600351 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 10566 9541 407 171 0 9491 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42264

[startup+102.306 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 16335
/proc/meminfo: memFree=1361688/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=76000 CPUtime=102.24
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 20442 657 0 0 10213 11 0 0 25 0 1 0 59258862 77824000 17360 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 19000 17360 407 171 0 17925 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 76000

[startup+162.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/74 16335
/proc/meminfo: memFree=1324376/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=117724 CPUtime=162.22
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 31735 657 0 0 16202 20 0 0 25 0 1 0 59258862 120549376 26604 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 29431 26604 407 171 0 28356 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 117724

[startup+222.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1288152/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=150024 CPUtime=222.19
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 40682 657 0 0 22191 28 0 0 25 0 1 0 59258862 153624576 35294 996147200 134512640 135215973 4294956304 18446744073709551615 134678074 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 37506 35294 407 171 0 36431 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 150024

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1251736/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=181548 CPUtime=282.17
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 49466 657 0 0 28182 35 0 0 25 0 1 0 59258862 185905152 44078 996147200 134512640 135215973 4294956304 18446744073709551615 135094328 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 45387 44078 407 171 0 44312 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 181548

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1220632/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=224144 CPUtime=342.14
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 60837 657 0 0 34169 45 0 0 25 0 1 0 59258862 229523456 51352 996147200 134512640 135215973 4294956304 18446744073709551615 134609888 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 56036 51352 407 171 0 54961 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 224144

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

[startup+358.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1211288/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=232400 CPUtime=358.14
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 63148 657 0 0 35766 48 0 0 25 0 1 0 59258862 237977600 53663 996147200 134512640 135215973 4294956304 18446744073709551615 5168884 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 58100 53663 407 171 0 57025 0
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (KiB) 232400

[startup+371.101 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1202968/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=239360 CPUtime=370.93
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 65074 657 0 0 37044 49 0 0 25 0 1 0 59258862 245104640 55589 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 59840 55589 407 171 0 58765 0
Current children cumulated CPU time (s) 370.93
Current children cumulated vsize (KiB) 239360

[startup+377.501 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1191576/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=251932 CPUtime=377.33
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68304 657 0 0 37682 51 0 0 25 0 1 0 59258862 257978368 58306 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 62983 58306 407 171 0 61908 0
Current children cumulated CPU time (s) 377.33
Current children cumulated vsize (KiB) 251932

[startup+380.701 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1191320/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=251932 CPUtime=380.53
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68348 657 0 0 38002 51 0 0 25 0 1 0 59258862 257978368 58350 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 62983 58350 407 171 0 61908 0
Current children cumulated CPU time (s) 380.53
Current children cumulated vsize (KiB) 251932

[startup+383.907 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1190808/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=252160 CPUtime=383.73
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68436 657 0 0 38322 51 0 0 25 0 1 0 59258862 258211840 58438 996147200 134512640 135215973 4294956304 18446744073709551615 134600165 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 63040 58438 407 171 0 61965 0
Current children cumulated CPU time (s) 383.73
Current children cumulated vsize (KiB) 252160

[startup+384.703 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1190808/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=252384 CPUtime=384.53
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68517 657 0 0 38402 51 0 0 25 0 1 0 59258862 258441216 58519 996147200 134512640 135215973 4294956304 18446744073709551615 134600236 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 63096 58519 407 171 0 62021 0
Current children cumulated CPU time (s) 384.53
Current children cumulated vsize (KiB) 252384

[startup+385.102 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1190296/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=248784 CPUtime=384.92
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68689 657 0 0 38441 51 0 0 25 0 1 0 59258862 254754816 58164 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 62196 58164 407 171 0 61121 0
Current children cumulated CPU time (s) 384.92
Current children cumulated vsize (KiB) 248784

[startup+385.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1190296/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=248784 CPUtime=385.12
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194304 68689 657 0 0 38461 51 0 0 25 0 1 0 59258862 254754816 58164 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 62196 58164 407 171 0 61121 0
Current children cumulated CPU time (s) 385.12
Current children cumulated vsize (KiB) 248784

[startup+385.402 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 16335
/proc/meminfo: memFree=1190296/2055920 swapFree=4192812/4192956
[pid=16330] ppid=16328 vsize=0 CPUtime=385.23
/proc/16330/stat : 16330 (pcs.big) R 16328 16330 14549 0 -1 4194308 68692 657 0 0 38468 55 0 0 25 0 1 0 59258862 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16330/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 385.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 385.405
CPU time (s): 385.242
CPU user time (s): 384.683
CPU system time (s): 0.559914
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 252884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 384.683
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69349
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= 18
involuntary context switches= 1651

runsolver used 0.447931 second user time and 0.962853 second system time

The end

Launcher Data 

Begin job on node79 at 2009-07-16 07:25:33
IDJOB=2082945
IDBENCH=57656
IDSOLVER=733
FILE ID=node79/2082945-1247721933
PBS_JOBID= 9521417
Free space on /tmp= 66368 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-08-1093.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082945-1247721933/watcher-2082945-1247721933 -o /tmp/evaluation-result-2082945-1247721933/solver-2082945-1247721933 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 584741748 HOME/instance-2082945-1247721933.xml

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

MD5SUM BENCH= bf78e921ba91dea8e58cc955c04517cb
RANDOM SEED=584741748

node79.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.229
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.229
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1431360 kB
Buffers:         82208 kB
Cached:         365164 kB
SwapCached:          0 kB
Active:         149312 kB
Inactive:       384376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1431360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:          97816 kB
Slab:            76132 kB
Committed_AS:   597784 kB
PageTables:       1936 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= 66364 MiB
End job on node79 at 2009-07-16 07:31:58