Trace number 2083583

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.11 1801.76

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-2.xml
MD5SUM1f2ebc90aacefa2bf62f5cb29b948cb3
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 benchmark25.5591
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
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.04	c Seed is 1657667961
0.00/0.04	c Constructing HOME/instance-2083583-1247723345.xml  with 167981 constraints
3.05/3.11	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-2083583-1247723345/watcher-2083583-1247723345 -o /tmp/evaluation-result-2083583-1247723345/solver-2083583-1247723345 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1657667961 HOME/instance-2083583-1247723345.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.02 2.00 4/81 15973
/proc/meminfo: memFree=1642584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=18576 CPUtime=0
/proc/15973/stat : 15973 (runsolver) R 15971 15973 14901 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59401628 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15973/statm: 4644 284 249 26 0 2626 0

[startup+0.106792 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 15973
/proc/meminfo: memFree=1642584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=6620 CPUtime=0.07
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1370 662 0 0 7 0 0 0 18 0 1 0 59401628 6778880 920 996147200 134512640 135215973 4294956304 18446744073709551615 4159151531 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 1655 920 386 171 0 580 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6620

[startup+0.201814 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 15973
/proc/meminfo: memFree=1642584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=9256 CPUtime=0.16
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2114 662 0 0 16 0 0 0 18 0 1 0 59401628 9478144 1406 996147200 134512640 135215973 4294956304 18446744073709551615 9339187 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 2314 1406 386 171 0 1239 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9256

[startup+0.301836 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 15973
/proc/meminfo: memFree=1642584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=11896 CPUtime=0.27
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2697 662 0 0 26 1 0 0 19 0 1 0 59401628 12181504 1925 996147200 134512640 135215973 4294956304 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 2974 1925 386 171 0 1899 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11896

[startup+0.701923 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 15973
/proc/meminfo: memFree=1642584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=22664 CPUtime=0.67
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 6311 662 0 0 64 3 0 0 23 0 1 0 59401628 23207936 3853 996147200 134512640 135215973 4294956304 18446744073709551615 134835439 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 5666 3853 386 171 0 4591 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22664

[startup+1.5011 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15978
/proc/meminfo: memFree=1621648/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=41020 CPUtime=1.46
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 12485 662 0 0 140 6 0 0 25 0 1 0 59401628 42004480 7488 996147200 134512640 135215973 4294956304 18446744073709551615 9372638 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 10255 7488 386 171 0 9180 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41020

[startup+3.10144 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15978
/proc/meminfo: memFree=1601744/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=70652 CPUtime=3.05
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 24623 662 0 0 292 13 0 0 25 0 1 0 59401628 72347648 13427 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 17663 13427 392 171 0 16588 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 70652

[startup+6.30112 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15978
/proc/meminfo: memFree=1568592/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=87892 CPUtime=6.22
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 31560 662 0 0 606 16 0 0 25 0 1 0 59401628 90001408 18790 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 21973 18790 410 171 0 20898 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 87892

[startup+12.7015 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15978
/proc/meminfo: memFree=1567632/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=88724 CPUtime=12.56
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 32011 662 0 0 1240 16 0 0 25 0 1 0 59401628 90853376 19032 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 22181 19032 410 171 0 21106 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 88724

[startup+25.5012 s]
/proc/loadavg: 2.07 2.04 2.00 3/82 15978
/proc/meminfo: memFree=1559312/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=97120 CPUtime=25.25
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 34564 662 0 0 2507 18 0 0 25 0 1 0 59401628 99450880 21168 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 24280 21168 410 171 0 23205 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 97120

[startup+51.1017 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 15978
/proc/meminfo: memFree=1556368/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=102428 CPUtime=50.62
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 41676 662 0 0 5041 21 0 0 25 0 1 0 59401628 104886272 21807 996147200 134512640 135215973 4294956304 18446744073709551615 134585344 0 0 4096 0 0 0 0 17 1 0 0
/proc/15973/statm: 25607 21807 413 171 0 24532 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 102428

[startup+102.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 16020
/proc/meminfo: memFree=1505288/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=108232 CPUtime=101.53
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 122443 662 0 0 10104 49 0 0 25 0 1 0 59401628 110829568 23332 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 27058 23332 413 171 0 25983 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 108232

[startup+162.302 s]
/proc/loadavg: 2.05 2.03 2.00 3/83 16022
/proc/meminfo: memFree=1335112/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=118388 CPUtime=161.49
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 266342 662 0 0 16062 87 0 0 25 0 1 0 59401628 121229312 25949 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 29597 25949 413 171 0 28522 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 118388

[startup+222.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 16022
/proc/meminfo: memFree=1130888/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=129336 CPUtime=221.46
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 400684 662 0 0 22021 125 0 0 25 0 1 0 59401628 132440064 29020 996147200 134512640 135215973 4294956304 18446744073709551615 134585888 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 32334 29020 413 171 0 31259 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 129336

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 16023
/proc/meminfo: memFree=903104/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=135928 CPUtime=281.42
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 498247 662 0 0 27989 153 0 0 25 0 1 0 59401628 139190272 30703 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 33982 30703 413 171 0 32907 0
Current children cumulated CPU time (s) 281.42
Current children cumulated vsize (KiB) 135928

[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16023
/proc/meminfo: memFree=814528/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=140280 CPUtime=341.39
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 596335 662 0 0 33957 182 0 0 25 0 1 0 59401628 143646720 31783 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 35070 31783 413 171 0 33995 0
Current children cumulated CPU time (s) 341.39
Current children cumulated vsize (KiB) 140280

[startup+402.301 s]
/proc/loadavg: 2.18 2.08 2.02 3/73 16088
/proc/meminfo: memFree=1518408/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=145552 CPUtime=401.35
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 687322 662 0 0 39926 209 0 0 25 0 1 0 59401628 149045248 33094 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 36388 33094 413 171 0 35313 0
Current children cumulated CPU time (s) 401.35
Current children cumulated vsize (KiB) 145552

[startup+462.301 s]
/proc/loadavg: 2.07 2.06 2.02 3/73 16088
/proc/meminfo: memFree=1499976/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=155316 CPUtime=461.32
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 854882 662 0 0 45878 254 0 0 25 0 1 0 59401628 159043584 35543 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 38829 35543 413 171 0 37754 0
Current children cumulated CPU time (s) 461.32
Current children cumulated vsize (KiB) 155316

[startup+522.302 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 16088
/proc/meminfo: memFree=1487240/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=160588 CPUtime=521.29
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 957582 662 0 0 51846 283 0 0 25 0 1 0 59401628 164442112 36864 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 40147 36864 413 171 0 39072 0
Current children cumulated CPU time (s) 521.29
Current children cumulated vsize (KiB) 160588

[startup+582.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 16088
/proc/meminfo: memFree=1474952/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=166264 CPUtime=581.26
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1062239 662 0 0 57812 314 0 0 25 0 1 0 59401628 170254336 38309 996147200 134512640 135215973 4294956304 18446744073709551615 135095002 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 41566 38309 413 171 0 40491 0
Current children cumulated CPU time (s) 581.26
Current children cumulated vsize (KiB) 166264

[startup+642.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 16088
/proc/meminfo: memFree=1457928/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=173632 CPUtime=641.23
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1188442 662 0 0 63773 350 0 0 25 0 1 0 59401628 177799168 40150 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 43408 40150 413 171 0 42333 0
Current children cumulated CPU time (s) 641.23
Current children cumulated vsize (KiB) 173632

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16094
/proc/meminfo: memFree=1409416/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=196052 CPUtime=821.14
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1559797 662 0 0 81651 463 0 0 25 0 1 0 59401628 200757248 45859 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 49013 45859 413 171 0 47938 0
Current children cumulated CPU time (s) 821.14
Current children cumulated vsize (KiB) 196052

[startup+882.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1391624/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=203308 CPUtime=881.11
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1693893 662 0 0 87609 502 0 0 25 0 1 0 59401628 208187392 47697 996147200 134512640 135215973 4294956304 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 50827 47697 413 171 0 49752 0
Current children cumulated CPU time (s) 881.11
Current children cumulated vsize (KiB) 203308

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1375176/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=211228 CPUtime=941.08
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1811838 662 0 0 93572 536 0 0 25 0 1 0 59401628 216297472 49740 996147200 134512640 135215973 4294956304 18446744073709551615 134591602 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 52807 49740 413 171 0 51732 0
Current children cumulated CPU time (s) 941.08
Current children cumulated vsize (KiB) 211228

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1357448/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=218088 CPUtime=1001.05
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 1938501 662 0 0 99532 573 0 0 25 0 1 0 59401628 223322112 51477 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 54522 51477 413 171 0 53447 0
Current children cumulated CPU time (s) 1001.05
Current children cumulated vsize (KiB) 218088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1342472/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=227856 CPUtime=1061.02
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2090945 662 0 0 105485 617 0 0 25 0 1 0 59401628 233324544 53897 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 56964 53897 413 171 0 55889 0
Current children cumulated CPU time (s) 1061.02
Current children cumulated vsize (KiB) 227856

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1326664/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=237616 CPUtime=1120.99
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2176446 662 0 0 111460 639 0 0 25 0 1 0 59401628 243318784 56349 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 59404 56349 413 171 0 58329 0
Current children cumulated CPU time (s) 1120.99
Current children cumulated vsize (KiB) 237616

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1310984/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=247780 CPUtime=1180.95
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2267548 662 0 0 117429 666 0 0 25 0 1 0 59401628 253726720 58903 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 61945 58903 413 171 0 60870 0
Current children cumulated CPU time (s) 1180.95
Current children cumulated vsize (KiB) 247780

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1296584/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=252268 CPUtime=1240.93
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2380498 662 0 0 123396 697 0 0 25 0 1 0 59401628 258322432 60040 996147200 134512640 135215973 4294956304 18446744073709551615 134969605 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 63067 60040 413 171 0 61992 0
Current children cumulated CPU time (s) 1240.93
Current children cumulated vsize (KiB) 252268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1284552/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=259132 CPUtime=1300.9
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2454550 662 0 0 129372 718 0 0 25 0 1 0 59401628 265351168 61759 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 64783 61759 413 171 0 63708 0
Current children cumulated CPU time (s) 1300.9
Current children cumulated vsize (KiB) 259132

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16094
/proc/meminfo: memFree=1270088/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=265988 CPUtime=1360.86
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2555121 662 0 0 135338 748 0 0 25 0 1 0 59401628 272371712 63489 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 66497 63489 413 171 0 65422 0
Current children cumulated CPU time (s) 1360.86
Current children cumulated vsize (KiB) 265988

[startup+1422.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/73 16168
/proc/meminfo: memFree=1329096/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=269288 CPUtime=1420.84
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2616856 662 0 0 141316 768 0 0 25 0 1 0 59401628 275750912 64312 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 67322 64312 413 171 0 66247 0
Current children cumulated CPU time (s) 1420.84
Current children cumulated vsize (KiB) 269288

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 16168
/proc/meminfo: memFree=1203592/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=272324 CPUtime=1480.81
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2677803 662 0 0 147292 789 0 0 25 0 1 0 59401628 278859776 65052 996147200 134512640 135215973 4294956304 18446744073709551615 4158960221 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 68081 65052 413 171 0 67006 0
Current children cumulated CPU time (s) 1480.81
Current children cumulated vsize (KiB) 272324

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/82 16281
/proc/meminfo: memFree=1369664/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=276936 CPUtime=1540.77
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2729734 662 0 0 153268 809 0 0 25 0 1 0 59401628 283582464 66223 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 69234 66223 413 171 0 68159 0
Current children cumulated CPU time (s) 1540.77
Current children cumulated vsize (KiB) 276936

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 16283
/proc/meminfo: memFree=1338864/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=283176 CPUtime=1600.73
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2805625 662 0 0 159240 833 0 0 25 0 1 0 59401628 289972224 67807 996147200 134512640 135215973 4294956304 18446744073709551615 135096315 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 70794 67807 413 171 0 69719 0
Current children cumulated CPU time (s) 1600.73
Current children cumulated vsize (KiB) 283176

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 16283
/proc/meminfo: memFree=1333744/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=287496 CPUtime=1660.71
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2872824 662 0 0 165214 857 0 0 25 0 1 0 59401628 294395904 68877 996147200 134512640 135215973 4294956304 18446744073709551615 134597392 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 71874 68877 413 171 0 70799 0
Current children cumulated CPU time (s) 1660.71
Current children cumulated vsize (KiB) 287496

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16283
/proc/meminfo: memFree=1329648/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=291452 CPUtime=1720.68
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2936870 662 0 0 171189 879 0 0 25 0 1 0 59401628 298446848 69896 996147200 134512640 135215973 4294956304 18446744073709551615 134591366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 72863 69896 413 171 0 71788 0
Current children cumulated CPU time (s) 1720.68
Current children cumulated vsize (KiB) 291452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16283
/proc/meminfo: memFree=1323248/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=298040 CPUtime=1780.64
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 2998306 662 0 0 177165 899 0 0 25 0 1 0 59401628 305192960 71483 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 74510 71483 413 171 0 73435 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (KiB) 298040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16283
/proc/meminfo: memFree=1321072/2055920 swapFree=4192812/4192956
[pid=15973] ppid=15971 vsize=300712 CPUtime=1800.04
/proc/15973/stat : 15973 (pcs.big) R 15971 15973 14901 0 -1 4194304 3018083 662 0 0 179099 905 0 0 25 0 1 0 59401628 307929088 72085 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/15973/statm: 75178 72095 413 171 0 74103 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 300712

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.76
CPU time (s): 1800.11
CPU user time (s): 1791
CPU system time (s): 9.10962
CPU usage (%): 99.9088
Max. virtual memory (cumulated for all children) (KiB): 300712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791
system time used= 9.10961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3018832
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= 23
involuntary context switches= 12679

runsolver used 1.93971 second user time and 5.18321 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-16 07:49:06
IDJOB=2083583
IDBENCH=57867
IDSOLVER=733
FILE ID=node10/2083583-1247723345
PBS_JOBID= 9521407
Free space on /tmp= 66360 MiB

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

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

MD5SUM BENCH= 1f2ebc90aacefa2bf62f5cb29b948cb3
RANDOM SEED=1657667961

node10.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.279
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.279
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:       1643064 kB
Buffers:         75636 kB
Cached:         228392 kB
SwapCached:          0 kB
Active:         108584 kB
Inactive:       231508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1643064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5476 kB
Writeback:           0 kB
Mapped:          56488 kB
Slab:            57900 kB
Committed_AS:   642036 kB
PageTables:       1840 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= 66356 MiB
End job on node10 at 2009-07-16 08:19:10