Trace number 2083133

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.07 1807.34

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-9.xml
MD5SUMbb8fed9f370e164b93c37276047ba0d0
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 benchmark64.8031
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.01	c Seed is 826277338
0.00/0.01	c Constructing HOME/instance-2083133-1247722516.xml  with 71589 constraints
1.08/1.19	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-2083133-1247722516/watcher-2083133-1247722516 -o /tmp/evaluation-result-2083133-1247722516/solver-2083133-1247722516 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 826277338 HOME/instance-2083133-1247722516.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.17 2.12 2.04 4/73 17737
/proc/meminfo: memFree=1498024/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=5356 CPUtime=0
/proc/17737/stat : 17737 (pcssolve) S 17735 17737 16016 0 -1 4194304 305 155 0 0 0 0 0 0 16 0 1 0 59316664 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17737/statm: 1339 242 201 169 0 50 0
[pid=17739] ppid=17737 vsize=5356 CPUtime=0
/proc/17739/stat : 17739 (pcssolve) R 17737 17737 16016 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59316664 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 0 0 0
/proc/17739/statm: 1339 244 203 169 0 50 0

[startup+0.30435 s]
/proc/loadavg: 2.17 2.12 2.04 4/73 17737
/proc/meminfo: memFree=1498024/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=13180 CPUtime=0.28
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 3279 664 0 0 27 1 0 0 19 0 1 0 59316664 13496320 2110 996147200 134512640 135215973 4294956304 18446744073709551615 4159347555 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 3295 2110 386 171 0 2220 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13180

[startup+0.401362 s]
/proc/loadavg: 2.17 2.12 2.04 4/73 17737
/proc/meminfo: memFree=1498024/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=14212 CPUtime=0.38
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 3760 664 0 0 36 2 0 0 19 0 1 0 59316664 14553088 2496 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 3553 2496 386 171 0 2478 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 14212

[startup+0.501371 s]
/proc/loadavg: 2.17 2.12 2.04 4/73 17737
/proc/meminfo: memFree=1498024/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=15364 CPUtime=0.48
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 4289 664 0 0 46 2 0 0 20 0 1 0 59316664 15732736 3025 996147200 134512640 135215973 4294956304 18446744073709551615 134761728 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 3841 3025 386 171 0 2766 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15364

[startup+0.701393 s]
/proc/loadavg: 2.17 2.12 2.04 4/73 17737
/proc/meminfo: memFree=1498024/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=22932 CPUtime=0.68
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 6536 664 0 0 65 3 0 0 22 0 1 0 59316664 23482368 4088 996147200 134512640 135215973 4294956304 18446744073709551615 5734399 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 5733 4088 386 171 0 4658 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22932

[startup+1.50148 s]
/proc/loadavg: 2.17 2.12 2.04 3/74 17742
/proc/meminfo: memFree=1465760/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=38584 CPUtime=1.48
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 13105 664 0 0 142 6 0 0 25 0 1 0 59316664 39510016 8375 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 9646 8375 410 171 0 8571 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38584

[startup+3.10264 s]
/proc/loadavg: 2.16 2.11 2.04 3/74 17742
/proc/meminfo: memFree=1464864/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=38812 CPUtime=3.08
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 13266 664 0 0 302 6 0 0 25 0 1 0 59316664 39743488 8467 996147200 134512640 135215973 4294956304 18446744073709551615 134583501 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 9703 8467 410 171 0 8628 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38812

[startup+6.30199 s]
/proc/loadavg: 2.16 2.11 2.04 3/74 17742
/proc/meminfo: memFree=1463520/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=40456 CPUtime=6.26
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 13808 664 0 0 620 6 0 0 25 0 1 0 59316664 41426944 8695 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 10114 8695 410 171 0 9039 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40456

[startup+12.7017 s]
/proc/loadavg: 2.13 2.11 2.04 3/74 17742
/proc/meminfo: memFree=1458912/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=42832 CPUtime=12.64
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 14528 664 0 0 1257 7 0 0 25 0 1 0 59316664 43859968 9415 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 10708 9415 410 171 0 9633 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 42832

[startup+25.501 s]
/proc/loadavg: 2.11 2.11 2.04 3/74 17742
/proc/meminfo: memFree=1454432/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=45420 CPUtime=25.39
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 20900 664 0 0 2530 9 0 0 25 0 1 0 59316664 46510080 9819 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 11355 9819 413 171 0 10280 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 45420

[startup+51.1018 s]
/proc/loadavg: 2.07 2.10 2.03 3/74 17742
/proc/meminfo: memFree=1447520/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=48584 CPUtime=50.88
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 48482 664 0 0 5071 17 0 0 25 0 1 0 59316664 49750016 10622 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 12146 10622 413 171 0 11071 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 48584

[startup+102.301 s]
/proc/loadavg: 2.03 2.08 2.03 3/74 17742
/proc/meminfo: memFree=1434464/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=55840 CPUtime=101.87
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 100545 664 0 0 10157 30 0 0 25 0 1 0 59316664 57180160 12421 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 13960 12421 413 171 0 12885 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 55840

[startup+162.302 s]
/proc/loadavg: 2.01 2.06 2.02 3/74 17742
/proc/meminfo: memFree=1413472/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=68404 CPUtime=161.63
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 148506 664 0 0 16119 44 0 0 25 0 1 0 59316664 70045696 15080 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 17101 15080 413 171 0 16026 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 68404

[startup+222.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/74 17742
/proc/meminfo: memFree=1407264/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=69456 CPUtime=221.4
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 189950 664 0 0 22084 56 0 0 25 0 1 0 59316664 71122944 15593 996147200 134512640 135215973 4294956304 18446744073709551615 134597371 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 17364 15593 413 171 0 16289 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 69456

[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/74 17742
/proc/meminfo: memFree=1396960/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=74604 CPUtime=281.15
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 216738 664 0 0 28052 63 0 0 25 0 1 0 59316664 76394496 16883 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 18651 16883 413 171 0 17576 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 74604

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/74 17742
/proc/meminfo: memFree=1379360/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=83576 CPUtime=340.91
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 249550 664 0 0 34019 72 0 0 25 0 1 0 59316664 85581824 19134 996147200 134512640 135215973 4294956304 18446744073709551615 135096263 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 20894 19134 413 171 0 19819 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 83576

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17742
/proc/meminfo: memFree=1365984/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=88196 CPUtime=400.67
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 276380 664 0 0 39987 80 0 0 25 0 1 0 59316664 90312704 20283 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 22049 20283 413 171 0 20974 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 88196

[startup+462.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 17742
/proc/meminfo: memFree=1348000/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=99020 CPUtime=460.44
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 345825 664 0 0 45944 100 0 0 25 0 1 0 59316664 101396480 22994 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 24755 22994 413 171 0 23680 0
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (KiB) 99020

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 17742
/proc/meminfo: memFree=1333920/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=105612 CPUtime=520.19
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 387160 664 0 0 51907 112 0 0 25 0 1 0 59316664 108146688 24679 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 26403 24679 413 171 0 25328 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 105612

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17742
/proc/meminfo: memFree=1321120/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=109968 CPUtime=579.95
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 420644 664 0 0 57873 122 0 0 25 0 1 0 59316664 112607232 25772 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 27492 25772 413 171 0 26417 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 109968

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17742
/proc/meminfo: memFree=1304608/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=116016 CPUtime=639.71
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 462944 664 0 0 63835 136 0 0 25 0 1 0 59316664 118800384 27263 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 29004 27263 413 171 0 27929 0
Current children cumulated CPU time (s) 639.71

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17742
/proc/meminfo: memFree=1257248/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=132788 CPUtime=818.99
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 578260 664 0 0 81730 169 0 0 25 0 1 0 59316664 135974912 31498 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 33197 31498 413 171 0 32122 0
Current children cumulated CPU time (s) 818.99
Current children cumulated vsize (KiB) 132788

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17742
/proc/meminfo: memFree=1245600/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=138592 CPUtime=878.75
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 616377 664 0 0 87696 179 0 0 25 0 1 0 59316664 141918208 32954 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 34648 32954 413 171 0 33573 0
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (KiB) 138592

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17742
/proc/meminfo: memFree=1233248/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=144268 CPUtime=938.51
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 654513 664 0 0 93661 190 0 0 25 0 1 0 59316664 147730432 34368 996147200 134512640 135215973 4294956304 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 36067 34368 413 171 0 34992 0
Current children cumulated CPU time (s) 938.51
Current children cumulated vsize (KiB) 144268

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1226976/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=149020 CPUtime=998.26
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 691801 664 0 0 99625 201 0 0 25 0 1 0 59316664 152596480 35544 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 37255 35544 413 171 0 36180 0
Current children cumulated CPU time (s) 998.26
Current children cumulated vsize (KiB) 149020

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1213344/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=156388 CPUtime=1058.02
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 737158 664 0 0 105588 214 0 0 25 0 1 0 59316664 160141312 37408 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 39097 37408 413 171 0 38022 0
Current children cumulated CPU time (s) 1058.02
Current children cumulated vsize (KiB) 156388

[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1193440/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=164720 CPUtime=1117.79
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 785049 664 0 0 111552 227 0 0 25 0 1 0 59316664 168673280 39488 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 41180 39488 413 171 0 40105 0
Current children cumulated CPU time (s) 1117.79
Current children cumulated vsize (KiB) 164720

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1184416/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=170260 CPUtime=1177.54
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 837329 664 0 0 117513 241 0 0 25 0 1 0 59316664 174346240 40894 996147200 134512640 135215973 4294956304 18446744073709551615 134969500 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 42565 40894 413 171 0 41490 0
Current children cumulated CPU time (s) 1177.54
Current children cumulated vsize (KiB) 170260

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1177312/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=175276 CPUtime=1237.3
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 890852 664 0 0 123474 256 0 0 25 0 1 0 59316664 179482624 42140 996147200 134512640 135215973 4294956304 18446744073709551615 134970696 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 43819 42140 413 171 0 42744 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 175276

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1169824/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=179764 CPUtime=1297.07
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 924876 664 0 0 129442 265 0 0 25 0 1 0 59316664 184078336 43285 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 44941 43285 413 171 0 43866 0
Current children cumulated CPU time (s) 1297.07
Current children cumulated vsize (KiB) 179764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1150432/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=192304 CPUtime=1356.82
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 975394 664 0 0 135401 281 0 0 25 0 1 0 59316664 196919296 46406 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 48076 46406 413 171 0 47001 0
Current children cumulated CPU time (s) 1356.82
Current children cumulated vsize (KiB) 192304

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1138528/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=200880 CPUtime=1416.58
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1012325 664 0 0 141366 292 0 0 25 0 1 0 59316664 205701120 48567 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 50220 48567 413 171 0 49145 0
Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 200880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17744
/proc/meminfo: memFree=1131040/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=202860 CPUtime=1476.34
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1037349 664 0 0 147334 300 0 0 25 0 1 0 59316664 207728640 49069 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 50715 49069 413 171 0 49640 0
Current children cumulated CPU time (s) 1476.34
Current children cumulated vsize (KiB) 202860

[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/74 17744
/proc/meminfo: memFree=1125088/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=205368 CPUtime=1536.11
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1062496 664 0 0 153302 309 0 0 25 0 1 0 59316664 210296832 49694 996147200 134512640 135215973 4294956304 18446744073709551615 134969743 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 51342 49694 413 171 0 50267 0
Current children cumulated CPU time (s) 1536.11
Current children cumulated vsize (KiB) 205368

[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/74 17750
/proc/meminfo: memFree=1114976/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=209588 CPUtime=1595.86
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1088555 664 0 0 159269 317 0 0 25 0 1 0 59316664 214618112 50743 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 52397 50743 413 171 0 51322 0
Current children cumulated CPU time (s) 1595.86
Current children cumulated vsize (KiB) 209588

[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/74 17750
/proc/meminfo: memFree=1099872/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=213540 CPUtime=1655.62
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1118112 664 0 0 165237 325 0 0 25 0 1 0 59316664 218664960 51719 996147200 134512640 135215973 4294956304 18446744073709551615 134597336 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 53385 51719 413 171 0 52310 0
Current children cumulated CPU time (s) 1655.62
Current children cumulated vsize (KiB) 213540

[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/74 17750
/proc/meminfo: memFree=1088608/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=214728 CPUtime=1715.37
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1144837 664 0 0 171204 333 0 0 25 0 1 0 59316664 219881472 52031 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 53682 52031 413 171 0 52607 0
Current children cumulated CPU time (s) 1715.37
Current children cumulated vsize (KiB) 214728

[startup+1782.31 s]
/proc/loadavg: 1.92 2.00 1.99 3/83 17823
/proc/meminfo: memFree=1270112/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=217632 CPUtime=1775.12
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1174916 664 0 0 177169 343 0 0 25 0 1 0 59316664 222855168 52769 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 54408 52769 413 171 0 53333 0
Current children cumulated CPU time (s) 1775.12
Current children cumulated vsize (KiB) 217632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/83 17823
/proc/meminfo: memFree=1258208/2055920 swapFree=4192812/4192956
[pid=17737] ppid=17735 vsize=218292 CPUtime=1800.02
/proc/17737/stat : 17737 (pcs.big) R 17735 17737 16016 0 -1 4194304 1187465 664 0 0 179655 347 0 0 25 0 1 0 59316664 223531008 52935 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17737/statm: 54573 52935 413 171 0 53498 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 218292

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): 1807.34
CPU time (s): 1800.07
CPU user time (s): 1796.56
CPU system time (s): 3.50947
CPU usage (%): 99.5975
Max. virtual memory (cumulated for all children) (KiB): 218292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 3.50947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1188129
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= 28
involuntary context switches= 23805

runsolver used 1.72674 second user time and 4.85526 second system time

The end

Launcher Data 

Begin job on node81 at 2009-07-16 07:35:16
IDJOB=2083133
IDBENCH=57715
IDSOLVER=734
FILE ID=node81/2083133-1247722516
PBS_JOBID= 9521452
Free space on /tmp= 126664 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp10/normalized-fapp10-0900-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083133-1247722516/watcher-2083133-1247722516 -o /tmp/evaluation-result-2083133-1247722516/solver-2083133-1247722516 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 826277338 HOME/instance-2083133-1247722516.xml

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

MD5SUM BENCH= bb8fed9f370e164b93c37276047ba0d0
RANDOM SEED=826277338

node81.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.233
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.233
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1498376 kB
Buffers:         81600 kB
Cached:         343604 kB
SwapCached:          0 kB
Active:          78968 kB
Inactive:       392788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1498376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3276 kB
Writeback:           0 kB
Mapped:          58088 kB
Slab:            70788 kB
Committed_AS:   584196 kB
PageTables:       1880 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126652 MiB
End job on node81 at 2009-07-16 08:05:25