Trace number 2083836

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.2? (TO) 1800.15 1808.65

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-9.xml
MD5SUM82e6ad1aef50625fbf6be40e28789b38
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 benchmark1515.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.05	c Seed is 1863178677
0.00/0.05	c Constructing HOME/instance-2083836-1247723808.xml  with 256988 constraints
4.53/4.62	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083836-1247723808/watcher-2083836-1247723808 -o /tmp/evaluation-result-2083836-1247723808/solver-2083836-1247723808 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1863178677 HOME/instance-2083836-1247723808.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.00 2.09 2.10 4/72 19541
/proc/meminfo: memFree=1476712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=5356 CPUtime=0
/proc/19541/stat : 19541 (pcssolve) R 19539 19541 17476 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59444320 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19541/statm: 1339 241 200 169 0 50 0
[pid=19542] ppid=19541 vsize=3676 CPUtime=0
/proc/19542/stat : 19542 (fgrep) R 19541 19541 17476 0 -1 4194304 145 0 0 0 0 0 0 0 22 0 1 0 59444321 3764224 112 996147200 4194304 4274172 548682068976 18446744073709551615 235371462738 0 0 4096 0 0 0 0 17 1 0 0
/proc/19542/statm: 919 112 85 19 0 43 0
[pid=19543] ppid=19541 vsize=5356 CPUtime=0
/proc/19543/stat : 19543 (pcssolve) R 19541 19541 17476 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59444321 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19543/statm: 1339 241 200 169 0 50 0

[startup+0.0236459 s]
/proc/loadavg: 2.00 2.09 2.10 4/72 19541
/proc/meminfo: memFree=1476712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=5356 CPUtime=0
/proc/19541/stat : 19541 (pcssolve) S 19539 19541 17476 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 59444320 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19541/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101657 s]
/proc/loadavg: 2.00 2.09 2.10 4/72 19541
/proc/meminfo: memFree=1476712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=6888 CPUtime=0.08
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1382 665 0 0 6 0 1 1 18 0 1 0 59444320 7053312 923 996147200 134512640 135215973 4294956304 18446744073709551615 134533307 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 1722 923 386 171 0 647 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6888

[startup+0.301675 s]
/proc/loadavg: 2.00 2.09 2.10 4/72 19541
/proc/meminfo: memFree=1476712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=10676 CPUtime=0.28
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2701 665 0 0 25 1 1 1 19 0 1 0 59444320 10932224 1844 996147200 134512640 135215973 4294956304 18446744073709551615 4159782512 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 2669 1844 386 171 0 1594 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10676

[startup+0.701711 s]
/proc/loadavg: 2.00 2.09 2.10 4/72 19541
/proc/meminfo: memFree=1476712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=21808 CPUtime=0.68
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 6160 665 0 0 63 3 1 1 23 0 1 0 59444320 22331392 3901 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 5452 3901 386 171 0 4377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21808

[startup+1.50178 s]
/proc/loadavg: 2.00 2.09 2.10 3/73 19546
/proc/meminfo: memFree=1456992/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=39336 CPUtime=1.47
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 12172 665 0 0 139 6 1 1 25 0 1 0 59444320 40280064 7612 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 9834 7612 386 171 0 8759 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39336

[startup+3.10193 s]
/proc/loadavg: 2.00 2.09 2.10 3/73 19546
/proc/meminfo: memFree=1436448/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=74648 CPUtime=3.06
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 24148 665 0 0 291 13 1 1 25 0 1 0 59444320 76439552 14987 996147200 134512640 135215973 4294956304 18446744073709551615 3047384 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 18662 14987 386 171 0 17587 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 74648

[startup+6.30221 s]
/proc/loadavg: 2.00 2.09 2.10 3/73 19546
/proc/meminfo: memFree=1367520/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=114432 CPUtime=6.23
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 42237 665 0 0 600 21 1 1 25 0 1 0 59444320 117178368 27327 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 28608 27327 410 171 0 27533 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 114432

[startup+12.7018 s]
/proc/loadavg: 2.00 2.08 2.10 3/73 19546
/proc/meminfo: memFree=1366496/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=115888 CPUtime=12.57
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 42828 665 0 0 1234 21 1 1 25 0 1 0 59444320 118669312 27551 996147200 134512640 135215973 4294956304 18446744073709551615 134600396 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 28972 27551 410 171 0 27897 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 115888

[startup+25.5019 s]
/proc/loadavg: 2.00 2.08 2.10 3/73 19546
/proc/meminfo: memFree=1359776/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=121380 CPUtime=25.27
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 44620 665 0 0 2503 22 1 1 25 0 1 0 59444320 124293120 28926 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 30345 28926 410 171 0 29270 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 121380

[startup+51.1012 s]
/proc/loadavg: 2.00 2.07 2.09 3/73 19546
/proc/meminfo: memFree=1343328/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=136456 CPUtime=50.68
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 49010 665 0 0 5042 24 1 1 25 0 1 0 59444320 139730944 32483 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 34114 32483 410 171 0 33039 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 136456

[startup+102.307 s]
/proc/loadavg: 2.00 2.06 2.09 3/73 19546
/proc/meminfo: memFree=1332128/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=147996 CPUtime=101.48
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 84166 665 0 0 10111 35 1 1 25 0 1 0 59444320 151547904 34154 996147200 134512640 135215973 4294956304 18446744073709551615 134597363 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 36999 34154 413 171 0 35924 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 147996

[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.09 3/73 19546
/proc/meminfo: memFree=1326560/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=148124 CPUtime=161
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 184822 665 0 0 16029 69 1 1 25 0 1 0 59444320 151678976 34190 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 37031 34190 413 171 0 35956 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 148124

[startup+222.302 s]
/proc/loadavg: 2.10 2.07 2.09 3/73 19546
/proc/meminfo: memFree=1314848/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=153400 CPUtime=220.54
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 259257 665 0 0 21958 94 1 1 25 0 1 0 59444320 157081600 35525 996147200 134512640 135215973 4294956304 18446744073709551615 134585762 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 38350 35525 413 171 0 37275 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 153400

[startup+282.302 s]
/proc/loadavg: 2.10 2.07 2.08 3/73 19552
/proc/meminfo: memFree=1300696/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=158412 CPUtime=280.05
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 329822 665 0 0 27885 118 1 1 25 0 1 0 59444320 162213888 36860 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 39603 36860 413 171 0 38528 0
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (KiB) 158412

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.08 3/73 19552
/proc/meminfo: memFree=1292824/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=161180 CPUtime=339.57
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 386439 665 0 0 33817 138 1 1 25 0 1 0 59444320 165048320 37577 996147200 134512640 135215973 4294956304 18446744073709551615 134585447 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 40295 37577 413 171 0 39220 0
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (KiB) 161180

[startup+402.302 s]
/proc/loadavg: 2.01 2.04 2.07 3/73 19552
/proc/meminfo: memFree=1284760/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=165396 CPUtime=399.09
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 462716 665 0 0 39745 162 1 1 25 0 1 0 59444320 169365504 38604 996147200 134512640 135215973 4294956304 18446744073709551615 134589777 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 41349 38604 413 171 0 40274 0
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (KiB) 165396

[startup+462.302 s]
/proc/loadavg: 2.00 2.03 2.07 3/73 19552
/proc/meminfo: memFree=1273624/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=171860 CPUtime=458.62
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 562510 665 0 0 45667 193 1 1 25 0 1 0 59444320 175984640 40358 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 42965 40358 413 171 0 41890 0
Current children cumulated CPU time (s) 458.62
Current children cumulated vsize (KiB) 171860

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.06 3/73 19552
/proc/meminfo: memFree=1265048/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=176080 CPUtime=518.15
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 658425 665 0 0 51591 222 1 1 25 0 1 0 59444320 180305920 41458 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 44020 41458 413 171 0 42945 0
Current children cumulated CPU time (s) 518.15
Current children cumulated vsize (KiB) 176080

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.06 3/73 19552
/proc/meminfo: memFree=1258912/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=178452 CPUtime=577.69
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 729958 665 0 0 57522 245 1 1 25 0 1 0 59444320 182734848 42041 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 44613 42041 413 171 0 43538 0
Current children cumulated CPU time (s) 577.69
Current children cumulated vsize (KiB) 178452

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.05 3/73 19552
/proc/meminfo: memFree=1249888/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=184256 CPUtime=637.22

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 19552
/proc/meminfo: memFree=1219296/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=202588 CPUtime=815.81
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1153980 665 0 0 81195 384 1 1 25 0 1 0 59444320 207450112 48103 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 50647 48103 413 171 0 49572 0
Current children cumulated CPU time (s) 815.81
Current children cumulated vsize (KiB) 202588

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 19552
/proc/meminfo: memFree=1207840/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=218532 CPUtime=875.34
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1226999 665 0 0 87122 410 1 1 25 0 1 0 59444320 223776768 49801 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 54633 49801 413 171 0 53558 0
Current children cumulated CPU time (s) 875.34
Current children cumulated vsize (KiB) 218532

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 19552
/proc/meminfo: memFree=1193952/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=227376 CPUtime=934.87
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1384213 665 0 0 93024 461 1 1 25 0 1 0 59444320 232833024 52000 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 56844 52000 413 171 0 55769 0
Current children cumulated CPU time (s) 934.87
Current children cumulated vsize (KiB) 227376

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 19552
/proc/meminfo: memFree=1184736/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=232788 CPUtime=994.4
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1481464 665 0 0 98943 495 1 1 25 0 1 0 59444320 238374912 53361 996147200 134512640 135215973 4294956304 18446744073709551615 4158960150 0 0 4096 0 0 0 0 17 1 0 0
/proc/19541/statm: 58197 53361 413 171 0 57122 0
Current children cumulated CPU time (s) 994.4
Current children cumulated vsize (KiB) 232788

[startup+1062.3 s]
/proc/loadavg: 1.94 1.98 2.00 3/82 19657
/proc/meminfo: memFree=1375768/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=236088 CPUtime=1054.06
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1545936 665 0 0 104885 519 1 1 25 0 1 0 59444320 241754112 54193 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 59022 54193 413 171 0 57947 0
Current children cumulated CPU time (s) 1054.06
Current children cumulated vsize (KiB) 236088

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 19659
/proc/meminfo: memFree=1336840/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=240312 CPUtime=1114.03
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1628467 665 0 0 110855 546 1 1 25 0 1 0 59444320 246079488 55239 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 60078 55239 413 171 0 59003 0
Current children cumulated CPU time (s) 1114.03
Current children cumulated vsize (KiB) 240312

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19659
/proc/meminfo: memFree=1333704/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=243612 CPUtime=1174.01
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1671874 665 0 0 116837 562 1 1 25 0 1 0 59444320 249458688 56076 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 60903 56076 413 171 0 59828 0
Current children cumulated CPU time (s) 1174.01
Current children cumulated vsize (KiB) 243612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19659
/proc/meminfo: memFree=1329736/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=247044 CPUtime=1233.99
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1733349 665 0 0 122814 583 1 1 25 0 1 0 59444320 252973056 56921 996147200 134512640 135215973 4294956304 18446744073709551615 134600884 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 61761 56921 413 171 0 60686 0
Current children cumulated CPU time (s) 1233.99
Current children cumulated vsize (KiB) 247044

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19659
/proc/meminfo: memFree=1326152/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=250608 CPUtime=1293.97
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1780686 665 0 0 128795 600 1 1 25 0 1 0 59444320 256622592 57818 996147200 134512640 135215973 4294956304 18446744073709551615 134597655 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 62652 57818 413 171 0 61577 0
Current children cumulated CPU time (s) 1293.97
Current children cumulated vsize (KiB) 250608

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 19659
/proc/meminfo: memFree=1322760/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=253908 CPUtime=1353.95
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1833352 665 0 0 134773 620 1 1 25 0 1 0 59444320 260001792 58669 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 63477 58669 413 171 0 62402 0
Current children cumulated CPU time (s) 1353.95
Current children cumulated vsize (KiB) 253908

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 19659
/proc/meminfo: memFree=1319112/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=257604 CPUtime=1413.93
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1921778 665 0 0 140740 651 1 1 25 0 1 0 59444320 263786496 59590 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 64401 59590 413 171 0 63326 0
Current children cumulated CPU time (s) 1413.93
Current children cumulated vsize (KiB) 257604

[startup+1482.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/82 19659
/proc/meminfo: memFree=1315976/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=260768 CPUtime=1473.9
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 1985349 665 0 0 146716 672 1 1 25 0 1 0 59444320 267026432 60381 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 65192 60381 413 171 0 64117 0
Current children cumulated CPU time (s) 1473.9
Current children cumulated vsize (KiB) 260768

[startup+1542.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/82 19659
/proc/meminfo: memFree=1312712/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=264068 CPUtime=1533.88
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2036900 665 0 0 152693 693 1 1 25 0 1 0 59444320 270405632 61192 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 66017 61192 413 171 0 64942 0
Current children cumulated CPU time (s) 1533.88
Current children cumulated vsize (KiB) 264068

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/82 19659
/proc/meminfo: memFree=1306504/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=270388 CPUtime=1593.86
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2146193 665 0 0 158656 728 1 1 25 0 1 0 59444320 276877312 62770 996147200 134512640 135215973 4294956304 18446744073709551615 135097655 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 67597 62770 413 171 0 66522 0
Current children cumulated CPU time (s) 1593.86
Current children cumulated vsize (KiB) 270388

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 19659
/proc/meminfo: memFree=1302024/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=274336 CPUtime=1653.84
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2283384 665 0 0 164608 774 1 1 25 0 1 0 59444320 280920064 63866 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 68584 63866 413 171 0 67509 0
Current children cumulated CPU time (s) 1653.84
Current children cumulated vsize (KiB) 274336

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 19659
/proc/meminfo: memFree=1297480/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=278692 CPUtime=1713.81
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2408092 665 0 0 170564 815 1 1 25 0 1 0 59444320 285380608 64949 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 69673 64949 413 171 0 68598 0
Current children cumulated CPU time (s) 1713.81
Current children cumulated vsize (KiB) 278692

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 19659
/proc/meminfo: memFree=1294600/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=281592 CPUtime=1773.79
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2517816 665 0 0 176526 851 1 1 25 0 1 0 59444320 288350208 65668 996147200 134512640 135215973 4294956304 18446744073709551615 4158960129 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 70398 65668 413 171 0 69323 0
Current children cumulated CPU time (s) 1773.79
Current children cumulated vsize (KiB) 281592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 19659
/proc/meminfo: memFree=1292296/2055920 swapFree=4192812/4192956
[pid=19541] ppid=19539 vsize=283836 CPUtime=1800.09
/proc/19541/stat : 19541 (pcs.big) R 19539 19541 17476 0 -1 4194304 2565254 665 0 0 179139 868 1 1 25 0 1 0 59444320 290648064 66236 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19541/statm: 70959 66236 413 171 0 69884 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 283836

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.65
CPU time (s): 1800.15
CPU user time (s): 1791.41
CPU system time (s): 8.74167
CPU usage (%): 99.5299
Max. virtual memory (cumulated for all children) (KiB): 284696

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

runsolver used 2.21266 second user time and 5.30819 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-16 07:56:48
IDJOB=2083836
IDBENCH=57949
IDSOLVER=733
FILE ID=node51/2083836-1247723808
PBS_JOBID= 9521397
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083836-1247723808/watcher-2083836-1247723808 -o /tmp/evaluation-result-2083836-1247723808/solver-2083836-1247723808 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1863178677 HOME/instance-2083836-1247723808.xml

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

MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=1863178677

node51.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.225
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.225
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:       1477192 kB
Buffers:         61872 kB
Cached:         291320 kB
SwapCached:          0 kB
Active:         226124 kB
Inactive:       285064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7424 kB
Writeback:           0 kB
Mapped:         169532 kB
Slab:            52604 kB
Committed_AS:   628112 kB
PageTables:       2064 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 node51 at 2009-07-16 08:26:59