Trace number 2083386

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.2? (TO) 1800.14 1801.04

General information on the benchmark

Namecsp/fapp/fapp11/
normalized-fapp11-1000-3.xml
MD5SUM2fe8075751fff64133735b72d8923bdd
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 benchmark27.3708
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 116953500
0.00/0.02	c Constructing HOME/instance-2083386-1247723070.xml  with 94532 constraints
1.66/1.77	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-2083386-1247723070/watcher-2083386-1247723070 -o /tmp/evaluation-result-2083386-1247723070/solver-2083386-1247723070 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 116953500 HOME/instance-2083386-1247723070.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.24 2.28 2.11 4/82 18930
/proc/meminfo: memFree=787984/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=5356 CPUtime=0
/proc/18930/stat : 18930 (pcssolve) R 18928 18930 18893 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59374244 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18930/statm: 1339 241 200 169 0 50 0
[pid=18931] ppid=18930 vsize=5356 CPUtime=0
/proc/18931/stat : 18931 (pcssolve) R 18930 18930 18893 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59374245 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18931/statm: 1339 241 200 169 0 50 0

[startup+0.0480749 s]
/proc/loadavg: 2.24 2.28 2.11 4/82 18930
/proc/meminfo: memFree=787984/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=5084 CPUtime=0.02
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 942 664 0 0 2 0 0 0 22 0 1 0 59374244 5206016 573 996147200 134512640 135215973 4294956304 18446744073709551615 134751169 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 1271 573 386 171 0 196 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5084

[startup+0.101088 s]
/proc/loadavg: 2.24 2.28 2.11 4/82 18930
/proc/meminfo: memFree=787984/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=6668 CPUtime=0.07
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1334 664 0 0 7 0 0 0 22 0 1 0 59374244 6828032 884 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 1667 884 386 171 0 592 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6668

[startup+0.301105 s]
/proc/loadavg: 2.24 2.28 2.11 4/82 18930
/proc/meminfo: memFree=787984/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=10184 CPUtime=0.27
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 2588 664 0 0 26 1 0 0 24 0 1 0 59374244 10428416 1832 996147200 134512640 135215973 4294956304 18446744073709551615 3301067 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 2546 1832 386 171 0 1471 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10184

[startup+0.70115 s]
/proc/loadavg: 2.24 2.28 2.11 4/82 18930
/proc/meminfo: memFree=787984/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=22008 CPUtime=0.66
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 6118 664 0 0 63 3 0 0 25 0 1 0 59374244 22536192 3757 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 5502 3757 386 171 0 4427 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 22008

[startup+1.50123 s]
/proc/loadavg: 2.24 2.28 2.11 4/83 18935
/proc/meminfo: memFree=769608/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=39932 CPUtime=1.46
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 12107 664 0 0 138 8 0 0 25 0 1 0 59374244 40890368 7273 996147200 134512640 135215973 4294956304 18446744073709551615 3292836 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 9983 7273 386 171 0 8908 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39932

[startup+3.10139 s]
/proc/loadavg: 2.24 2.28 2.11 3/83 18935
/proc/meminfo: memFree=747208/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=48944 CPUtime=3.04
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 17285 664 0 0 294 10 0 0 25 0 1 0 59374244 50118656 10575 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 12236 10575 410 171 0 11161 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 48944

[startup+6.30171 s]
/proc/loadavg: 2.22 2.27 2.11 3/83 18935
/proc/meminfo: memFree=746504/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=49568 CPUtime=6.21
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 17554 664 0 0 610 11 0 0 25 0 1 0 59374244 50757632 10686 996147200 134512640 135215973 4294956304 18446744073709551615 4158960638 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 12392 10686 410 171 0 11317 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 49568

[startup+12.7014 s]
/proc/loadavg: 2.20 2.27 2.11 3/83 18935
/proc/meminfo: memFree=743496/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=52908 CPUtime=12.55
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 18588 664 0 0 1244 11 0 0 25 0 1 0 59374244 54177792 11511 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18930/statm: 13227 11511 410 171 0 12152 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 52908

[startup+25.5017 s]
/proc/loadavg: 2.16 2.25 2.11 2/71 18936
/proc/meminfo: memFree=1491944/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=57212 CPUtime=25.23
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 19812 664 0 0 2511 12 0 0 25 0 1 0 59374244 58585088 12318 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 14303 12318 410 171 0 13228 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 57212

[startup+51.1023 s]
/proc/loadavg: 2.10 2.23 2.10 3/73 18967
/proc/meminfo: memFree=1366616/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=59584 CPUtime=50.81
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 27079 664 0 0 5065 16 0 0 25 0 1 0 59374244 61014016 13105 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 14896 13105 413 171 0 13821 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 59584

[startup+102.306 s]
/proc/loadavg: 2.04 2.19 2.09 3/73 18967
/proc/meminfo: memFree=1349144/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=65524 CPUtime=102
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 71265 664 0 0 10172 28 0 0 25 0 1 0 59374244 67096576 14571 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 16381 14571 413 171 0 15306 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 65524

[startup+162.303 s]
/proc/loadavg: 2.01 2.16 2.09 3/73 18967
/proc/meminfo: memFree=1331736/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=74228 CPUtime=161.98
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 111722 664 0 0 16158 40 0 0 25 0 1 0 59374244 76009472 16868 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 18557 16868 413 171 0 17482 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 74228

[startup+222.302 s]
/proc/loadavg: 2.00 2.12 2.08 3/73 18967
/proc/meminfo: memFree=1326040/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=80984 CPUtime=221.96
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 144904 664 0 0 22147 49 0 0 25 0 1 0 59374244 82927616 17937 996147200 134512640 135215973 4294956304 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 20246 17937 413 171 0 19171 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 80984

[startup+282.302 s]
/proc/loadavg: 2.00 2.10 2.07 3/73 18967
/proc/meminfo: memFree=1313496/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=88372 CPUtime=281.93
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 186725 664 0 0 28132 61 0 0 25 0 1 0 59374244 90492928 19758 996147200 134512640 135215973 4294956304 18446744073709551615 134597483 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 22093 19758 413 171 0 21018 0
Current children cumulated CPU time (s) 281.93
Current children cumulated vsize (KiB) 88372

[startup+342.302 s]
/proc/loadavg: 2.00 2.08 2.07 3/73 18967
/proc/meminfo: memFree=1305824/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=92860 CPUtime=341.91
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 229173 664 0 0 34118 73 0 0 25 0 1 0 59374244 95088640 21246 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 23215 21246 413 171 0 22140 0
Current children cumulated CPU time (s) 341.91
Current children cumulated vsize (KiB) 92860

[startup+402.302 s]
/proc/loadavg: 2.00 2.06 2.06 3/73 18969
/proc/meminfo: memFree=1289760/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=98692 CPUtime=401.89
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 297911 664 0 0 40096 93 0 0 25 0 1 0 59374244 101060608 22704 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 24673 22704 413 171 0 23598 0
Current children cumulated CPU time (s) 401.89
Current children cumulated vsize (KiB) 98692

[startup+462.301 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 18969
/proc/meminfo: memFree=1270240/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=108876 CPUtime=461.86
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 386880 664 0 0 46068 118 0 0 25 0 1 0 59374244 111489024 25273 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 27219 25273 413 171 0 26144 0
Current children cumulated CPU time (s) 461.86
Current children cumulated vsize (KiB) 108876

[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.06 3/73 18969
/proc/meminfo: memFree=1228960/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=122992 CPUtime=521.84
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 552994 664 0 0 52020 164 0 0 25 0 1 0 59374244 125943808 28794 996147200 134512640 135215973 4294956304 18446744073709551615 134600884 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 30748 28794 413 171 0 29673 0
Current children cumulated CPU time (s) 521.84
Current children cumulated vsize (KiB) 122992

[startup+582.301 s]
/proc/loadavg: 2.08 2.06 2.06 3/73 18969
/proc/meminfo: memFree=1217760/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=132100 CPUtime=581.82
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 620156 664 0 0 58001 181 0 0 25 0 1 0 59374244 135270400 31076 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 33025 31076 413 171 0 31950 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 132100

[startup+642.301 s]
/proc/loadavg: 2.09 2.06 2.06 3/73 18969
/proc/meminfo: memFree=1212512/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=137100 CPUtime=641.8
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 666858 664 0 0 63985 195 0 0 25 0 1 0 59374244 140390400 32338 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 34275 32338 413 171 0 33200 0
Current children cumulated CPU time (s) 641.8

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

[startup+822.302 s]
/proc/loadavg: 2.11 2.08 2.06 3/73 18969
/proc/meminfo: memFree=1155680/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=153860 CPUtime=821.74
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 828816 664 0 0 81931 243 0 0 25 0 1 0 59374244 157552640 36536 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 38465 36536 413 171 0 37390 0
Current children cumulated CPU time (s) 821.74
Current children cumulated vsize (KiB) 153860

[startup+882.302 s]
/proc/loadavg: 2.04 2.06 2.05 3/73 18969
/proc/meminfo: memFree=1122848/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=159140 CPUtime=881.72
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 879588 664 0 0 87914 258 0 0 25 0 1 0 59374244 162959360 37868 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 39785 37868 413 171 0 38710 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 159140

[startup+942.302 s]
/proc/loadavg: 2.01 2.05 2.05 3/73 18969
/proc/meminfo: memFree=1106848/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=163100 CPUtime=941.7
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 925802 664 0 0 93898 272 0 0 25 0 1 0 59374244 167014400 38882 996147200 134512640 135215973 4294956304 18446744073709551615 134583418 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 40775 38882 413 171 0 39700 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 163100

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 18975
/proc/meminfo: memFree=1101080/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=168772 CPUtime=1001.66
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 966891 664 0 0 99883 283 0 0 25 0 1 0 59374244 172822528 40291 996147200 134512640 135215973 4294956304 18446744073709551615 134591846 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 42193 40291 413 171 0 41118 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 168772

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/73 18975
/proc/meminfo: memFree=1086424/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=174180 CPUtime=1061.65
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1010485 664 0 0 105870 295 0 0 25 0 1 0 59374244 178360320 41645 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 43545 41645 413 171 0 42470 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 174180

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/73 18975
/proc/meminfo: memFree=1059864/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=179060 CPUtime=1121.62
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1062419 664 0 0 111853 309 0 0 25 0 1 0 59374244 183357440 42859 996147200 134512640 135215973 4294956304 18446744073709551615 135094452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 44765 42859 413 171 0 43690 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 179060

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 18975
/proc/meminfo: memFree=1053848/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=184208 CPUtime=1181.6
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1127415 664 0 0 117832 328 0 0 25 0 1 0 59374244 188628992 44335 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 46052 44335 413 171 0 44977 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 184208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/73 18975
/proc/meminfo: memFree=1050072/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=187768 CPUtime=1241.58
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1176698 664 0 0 123816 342 0 0 25 0 1 0 59374244 192274432 45218 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 46942 45218 413 171 0 45867 0
Current children cumulated CPU time (s) 1241.58
Current children cumulated vsize (KiB) 187768

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 18975
/proc/meminfo: memFree=1040608/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=197136 CPUtime=1301.57
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1212637 664 0 0 129805 352 0 0 25 0 1 0 59374244 201867264 47557 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 49284 47557 413 171 0 48209 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 197136

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 18975
/proc/meminfo: memFree=1032736/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=204924 CPUtime=1361.53
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1251148 664 0 0 135790 363 0 0 25 0 1 0 59374244 209842176 49508 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 51231 49508 413 171 0 50156 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 204924

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1026144/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=211524 CPUtime=1421.52
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1290100 664 0 0 141779 373 0 0 25 0 1 0 59374244 216600576 51180 996147200 134512640 135215973 4294956304 18446744073709551615 134587851 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 52881 51180 413 171 0 51806 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 211524

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1023392/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=214616 CPUtime=1481.49
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1325831 664 0 0 147765 384 0 0 25 0 1 0 59374244 219766784 51951 996147200 134512640 135215973 4294956304 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 53654 51951 413 171 0 52579 0
Current children cumulated CPU time (s) 1481.49
Current children cumulated vsize (KiB) 214616

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1018592/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=218912 CPUtime=1541.47
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1374361 664 0 0 153748 399 0 0 25 0 1 0 59374244 224165888 53041 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 54728 53041 413 171 0 53653 0
Current children cumulated CPU time (s) 1541.47
Current children cumulated vsize (KiB) 218912

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1016224/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=221284 CPUtime=1601.45
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1418224 664 0 0 159733 412 0 0 25 0 1 0 59374244 226594816 53624 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 55321 53624 413 171 0 54246 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 221284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1014176/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=223264 CPUtime=1661.43
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1467621 664 0 0 165717 426 0 0 25 0 1 0 59374244 228622336 54141 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 55816 54141 413 171 0 54741 0
Current children cumulated CPU time (s) 1661.43
Current children cumulated vsize (KiB) 223264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1011680/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=225772 CPUtime=1721.41
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1517842 664 0 0 171701 440 0 0 25 0 1 0 59374244 231190528 54762 996147200 134512640 135215973 4294956304 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 56443 54762 413 171 0 55368 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 225772

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1007520/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=227484 CPUtime=1781.39
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1573410 664 0 0 177684 455 0 0 25 0 1 0 59374244 232943616 55210 996147200 134512640 135215973 4294956304 18446744073709551615 134597605 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 56871 55210 413 171 0 55796 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 227484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18975
/proc/meminfo: memFree=1007200/2055920 swapFree=4192812/4192956
[pid=18930] ppid=18928 vsize=227880 CPUtime=1800.09
/proc/18930/stat : 18930 (pcs.big) R 18928 18930 18893 0 -1 4194304 1592855 664 0 0 179548 461 0 0 25 0 1 0 59374244 233349120 55295 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/18930/statm: 56970 55295 413 171 0 55895 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 227880

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): 1801.04
CPU time (s): 1800.14
CPU user time (s): 1795.49
CPU system time (s): 4.65529
CPU usage (%): 99.9501
Max. virtual memory (cumulated for all children) (KiB): 227936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.49
system time used= 4.65529
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1593519
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= 27
involuntary context switches= 6453

runsolver used 1.78973 second user time and 4.87926 second system time

The end

Launcher Data 

Begin job on node17 at 2009-07-16 07:44:30
IDJOB=2083386
IDBENCH=57801
IDSOLVER=734
FILE ID=node17/2083386-1247723070
PBS_JOBID= 9521482
Free space on /tmp= 66360 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083386-1247723070/watcher-2083386-1247723070 -o /tmp/evaluation-result-2083386-1247723070/solver-2083386-1247723070 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 116953500 HOME/instance-2083386-1247723070.xml

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

MD5SUM BENCH= 2fe8075751fff64133735b72d8923bdd
RANDOM SEED=116953500

node17.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.213
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.213
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:        788464 kB
Buffers:         94052 kB
Cached:         325032 kB
SwapCached:          0 kB
Active:         812484 kB
Inactive:       373616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        788464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:         787448 kB
Slab:            65088 kB
Committed_AS:  1302780 kB
PageTables:       3408 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= 66352 MiB
End job on node17 at 2009-07-16 08:14:33