Trace number 2083121

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.12 1806.04

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-9.xml
MD5SUMfc14afa27a31c1de216ea0ec7153d796
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 benchmark13.8769
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
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.17/0.22	c Seed is 578702312
0.17/0.22	c Constructing HOME/instance-2083121-1247722482.xml  with 44620 constraints
0.77/0.80	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-2083121-1247722482/watcher-2083121-1247722482 -o /tmp/evaluation-result-2083121-1247722482/solver-2083121-1247722482 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 578702312 HOME/instance-2083121-1247722482.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.09 2.05 2.01 4/82 14270
/proc/meminfo: memFree=1003264/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=18576 CPUtime=0
/proc/14270/stat : 14270 (runsolver) R 14268 14270 12884 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59311944 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14270/statm: 4644 284 249 26 0 2626 0

[startup+0.0604389 s]
/proc/loadavg: 2.09 2.05 2.01 4/82 14270
/proc/meminfo: memFree=1003264/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=5552 CPUtime=0.03
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 1035 664 0 0 3 0 0 0 18 0 1 0 59311944 5685248 666 996147200 134512640 135215973 4294956304 18446744073709551615 134773346 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 1388 666 386 171 0 313 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5552

[startup+0.101448 s]
/proc/loadavg: 2.09 2.05 2.01 4/82 14270
/proc/meminfo: memFree=1003264/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=6672 CPUtime=0.07
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 1331 664 0 0 7 0 0 0 18 0 1 0 59311944 6832128 888 996147200 134512640 135215973 4294956304 18446744073709551615 10960641 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 1668 888 386 171 0 593 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6672

[startup+0.301472 s]
/proc/loadavg: 2.09 2.05 2.01 4/82 14270
/proc/meminfo: memFree=1003264/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=11604 CPUtime=0.27
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 2665 664 0 0 26 1 0 0 19 0 1 0 59311944 11882496 1868 996147200 134512640 135215973 4294956304 18446744073709551615 10985095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 2901 1868 386 171 0 1826 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11604

[startup+0.701511 s]
/proc/loadavg: 2.09 2.05 2.01 4/82 14270
/proc/meminfo: memFree=1003264/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=21896 CPUtime=0.67
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 6167 664 0 0 64 3 0 0 23 0 1 0 59311944 22421504 3808 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 5474 3808 386 171 0 4399 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21896

[startup+1.50159 s]
/proc/loadavg: 2.09 2.05 2.01 3/83 14275
/proc/meminfo: memFree=983608/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=26212 CPUtime=1.46
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 8389 664 0 0 143 3 0 0 25 0 1 0 59311944 26841088 5333 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 6553 5333 410 171 0 5478 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 26212

[startup+3.10176 s]
/proc/loadavg: 2.09 2.05 2.01 3/83 14275
/proc/meminfo: memFree=983032/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=26836 CPUtime=3.05
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 8627 664 0 0 301 4 0 0 25 0 1 0 59311944 27480064 5413 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 6709 5413 410 171 0 5634 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26836

[startup+6.30111 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 14275
/proc/meminfo: memFree=980280/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=29912 CPUtime=6.22
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 9489 664 0 0 618 4 0 0 25 0 1 0 59311944 30629888 6066 996147200 134512640 135215973 4294956304 18446744073709551615 134969613 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 7478 6066 410 171 0 6403 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 29912

[startup+12.7018 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 14275
/proc/meminfo: memFree=978744/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=30836 CPUtime=12.55
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 11008 664 0 0 1251 4 0 0 25 0 1 0 59311944 31576064 6483 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 7709 6483 413 171 0 6634 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 30836

[startup+25.5012 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 14275
/proc/meminfo: memFree=977400/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=32156 CPUtime=25.24
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 19133 664 0 0 2516 8 0 0 25 0 1 0 59311944 32927744 6818 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 8039 6818 413 171 0 6964 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 32156

[startup+51.102 s]
/proc/loadavg: 2.04 2.04 2.00 3/83 14275
/proc/meminfo: memFree=974520/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=35056 CPUtime=50.59
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 32156 664 0 0 5047 12 0 0 25 0 1 0 59311944 35897344 7529 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 8764 7529 413 171 0 7689 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 35056

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 14275
/proc/meminfo: memFree=968184/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=41996 CPUtime=101.33
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 62555 664 0 0 10110 23 0 0 25 0 1 0 59311944 43003904 9087 996147200 134512640 135215973 4294956304 18446744073709551615 134591911 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 10499 9087 413 171 0 9424 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 41996

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 14275
/proc/meminfo: memFree=962424/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=47796 CPUtime=160.76
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 92816 664 0 0 16044 32 0 0 25 0 1 0 59311944 48943104 10544 996147200 134512640 135215973 4294956304 18446744073709551615 134590085 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 11949 10544 413 171 0 10874 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 47796

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 14275
/proc/meminfo: memFree=958328/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=51752 CPUtime=220.2
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 126497 664 0 0 21977 43 0 0 25 0 1 0 59311944 52994048 11545 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 12938 11545 413 171 0 11863 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 51752

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 14275
/proc/meminfo: memFree=954680/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=55316 CPUtime=279.64
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 147827 664 0 0 27913 51 0 0 25 0 1 0 59311944 56643584 12431 996147200 134512640 135215973 4294956304 18446744073709551615 134597679 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 13829 12431 413 171 0 12754 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 55316

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14275
/proc/meminfo: memFree=951608/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=58352 CPUtime=339.09
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 166195 664 0 0 33852 57 0 0 25 0 1 0 59311944 59752448 13205 996147200 134512640 135215973 4294956304 18446744073709551615 134597608 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 14588 13205 413 171 0 13513 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 58352

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14275
/proc/meminfo: memFree=942200/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=67724 CPUtime=398.53
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 204543 664 0 0 39786 67 0 0 25 0 1 0 59311944 69349376 15529 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 16931 15529 413 171 0 15856 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 67724

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14275
/proc/meminfo: memFree=929656/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=80264 CPUtime=457.97
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 241371 664 0 0 45718 79 0 0 25 0 1 0 59311944 82190336 18689 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 20066 18689 413 171 0 18991 0
Current children cumulated CPU time (s) 457.97
Current children cumulated vsize (KiB) 80264

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14275
/proc/meminfo: memFree=920952/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=89108 CPUtime=517.42
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 277180 664 0 0 51652 90 0 0 25 0 1 0 59311944 91246592 20906 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 22277 20906 413 171 0 21202 0
Current children cumulated CPU time (s) 517.42
Current children cumulated vsize (KiB) 89108

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14275
/proc/meminfo: memFree=914424/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=95728 CPUtime=576.86
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 308315 664 0 0 57586 100 0 0 25 0 1 0 59311944 98025472 22553 996147200 134512640 135215973 4294956304 18446744073709551615 134597477 0 0 4096 0 0 0 0 17 1 0 0
/proc/14270/statm: 23932 22553 413 171 0 22857 0
Current children cumulated CPU time (s) 576.86
Current children cumulated vsize (KiB) 95728

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14316
/proc/meminfo: memFree=856640/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=102964 CPUtime=636.79
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 347316 664 0 0 63567 112 0 0 25 0 1 0 59311944 105435136 24390 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 25741 24390 413 171 0 24666 0
Current children cumulated CPU time (s) 636.79
Current children cumulated vsize (KiB) 102964

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 14349
/proc/meminfo: memFree=932432/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=128820 CPUtime=816.72
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 470651 664 0 0 81521 151 0 0 25 0 1 0 59311944 131911680 30875 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 32205 30875 413 171 0 31130 0
Current children cumulated CPU time (s) 816.72
Current children cumulated vsize (KiB) 128820

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14349
/proc/meminfo: memFree=921680/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=135540 CPUtime=876.7
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 513379 664 0 0 87507 163 0 0 25 0 1 0 59311944 138792960 32563 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 33885 32563 413 171 0 32810 0
Current children cumulated CPU time (s) 876.7
Current children cumulated vsize (KiB) 135540

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14349
/proc/meminfo: memFree=906640/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=140812 CPUtime=936.68
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 566288 664 0 0 93489 179 0 0 25 0 1 0 59311944 144191488 33906 996147200 134512640 135215973 4294956304 18446744073709551615 134970992 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 35203 33906 413 171 0 34128 0
Current children cumulated CPU time (s) 936.68
Current children cumulated vsize (KiB) 140812

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14349
/proc/meminfo: memFree=891280/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=144768 CPUtime=996.66
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 595264 664 0 0 99478 188 0 0 25 0 1 0 59311944 148242432 34914 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 36192 34914 413 171 0 35117 0
Current children cumulated CPU time (s) 996.66
Current children cumulated vsize (KiB) 144768

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=879824/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=150960 CPUtime=1056.64
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 621683 664 0 0 105469 195 0 0 25 0 1 0 59311944 154583040 36443 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 37740 36443 413 171 0 36665 0
Current children cumulated CPU time (s) 1056.64
Current children cumulated vsize (KiB) 150960

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=868368/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=153856 CPUtime=1116.61
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 651587 664 0 0 111459 202 0 0 25 0 1 0 59311944 157548544 37201 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 38464 37201 413 171 0 37389 0
Current children cumulated CPU time (s) 1116.61
Current children cumulated vsize (KiB) 153856

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=853584/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=160080 CPUtime=1176.59
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 684990 664 0 0 117448 211 0 0 25 0 1 0 59311944 163921920 38760 996147200 134512640 135215973 4294956304 18446744073709551615 135094319 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 40020 38760 413 171 0 38945 0
Current children cumulated CPU time (s) 1176.59
Current children cumulated vsize (KiB) 160080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=847824/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=161924 CPUtime=1236.57
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 715058 664 0 0 123437 220 0 0 25 0 1 0 59311944 165810176 39226 996147200 134512640 135215973 4294956304 18446744073709551615 134589760 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 40481 39226 413 171 0 39406 0
Current children cumulated CPU time (s) 1236.57
Current children cumulated vsize (KiB) 161924

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=837392/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=166012 CPUtime=1296.54
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 741072 664 0 0 129426 228 0 0 25 0 1 0 59311944 169996288 40236 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 41503 40236 413 171 0 40428 0
Current children cumulated CPU time (s) 1296.54
Current children cumulated vsize (KiB) 166012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=827664/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=171156 CPUtime=1356.52
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 768082 664 0 0 135414 238 0 0 25 0 1 0 59311944 175263744 41520 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 42789 41520 413 171 0 41714 0
Current children cumulated CPU time (s) 1356.52
Current children cumulated vsize (KiB) 171156

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=810960/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=185540 CPUtime=1416.51
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 805132 664 0 0 141403 248 0 0 25 0 1 0 59311944 189992960 45130 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 46385 45130 413 171 0 45310 0
Current children cumulated CPU time (s) 1416.51
Current children cumulated vsize (KiB) 185540

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=800976/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=191480 CPUtime=1476.47
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 829482 664 0 0 147392 255 0 0 25 0 1 0 59311944 196075520 46604 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 47870 46604 413 171 0 46795 0
Current children cumulated CPU time (s) 1476.47
Current children cumulated vsize (KiB) 191480

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14351
/proc/meminfo: memFree=789648/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=198796 CPUtime=1536.45
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 853783 664 0 0 153381 264 0 0 25 0 1 0 59311944 203567104 47869 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 49699 47869 413 171 0 48624 0
Current children cumulated CPU time (s) 1536.45
Current children cumulated vsize (KiB) 198796

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14357
/proc/meminfo: memFree=773320/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=208432 CPUtime=1596.43
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 907736 664 0 0 159363 280 0 0 25 0 1 0 59311944 213434368 50294 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 52108 50294 413 171 0 51033 0
Current children cumulated CPU time (s) 1596.43
Current children cumulated vsize (KiB) 208432

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14357
/proc/meminfo: memFree=752136/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=218464 CPUtime=1656.41
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 948100 664 0 0 165350 291 0 0 25 0 1 0 59311944 223707136 52810 996147200 134512640 135215973 4294956304 18446744073709551615 134591780 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 54616 52810 413 171 0 53541 0
Current children cumulated CPU time (s) 1656.41
Current children cumulated vsize (KiB) 218464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14357
/proc/meminfo: memFree=735624/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=230332 CPUtime=1716.38
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 993752 664 0 0 171336 302 0 0 25 0 1 0 59311944 235859968 55788 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 57583 55788 413 171 0 56508 0
Current children cumulated CPU time (s) 1716.38
Current children cumulated vsize (KiB) 230332

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14357
/proc/meminfo: memFree=726216/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=235740 CPUtime=1776.37
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 1031486 664 0 0 177324 313 0 0 25 0 1 0 59311944 241397760 57156 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 58935 57156 413 171 0 57860 0
Current children cumulated CPU time (s) 1776.37
Current children cumulated vsize (KiB) 235740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14357
/proc/meminfo: memFree=717832/2055920 swapFree=4192812/4192956
[pid=14270] ppid=14268 vsize=244052 CPUtime=1800.06
/proc/14270/stat : 14270 (pcs.big) R 14268 14270 12884 0 -1 4194304 1051195 664 0 0 179687 319 0 0 25 0 1 0 59311944 249909248 59233 996147200 134512640 135215973 4294956304 18446744073709551615 134597429 0 0 4096 0 0 0 0 17 0 0 0
/proc/14270/statm: 61013 59233 413 171 0 59938 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 244052

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): 1806.04
CPU time (s): 1800.12
CPU user time (s): 1796.88
CPU system time (s): 3.23651
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 244052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 3.23651
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051859
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= 26
involuntary context switches= 28191

runsolver used 2.01469 second user time and 5.21421 second system time

The end

Launcher Data 

Begin job on node47 at 2009-07-16 07:34:42
IDJOB=2083121
IDBENCH=57713
IDSOLVER=733
FILE ID=node47/2083121-1247722482
PBS_JOBID= 9521422
Free space on /tmp= 66384 MiB

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

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

MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=578702312

node47.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.218
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.218
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:       1003744 kB
Buffers:         87628 kB
Cached:         727284 kB
SwapCached:          0 kB
Active:         377968 kB
Inactive:       580896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1003744 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2704 kB
Writeback:           0 kB
Mapped:         164288 kB
Slab:            78124 kB
Committed_AS:   745852 kB
PageTables:       2196 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= 66380 MiB
End job on node47 at 2009-07-16 08:04:50