Trace number 2083825

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.16 1811.35

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-2.xml
MD5SUM3ec556ad251960bf7980f3107ef7856e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.2485
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.03	c Seed is 991261634
0.00/0.03	c Constructing HOME/instance-2083825-1247723798.xml  with 256988 constraints
4.53/4.63	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-2083825-1247723798/watcher-2083825-1247723798 -o /tmp/evaluation-result-2083825-1247723798/solver-2083825-1247723798 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 991261634 HOME/instance-2083825-1247723798.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.92 1.99 1.99 3/72 17586
/proc/meminfo: memFree=1200288/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=18576 CPUtime=0
/proc/17586/stat : 17586 (runsolver) R 17584 17549 17549 0 -1 4194368 12 0 0 0 0 0 0 0 21 0 1 0 59446693 19021824 282 996147200 4194304 4302564 548682068496 18446744073709551615 240481513487 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17586/statm: 4644 282 247 26 0 2626 0

[startup+0.0533741 s]
/proc/loadavg: 1.92 1.99 1.99 3/72 17586
/proc/meminfo: memFree=1200288/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=4904 CPUtime=0.03
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 875 665 0 0 2 0 1 0 24 0 1 0 59446693 5021696 506 996147200 134512640 135215973 4294956304 18446744073709551615 134689532 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 1226 506 361 171 0 151 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.101379 s]
/proc/loadavg: 1.92 1.99 1.99 3/72 17586
/proc/meminfo: memFree=1200288/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=6884 CPUtime=0.07
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1381 665 0 0 6 0 1 0 24 0 1 0 59446693 7049216 922 996147200 134512640 135215973 4294956304 18446744073709551615 134608353 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 1721 922 386 171 0 646 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6884

[startup+0.30139 s]
/proc/loadavg: 1.92 1.99 1.99 3/72 17586
/proc/meminfo: memFree=1200288/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=10748 CPUtime=0.27
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2737 665 0 0 25 1 1 0 25 0 1 0 59446693 11005952 1883 996147200 134512640 135215973 4294956304 18446744073709551615 134773465 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 2687 1883 386 171 0 1612 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10748

[startup+0.701427 s]
/proc/loadavg: 1.92 1.99 1.99 3/72 17586
/proc/meminfo: memFree=1200288/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=21736 CPUtime=0.68
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 6210 665 0 0 64 3 1 0 25 0 1 0 59446693 22257664 3934 996147200 134512640 135215973 4294956304 18446744073709551615 7954048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 5434 3934 386 171 0 4359 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21736

[startup+1.5015 s]
/proc/loadavg: 1.92 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1179736/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=39316 CPUtime=1.47
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 12212 665 0 0 140 6 1 0 25 0 1 0 59446693 40259584 7650 996147200 134512640 135215973 4294956304 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 9829 7650 386 171 0 8754 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39316

[startup+3.10164 s]
/proc/loadavg: 1.93 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1158296/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=74328 CPUtime=3.05
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 24119 665 0 0 292 12 1 0 25 0 1 0 59446693 76111872 14991 996147200 134512640 135215973 4294956304 18446744073709551615 4159336992 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 18582 14991 386 171 0 17507 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 74328

[startup+6.30191 s]
/proc/loadavg: 1.93 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1086680/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=114444 CPUtime=6.22
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 42209 665 0 0 601 20 1 0 25 0 1 0 59446693 117190656 27330 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 28611 27330 410 171 0 27536 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 114444

[startup+12.7015 s]
/proc/loadavg: 1.94 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1079256/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=115900 CPUtime=12.57
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 42800 665 0 0 1235 21 1 0 25 0 1 0 59446693 118681600 27554 996147200 134512640 135215973 4294956304 18446744073709551615 134593198 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 28975 27554 410 171 0 27900 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 115900

[startup+25.5026 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1063832/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=121392 CPUtime=25.27
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 44595 665 0 0 2504 22 1 0 25 0 1 0 59446693 124305408 28932 996147200 134512640 135215973 4294956304 18446744073709551615 134682877 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 30348 28932 410 171 0 29273 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 121392

[startup+51.1028 s]
/proc/loadavg: 1.96 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1041880/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=136468 CPUtime=50.67
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 48982 665 0 0 5043 23 1 0 25 0 1 0 59446693 139743232 32486 996147200 134512640 135215973 4294956304 18446744073709551615 134583970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 34117 32486 410 171 0 33042 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 136468

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1021272/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=148028 CPUtime=101.48
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 69458 665 0 0 10116 31 1 0 25 0 1 0 59446693 151580672 34097 996147200 134512640 135215973 4294956304 18446744073709551615 134591470 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 37007 34097 413 171 0 35932 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 148028

[startup+162.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17591
/proc/meminfo: memFree=1013528/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=148556 CPUtime=161.01
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 172380 665 0 0 16034 66 1 0 25 0 1 0 59446693 152121344 34249 996147200 134512640 135215973 4294956304 18446744073709551615 134589808 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 37139 34249 413 171 0 36064 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 148556

[startup+222.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17591
/proc/meminfo: memFree=994520/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=153568 CPUtime=220.53
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 301350 665 0 0 21944 108 1 0 25 0 1 0 59446693 157253632 35509 996147200 134512640 135215973 4294956304 18446744073709551615 134591868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 38392 35509 413 171 0 37317 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 153568

[startup+282.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=974608/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=157264 CPUtime=280.04
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 379448 665 0 0 27869 134 1 0 25 0 1 0 59446693 161038336 36422 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 39316 36422 413 171 0 38241 0
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (KiB) 157264

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=967824/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=160300 CPUtime=339.56
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 418487 665 0 0 33806 149 1 0 25 0 1 0 59446693 164147200 37191 996147200 134512640 135215973 4294956304 18446744073709551615 134591365 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 40075 37191 413 171 0 39000 0
Current children cumulated CPU time (s) 339.56
Current children cumulated vsize (KiB) 160300

[startup+402.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=950992/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=167692 CPUtime=399.1
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 493455 665 0 0 39733 176 1 0 25 0 1 0 59446693 171716608 39059 996147200 134512640 135215973 4294956304 18446744073709551615 134581776 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 41923 39059 413 171 0 40848 0
Current children cumulated CPU time (s) 399.1
Current children cumulated vsize (KiB) 167692

[startup+462.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=939728/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=175476 CPUtime=458.63
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 614493 665 0 0 45644 218 1 0 25 0 1 0 59446693 179687424 41417 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 43869 41417 413 171 0 42794 0
Current children cumulated CPU time (s) 458.63
Current children cumulated vsize (KiB) 175476

[startup+522.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=931920/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=177188 CPUtime=518.16
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 707575 665 0 0 51568 247 1 0 25 0 1 0 59446693 181440512 41834 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 44297 41834 413 171 0 43222 0
Current children cumulated CPU time (s) 518.16
Current children cumulated vsize (KiB) 177188

[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=926424/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=179032 CPUtime=577.69
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 775786 665 0 0 57499 269 1 0 25 0 1 0 59446693 183328768 42320 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 44758 42320 413 171 0 43683 0
Current children cumulated CPU time (s) 577.69
Current children cumulated vsize (KiB) 179032

[startup+642.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=922328/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=182728 CPUtime=637.22
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 850011 665 0 0 63429 292 1 0 25 0 1 0 59446693 187113472 43230 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 45682 43230 413 171 0 44607 0
Current children cumulated CPU time (s) 637.22
Current children cumulated vsize (KiB) 182728

[startup+702.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597

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

[startup+882.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=865560/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=227180 CPUtime=875.31
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1270062 665 0 0 87098 432 1 0 25 0 1 0 59446693 232632320 52045 996147200 134512640 135215973 4294956304 18446744073709551615 134969825 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 56795 52045 413 171 0 55720 0
Current children cumulated CPU time (s) 875.31
Current children cumulated vsize (KiB) 227180

[startup+942.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 17597
/proc/meminfo: memFree=856344/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=230612 CPUtime=934.84
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1371980 665 0 0 93019 464 1 0 25 0 1 0 59446693 236146688 52913 996147200 134512640 135215973 4294956304 18446744073709551615 135094630 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 57653 52913 413 171 0 56578 0
Current children cumulated CPU time (s) 934.84
Current children cumulated vsize (KiB) 230612

[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 17597
/proc/meminfo: memFree=841368/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=233780 CPUtime=994.36
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1448672 665 0 0 98944 491 1 0 25 0 1 0 59446693 239390720 53710 996147200 134512640 135215973 4294956304 18446744073709551615 134597422 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 58445 53710 413 171 0 57370 0
Current children cumulated CPU time (s) 994.36
Current children cumulated vsize (KiB) 233780

[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/73 17597
/proc/meminfo: memFree=824600/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=241432 CPUtime=1053.89
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1555069 665 0 0 104862 526 1 0 25 0 1 0 59446693 247226368 55617 996147200 134512640 135215973 4294956304 18446744073709551615 135097633 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 60358 55617 413 171 0 59283 0
Current children cumulated CPU time (s) 1053.89
Current children cumulated vsize (KiB) 241432

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/73 17597
/proc/meminfo: memFree=818456/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=244196 CPUtime=1113.42
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1618343 665 0 0 110793 548 1 0 25 0 1 0 59446693 250056704 56326 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 61049 56326 413 171 0 59974 0
Current children cumulated CPU time (s) 1113.42
Current children cumulated vsize (KiB) 244196

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 17597
/proc/meminfo: memFree=810136/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=249340 CPUtime=1172.94
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1719189 665 0 0 116712 581 1 0 25 0 1 0 59446693 255324160 57627 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 62335 57627 413 171 0 61260 0
Current children cumulated CPU time (s) 1172.94
Current children cumulated vsize (KiB) 249340

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 17597
/proc/meminfo: memFree=798680/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=255408 CPUtime=1232.46
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1844119 665 0 0 122625 620 1 0 25 0 1 0 59446693 261537792 59147 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 63852 59147 413 171 0 62777 0
Current children cumulated CPU time (s) 1232.46
Current children cumulated vsize (KiB) 255408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17597
/proc/meminfo: memFree=765848/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=259896 CPUtime=1291.99
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 1955542 665 0 0 128542 656 1 0 25 0 1 0 59446693 266133504 60275 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 64974 60275 413 171 0 63899 0
Current children cumulated CPU time (s) 1291.99
Current children cumulated vsize (KiB) 259896

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17597
/proc/meminfo: memFree=755928/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=262532 CPUtime=1351.51
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2011892 665 0 0 134476 674 1 0 25 0 1 0 59446693 268832768 60940 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17586/statm: 65633 60940 413 171 0 64558 0
Current children cumulated CPU time (s) 1351.51
Current children cumulated vsize (KiB) 262532

[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 2.00 3/83 17638
/proc/meminfo: memFree=1084624/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=268336 CPUtime=1411.23
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2105571 665 0 0 140416 706 1 0 25 0 1 0 59446693 274776064 62384 996147200 134512640 135215973 4294956304 18446744073709551615 134585842 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 67084 62384 413 171 0 66009 0
Current children cumulated CPU time (s) 1411.23
Current children cumulated vsize (KiB) 268336

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 17639
/proc/meminfo: memFree=1055752/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=274664 CPUtime=1471.21
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2205855 665 0 0 146379 741 1 0 25 0 1 0 59446693 281255936 63983 996147200 134512640 135215973 4294956304 18446744073709551615 134591510 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 68666 63983 413 171 0 67591 0
Current children cumulated CPU time (s) 1471.21
Current children cumulated vsize (KiB) 274664

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17639
/proc/meminfo: memFree=1050568/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=279540 CPUtime=1531.19
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2352617 665 0 0 152330 788 1 0 25 0 1 0 59446693 286248960 65190 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 69885 65190 413 171 0 68810 0
Current children cumulated CPU time (s) 1531.19
Current children cumulated vsize (KiB) 279540

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 17639
/proc/meminfo: memFree=1047560/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=282436 CPUtime=1591.16
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2542339 665 0 0 158267 848 1 0 25 0 1 0 59446693 289214464 65927 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 70609 65927 413 171 0 69534 0
Current children cumulated CPU time (s) 1591.16
Current children cumulated vsize (KiB) 282436

[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 17639
/proc/meminfo: memFree=1042888/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=287052 CPUtime=1651.14
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2686481 665 0 0 164221 892 1 0 25 0 1 0 59446693 293941248 67061 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 71763 67061 413 171 0 70688 0
Current children cumulated CPU time (s) 1651.14
Current children cumulated vsize (KiB) 287052

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 17639
/proc/meminfo: memFree=1036552/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=293384 CPUtime=1711.12
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2827597 665 0 0 170172 939 1 0 25 0 1 0 59446693 300425216 68642 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 73346 68642 413 171 0 72271 0
Current children cumulated CPU time (s) 1711.12
Current children cumulated vsize (KiB) 293384

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17639
/proc/meminfo: memFree=1033736/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=296024 CPUtime=1771.11
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2924389 665 0 0 176139 971 1 0 25 0 1 0 59446693 303128576 69329 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 74006 69329 413 171 0 72931 0
Current children cumulated CPU time (s) 1771.11
Current children cumulated vsize (KiB) 296024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17639
/proc/meminfo: memFree=1031240/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=298528 CPUtime=1800.09
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2975968 665 0 0 179022 986 1 0 25 0 1 0 59446693 305692672 69953 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 74632 69953 413 171 0 73557 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 298528

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

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

[startup+1811.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 17639
/proc/meminfo: memFree=1031240/2055920 swapFree=4191900/4192956
[pid=17586] ppid=17584 vsize=298528 CPUtime=1800.09
/proc/17586/stat : 17586 (pcs.big) R 17584 17586 17549 0 -1 4194304 2975968 665 0 0 179022 986 1 0 25 0 1 0 59446693 305692672 69953 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/17586/statm: 74632 69953 413 171 0 73557 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 298528

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.35
CPU time (s): 1800.16
CPU user time (s): 1790.24
CPU system time (s): 9.92549
CPU usage (%): 99.3822
Max. virtual memory (cumulated for all children) (KiB): 299388

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

runsolver used 1.80672 second user time and 5.2312 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-16 07:56:38
IDJOB=2083825
IDBENCH=57947
IDSOLVER=733
FILE ID=node15/2083825-1247723798
PBS_JOBID= 9521504
Free space on /tmp= 66296 MiB

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

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

MD5SUM BENCH= 3ec556ad251960bf7980f3107ef7856e
RANDOM SEED=991261634

node15.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.220
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.220
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:       1200832 kB
Buffers:         88960 kB
Cached:         513376 kB
SwapCached:        416 kB
Active:         372968 kB
Inactive:       412660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1200832 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            7588 kB
Writeback:           0 kB
Mapped:         194080 kB
Slab:            54340 kB
Committed_AS:   987072 kB
PageTables:       2224 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= 66296 MiB
End job on node15 at 2009-07-16 08:26:52