Trace number 2083122

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

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.08/0.11	c Seed is 341228646
0.08/0.11	c Constructing HOME/instance-2083122-1247722499.xml  with 44620 constraints
0.68/0.72	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-2083122-1247722499/watcher-2083122-1247722499 -o /tmp/evaluation-result-2083122-1247722499/solver-2083122-1247722499 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 341228646 HOME/instance-2083122-1247722499.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.25 2.11 2.03 4/73 15469
/proc/meminfo: memFree=1145640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (pcssolve) S 15467 15469 13858 0 -1 4194304 339 317 0 0 0 0 0 0 18 0 1 0 59315232 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 242 201 169 0 50 0
[pid=15472] ppid=15469 vsize=3680 CPUtime=0
/proc/15472/stat : 15472 (fgrep) R 15469 15469 13858 0 -1 4194304 155 0 0 0 0 0 0 0 17 0 1 0 59315233 3768320 123 996147200 4194304 4274172 548682068976 18446744073709551615 240154017874 0 0 4096 0 0 0 0 17 1 0 0
/proc/15472/statm: 920 123 94 19 0 44 0
[pid=15473] ppid=15469 vsize=3692 CPUtime=0
/proc/15473/stat : 15473 (grep) S 15469 15469 13858 0 -1 4194304 187 0 0 0 0 0 0 0 16 0 1 0 59315233 3780608 154 996147200 4194304 4274172 548682068976 18446744073709551615 240154017874 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/15473/statm: 923 154 111 19 0 47 0

[startup+0.024405 s]
/proc/loadavg: 2.25 2.11 2.03 4/73 15469
/proc/meminfo: memFree=1145640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=4760 CPUtime=0
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 870 664 0 0 0 0 0 0 18 0 1 0 59315232 4874240 501 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 1190 501 386 171 0 115 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4760

[startup+0.101423 s]
/proc/loadavg: 2.25 2.11 2.03 4/73 15469
/proc/meminfo: memFree=1145640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=6800 CPUtime=0.08
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 1380 664 0 0 8 0 0 0 18 0 1 0 59315232 6963200 937 996147200 134512640 135215973 4294956304 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 1700 939 386 171 0 625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6800

[startup+0.301461 s]
/proc/loadavg: 2.25 2.11 2.03 4/73 15469
/proc/meminfo: memFree=1145640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=13028 CPUtime=0.28
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 3293 664 0 0 27 1 0 0 20 0 1 0 59315232 13340672 2082 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 3257 2082 386 171 0 2182 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13028

[startup+0.701538 s]
/proc/loadavg: 2.25 2.11 2.03 4/73 15469
/proc/meminfo: memFree=1145640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=22420 CPUtime=0.68
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 6478 664 0 0 66 2 0 0 24 0 1 0 59315232 22958080 4119 996147200 134512640 135215973 4294956304 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 5605 4119 386 171 0 4530 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22420

[startup+1.50168 s]
/proc/loadavg: 2.25 2.11 2.03 3/74 15474
/proc/meminfo: memFree=1124896/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=26212 CPUtime=1.48
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 8398 664 0 0 145 3 0 0 25 0 1 0 59315232 26841088 5342 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 6553 5342 410 171 0 5478 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26212

[startup+3.10199 s]
/proc/loadavg: 2.25 2.11 2.03 3/74 15474
/proc/meminfo: memFree=1124000/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=26968 CPUtime=3.07
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 8674 664 0 0 304 3 0 0 25 0 1 0 59315232 27615232 5460 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 6742 5460 410 171 0 5667 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26968

[startup+6.30161 s]
/proc/loadavg: 2.23 2.11 2.03 3/74 15474
/proc/meminfo: memFree=1119456/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=29912 CPUtime=6.25
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 9489 664 0 0 622 3 0 0 25 0 1 0 59315232 30629888 6066 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 7478 6066 410 171 0 6403 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 29912

[startup+12.7018 s]
/proc/loadavg: 2.22 2.11 2.03 3/74 15474
/proc/meminfo: memFree=1113312/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=30304 CPUtime=12.64
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 10950 664 0 0 1260 4 0 0 25 0 1 0 59315232 31031296 6273 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 7576 6273 413 171 0 6501 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 30304

[startup+25.5013 s]
/proc/loadavg: 2.17 2.10 2.03 3/74 15474
/proc/meminfo: memFree=1103840/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=31756 CPUtime=25.38
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 16882 664 0 0 2533 5 0 0 25 0 1 0 59315232 32518144 6657 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 7939 6657 413 171 0 6864 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 31756

[startup+51.1012 s]
/proc/loadavg: 2.11 2.09 2.03 3/74 15474
/proc/meminfo: memFree=1083232/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=35320 CPUtime=50.88
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 32828 664 0 0 5077 11 0 0 25 0 1 0 59315232 36167680 7555 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 8830 7555 413 171 0 7755 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 35320

[startup+102.307 s]
/proc/loadavg: 2.05 2.08 2.02 3/74 15474
/proc/meminfo: memFree=1043744/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=41524 CPUtime=101.88
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 67561 664 0 0 10168 20 0 0 25 0 1 0 59315232 42520576 9114 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 10381 9114 413 171 0 9306 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 41524

[startup+162.301 s]
/proc/loadavg: 2.02 2.06 2.02 3/74 15474
/proc/meminfo: memFree=1000672/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=50444 CPUtime=161.64
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 108994 664 0 0 16133 31 0 0 25 0 1 0 59315232 51654656 11104 996147200 134512640 135215973 4294956304 18446744073709551615 134597679 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 12611 11104 413 171 0 11536 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 50444

[startup+222.303 s]
/proc/loadavg: 2.00 2.05 2.01 3/74 15474
/proc/meminfo: memFree=955104/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=57700 CPUtime=221.4
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 136699 664 0 0 22100 40 0 0 25 0 1 0 59315232 59084800 12931 996147200 134512640 135215973 4294956304 18446744073709551615 134585601 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 14425 12931 413 171 0 13350 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 57700

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 15474
/proc/meminfo: memFree=898272/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=59808 CPUtime=281.16
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 156822 664 0 0 28070 46 0 0 25 0 1 0 59315232 61243392 13446 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 14952 13446 413 171 0 13877 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 59808

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 15474
/proc/meminfo: memFree=869792/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=65880 CPUtime=340.92
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 195186 664 0 0 34035 57 0 0 25 0 1 0 59315232 67461120 14988 996147200 134512640 135215973 4294956304 18446744073709551615 134591798 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 16470 14988 413 171 0 15395 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 65880

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 15474
/proc/meminfo: memFree=824416/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=75644 CPUtime=400.68
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 248984 664 0 0 39994 74 0 0 25 0 1 0 59315232 77459456 17486 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 18911 17486 413 171 0 17836 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 75644

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 15474
/proc/meminfo: memFree=778016/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=85276 CPUtime=460.44
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 291711 664 0 0 45958 86 0 0 25 0 1 0 59315232 87322624 19895 996147200 134512640 135215973 4294956304 18446744073709551615 134600886 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 21319 19895 413 171 0 20244 0
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (KiB) 85276

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 15474
/proc/meminfo: memFree=733024/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=94908 CPUtime=520.2
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 336892 664 0 0 51922 98 0 0 25 0 1 0 59315232 97185792 22326 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 23727 22326 413 171 0 22652 0
Current children cumulated CPU time (s) 520.2
Current children cumulated vsize (KiB) 94908

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15474
/proc/meminfo: memFree=680928/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=109148 CPUtime=579.97
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 403160 664 0 0 57880 117 0 0 25 0 1 0 59315232 111767552 25894 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 27325 25914 413 171 0 26250 0
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (KiB) 109148

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15474
/proc/meminfo: memFree=629536/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=121544 CPUtime=639.73

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1169944/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=160196 CPUtime=878.71
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 619853 664 0 0 87689 182 0 0 25 0 1 0 59315232 164040704 38869 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 40049 38869 413 171 0 38974 0
Current children cumulated CPU time (s) 878.71
Current children cumulated vsize (KiB) 160196

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1144536/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=167448 CPUtime=938.48
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 653586 664 0 0 93655 193 0 0 25 0 1 0 59315232 171466752 40720 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 41862 40720 413 171 0 40787 0
Current children cumulated CPU time (s) 938.48
Current children cumulated vsize (KiB) 167448

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1139672/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=172060 CPUtime=998.22
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 680465 664 0 0 99622 200 0 0 25 0 1 0 59315232 176189440 41873 996147200 134512640 135215973 4294956304 18446744073709551615 134597679 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 43015 41873 413 171 0 41940 0
Current children cumulated CPU time (s) 998.22
Current children cumulated vsize (KiB) 172060

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1134360/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=175752 CPUtime=1057.98
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 698907 664 0 0 105592 206 0 0 25 0 1 0 59315232 179970048 42797 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 43938 42797 413 171 0 42863 0
Current children cumulated CPU time (s) 1057.98
Current children cumulated vsize (KiB) 175752

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1126808/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=178524 CPUtime=1117.72
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 715561 664 0 0 111562 210 0 0 25 0 1 0 59315232 182808576 43491 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 44631 43491 413 171 0 43556 0
Current children cumulated CPU time (s) 1117.72
Current children cumulated vsize (KiB) 178524

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1106456/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=183540 CPUtime=1177.48
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 742099 664 0 0 117531 217 0 0 25 0 1 0 59315232 187944960 44759 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 45885 44759 413 171 0 44810 0
Current children cumulated CPU time (s) 1177.48
Current children cumulated vsize (KiB) 183540

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1080536/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=189204 CPUtime=1237.23
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 770313 664 0 0 123498 225 0 0 25 0 1 0 59315232 193744896 46183 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15469/statm: 47301 46183 413 171 0 46226 0
Current children cumulated CPU time (s) 1237.23
Current children cumulated vsize (KiB) 189204

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/84 15549
/proc/meminfo: memFree=1224832/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=189996 CPUtime=1296.94
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 788225 664 0 0 129461 233 0 0 25 0 1 0 59315232 194555904 46387 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 47499 46387 413 171 0 46424 0
Current children cumulated CPU time (s) 1296.94
Current children cumulated vsize (KiB) 189996

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/84 15549
/proc/meminfo: memFree=1114496/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=192900 CPUtime=1356.63
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 808920 664 0 0 135423 240 0 0 25 0 1 0 59315232 197529600 47094 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 48225 47094 413 171 0 47150 0
Current children cumulated CPU time (s) 1356.63
Current children cumulated vsize (KiB) 192900

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 15549
/proc/meminfo: memFree=1024768/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=198044 CPUtime=1416.35
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 836294 664 0 0 141385 250 0 0 25 0 1 0 59315232 202797056 48400 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 49511 48400 413 171 0 48436 0
Current children cumulated CPU time (s) 1416.35
Current children cumulated vsize (KiB) 198044

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/84 15549
/proc/meminfo: memFree=967936/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=206684 CPUtime=1476.05
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 866008 664 0 0 147346 259 0 0 25 0 1 0 59315232 211644416 49986 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 51671 49986 413 171 0 50596 0
Current children cumulated CPU time (s) 1476.05
Current children cumulated vsize (KiB) 206684

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/84 15549
/proc/meminfo: memFree=920640/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=215528 CPUtime=1535.75
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 922443 664 0 0 153302 273 0 0 25 0 1 0 59315232 220700672 52195 996147200 134512640 135215973 4294956304 18446744073709551615 134597371 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 53882 52195 413 171 0 52807 0
Current children cumulated CPU time (s) 1535.75
Current children cumulated vsize (KiB) 215528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=871992/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=226608 CPUtime=1595.45
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 959517 664 0 0 159261 284 0 0 25 0 1 0 59315232 232046592 54993 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 56652 54993 413 171 0 55577 0
Current children cumulated CPU time (s) 1595.45
Current children cumulated vsize (KiB) 226608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=824568/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=236244 CPUtime=1655.16
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 994395 664 0 0 165223 293 0 0 25 0 1 0 59315232 241913856 57419 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 59061 57419 413 171 0 57986 0
Current children cumulated CPU time (s) 1655.16
Current children cumulated vsize (KiB) 236244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=773496/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=251680 CPUtime=1714.87
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 1048081 664 0 0 171178 309 0 0 25 0 1 0 59315232 257720320 61287 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 62920 61287 413 171 0 61845 0
Current children cumulated CPU time (s) 1714.87
Current children cumulated vsize (KiB) 251680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=737976/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=259592 CPUtime=1774.58
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 1099358 664 0 0 177136 322 0 0 25 0 1 0 59315232 265822208 63278 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 64898 63278 413 171 0 63823 0
Current children cumulated CPU time (s) 1774.58
Current children cumulated vsize (KiB) 259592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=720120/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=266720 CPUtime=1800.06
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 1125577 664 0 0 179675 331 0 0 25 0 1 0 59315232 273121280 65063 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 66680 65063 413 171 0 65605 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 266720

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

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

[startup+1807.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15555
/proc/meminfo: memFree=720120/2055920 swapFree=4192812/4192956
[pid=15469] ppid=15467 vsize=266720 CPUtime=1800.06
/proc/15469/stat : 15469 (pcs.big) R 15467 15469 13858 0 -1 4194304 1125577 664 0 0 179675 331 0 0 25 0 1 0 59315232 273121280 65063 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/15469/statm: 66680 65063 413 171 0 65605 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 266720

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.95
CPU time (s): 1800.12
CPU user time (s): 1796.76
CPU system time (s): 3.35949
CPU usage (%): 99.5669
Max. virtual memory (cumulated for all children) (KiB): 266720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.35949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1126241
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= 25
involuntary context switches= 21463

runsolver used 1.72574 second user time and 4.86826 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 07:34:59
IDJOB=2083122
IDBENCH=57713
IDSOLVER=734
FILE ID=node86/2083122-1247722499
PBS_JOBID= 9521401
Free space on /tmp= 66256 MiB

SOLVER NAME= pcs-restart 0.2.restart
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-2083122-1247722499/watcher-2083122-1247722499 -o /tmp/evaluation-result-2083122-1247722499/solver-2083122-1247722499 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 341228646 HOME/instance-2083122-1247722499.xml

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

MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=341228646

node86.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.265
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.265
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:       1146120 kB
Buffers:         90344 kB
Cached:         358252 kB
SwapCached:          0 kB
Active:         458824 kB
Inactive:       374988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1146120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2696 kB
Writeback:           0 kB
Mapped:         396632 kB
Slab:            60560 kB
Committed_AS:   965928 kB
PageTables:       2604 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= 66252 MiB
End job on node86 at 2009-07-16 08:05:09