Trace number 2083001

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.06 1809.85

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-2.xml
MD5SUM2fe472930e777421d5e31a3144b4206e
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 benchmark44.2453
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.03	c Seed is 194301825
0.00/0.03	c Constructing HOME/instance-2083001-1247722034.xml  with 337963 constraints
6.13/6.22	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-2083001-1247722034/watcher-2083001-1247722034 -o /tmp/evaluation-result-2083001-1247722034/solver-2083001-1247722034 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 194301825 HOME/instance-2083001-1247722034.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: 1.91 1.98 1.99 4/72 13035
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=5356 CPUtime=0
/proc/13035/stat : 13035 (pcssolve) R 13033 13035 10842 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59270272 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13035/statm: 1339 241 200 169 0 50 0
[pid=13036] ppid=13035 vsize=100 CPUtime=0
/proc/13036/stat : 13036 (fgrep) R 13035 13035 10842 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 59270273 102400 3 996147200 0 0 548682069725 18446744073709551615 237788261671 0 0 4096 0 0 0 0 17 1 0 0
/proc/13036/statm: 25 3 0 0 0 2 0
[pid=13037] ppid=13035 vsize=5356 CPUtime=0
/proc/13037/stat : 13037 (pcssolve) R 13035 13035 10842 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59270273 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13037/statm: 1339 241 200 169 0 50 0

[startup+0.089018 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13035
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=6488 CPUtime=0.07
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 1257 667 0 0 5 0 1 1 22 0 1 0 59270272 6643712 847 996147200 134512640 135215973 4294956304 18446744073709551615 134524516 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 1622 847 386 171 0 547 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6488

[startup+0.101013 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13035
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=6620 CPUtime=0.08
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 1324 667 0 0 6 0 1 1 22 0 1 0 59270272 6778880 914 996147200 134512640 135215973 4294956304 18446744073709551615 4159346061 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 1655 914 386 171 0 580 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6620

[startup+0.301058 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13035
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=12556 CPUtime=0.28
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 2862 667 0 0 25 1 1 1 24 0 1 0 59270272 12857344 1991 996147200 134512640 135215973 4294956304 18446744073709551615 134532790 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 3139 1991 386 171 0 2064 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12556

[startup+0.701132 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13035
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=21992 CPUtime=0.67
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 6241 667 0 0 62 3 1 1 25 0 1 0 59270272 22519808 3916 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 5498 3916 386 171 0 4423 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21992

[startup+1.50128 s]
/proc/loadavg: 1.91 1.98 1.99 3/73 13040
/proc/meminfo: memFree=1092576/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=39712 CPUtime=1.47
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 12302 667 0 0 139 6 1 1 25 0 1 0 59270272 40665088 7628 996147200 134512640 135215973 4294956304 18446744073709551615 134835430 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 9928 7628 386 171 0 8853 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39712

[startup+3.10157 s]
/proc/loadavg: 1.91 1.98 1.99 3/73 13040
/proc/meminfo: memFree=1071008/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=75420 CPUtime=3.05
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 24383 667 0 0 291 12 1 1 25 0 1 0 59270272 77230080 15014 996147200 134512640 135215973 4294956304 18446744073709551615 4158923927 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 18855 15014 386 171 0 17780 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 75420

[startup+6.30116 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 13040
/proc/meminfo: memFree=1013408/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=116948 CPUtime=6.23
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 47517 667 0 0 598 23 1 1 25 0 1 0 59270272 119754752 23690 996147200 134512640 135215973 4294956304 18446744073709551615 3035205 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 29237 23690 395 171 0 28162 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 116948

[startup+12.7023 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 13040
/proc/meminfo: memFree=961824/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=170852 CPUtime=12.57
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 61095 667 0 0 1226 29 1 1 25 0 1 0 59270272 174952448 37103 996147200 134512640 135215973 4294956304 18446744073709551615 134599877 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 42713 37103 410 171 0 41638 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 170852

[startup+25.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=956384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=171684 CPUtime=25.27
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 61526 667 0 0 2496 29 1 1 25 0 1 0 59270272 175804416 37325 996147200 134512640 135215973 4294956304 18446744073709551615 134591384 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 42921 37325 410 171 0 41846 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 171684

[startup+51.1014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=945824/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=173348 CPUtime=50.66
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 62375 667 0 0 5035 29 1 1 25 0 1 0 59270272 177508352 37757 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 43337 37757 410 171 0 42262 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 173348

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 13040
/proc/meminfo: memFree=909536/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=189480 CPUtime=101.47
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 67260 667 0 0 10114 31 1 1 25 0 1 0 59270272 194027520 41809 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 47370 41809 410 171 0 46295 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 189480

[startup+162.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 13040
/proc/meminfo: memFree=876512/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=201284 CPUtime=161.01
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 70325 667 0 0 16067 32 1 1 25 0 1 0 59270272 206114816 43209 996147200 134512640 135215973 4294956304 18446744073709551615 134970805 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 50321 43209 410 171 0 49246 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 201284

[startup+222.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 13040
/proc/meminfo: memFree=854304/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=201428 CPUtime=220.54
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 76236 667 0 0 22018 34 1 1 25 0 1 0 59270272 206262272 43480 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 50357 43480 413 171 0 49282 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 201428

[startup+282.302 s]
/proc/loadavg: 2.05 2.04 2.00 3/73 13040
/proc/meminfo: memFree=831904/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=203936 CPUtime=280.06
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 119563 667 0 0 27954 50 1 1 25 0 1 0 59270272 208830464 44225 996147200 134512640 135215973 4294956304 18446744073709551615 135094528 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 50984 44225 413 171 0 49909 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 203936

[startup+342.302 s]
/proc/loadavg: 2.13 2.06 2.01 3/73 13040
/proc/meminfo: memFree=807136/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=208292 CPUtime=339.59
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 146152 667 0 0 33896 61 1 1 25 0 1 0 59270272 213291008 45434 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 52073 45434 413 171 0 50998 0
Current children cumulated CPU time (s) 339.59
Current children cumulated vsize (KiB) 208292

[startup+402.302 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 13040
/proc/meminfo: memFree=786144/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=208424 CPUtime=399.11
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 178029 667 0 0 39836 73 1 1 25 0 1 0 59270272 213426176 45445 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 52106 45445 413 171 0 51031 0
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (KiB) 208424

[startup+462.302 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 13040
/proc/meminfo: memFree=756896/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=210272 CPUtime=458.64
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 201910 667 0 0 45780 82 1 1 25 0 1 0 59270272 215318528 45920 996147200 134512640 135215973 4294956304 18446744073709551615 134585615 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 52568 45920 413 171 0 51493 0
Current children cumulated CPU time (s) 458.64
Current children cumulated vsize (KiB) 210272

[startup+522.302 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 13040
/proc/meminfo: memFree=728160/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=214628 CPUtime=518.18
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 213462 667 0 0 51730 86 1 1 25 0 1 0 59270272 219779072 47320 996147200 134512640 135215973 4294956304 18446744073709551615 134969931 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 53657 47320 413 171 0 52582 0
Current children cumulated CPU time (s) 518.18
Current children cumulated vsize (KiB) 214628

[startup+582.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 13040
/proc/meminfo: memFree=701344/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=216344 CPUtime=577.7
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 232011 667 0 0 57675 93 1 1 25 0 1 0 59270272 221536256 47821 996147200 134512640 135215973 4294956304 18446744073709551615 135094727 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 54086 47821 413 171 0 53011 0
Current children cumulated CPU time (s) 577.7
Current children cumulated vsize (KiB) 216344

[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13040
/proc/meminfo: memFree=673248/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=218324 CPUtime=637.23

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=595936/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=224392 CPUtime=815.81
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 332596 667 0 0 81448 131 1 1 25 0 1 0 59270272 229777408 49988 996147200 134512640 135215973 4294956304 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 56098 49988 413 171 0 55023 0
Current children cumulated CPU time (s) 815.81
Current children cumulated vsize (KiB) 224392

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=574368/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=224920 CPUtime=875.33
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 357286 667 0 0 87391 140 1 1 25 0 1 0 59270272 230318080 50144 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 56230 50144 413 171 0 55155 0
Current children cumulated CPU time (s) 875.33
Current children cumulated vsize (KiB) 224920

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=551392/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=227824 CPUtime=934.86
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 377459 667 0 0 93337 147 1 1 25 0 1 0 59270272 233291776 50859 996147200 134512640 135215973 4294956304 18446744073709551615 134583531 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 56956 50859 413 171 0 55881 0
Current children cumulated CPU time (s) 934.86
Current children cumulated vsize (KiB) 227824

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=526560/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=232708 CPUtime=994.38
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 407460 667 0 0 99278 158 1 1 25 0 1 0 59270272 238292992 52096 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 58177 52096 413 171 0 57102 0
Current children cumulated CPU time (s) 994.38
Current children cumulated vsize (KiB) 232708

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=499104/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=241816 CPUtime=1053.9
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 451461 667 0 0 105214 174 1 1 25 0 1 0 59270272 247619584 54361 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 60454 54361 413 171 0 59379 0
Current children cumulated CPU time (s) 1053.9
Current children cumulated vsize (KiB) 241816

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=479648/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=242872 CPUtime=1113.42
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 480776 667 0 0 111154 186 1 1 25 0 1 0 59270272 248700928 54630 996147200 134512640 135215973 4294956304 18446744073709551615 134585842 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 60718 54630 413 171 0 59643 0
Current children cumulated CPU time (s) 1113.42
Current children cumulated vsize (KiB) 242872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13040
/proc/meminfo: memFree=461024/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=244324 CPUtime=1172.94
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 510459 667 0 0 117096 196 1 1 25 0 1 0 59270272 250187776 54985 996147200 134512640 135215973 4294956304 18446744073709551615 134583383 0 0 4096 0 0 0 0 17 1 0 0
/proc/13035/statm: 61081 54985 413 171 0 60006 0
Current children cumulated CPU time (s) 1172.94
Current children cumulated vsize (KiB) 244324

[startup+1242.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/83 13081
/proc/meminfo: memFree=1008336/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=246040 CPUtime=1232.86
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 543320 667 0 0 123076 208 1 1 25 0 1 0 59270272 251944960 55416 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 61510 55416 413 171 0 60435 0
Current children cumulated CPU time (s) 1232.86
Current children cumulated vsize (KiB) 246040

[startup+1302.3 s]
/proc/loadavg: 2.33 2.11 2.04 3/83 13081
/proc/meminfo: memFree=819024/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=248152 CPUtime=1292.83
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 582214 667 0 0 129061 220 1 1 25 0 1 0 59270272 254107648 55958 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 62038 55958 413 171 0 60963 0
Current children cumulated CPU time (s) 1292.83
Current children cumulated vsize (KiB) 248152

[startup+1362.3 s]
/proc/loadavg: 2.21 2.12 2.04 3/83 13081
/proc/meminfo: memFree=627920/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=249256 CPUtime=1352.8
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 609814 667 0 0 135048 230 1 1 25 0 1 0 59270272 255238144 56204 996147200 134512640 135215973 4294956304 18446744073709551615 134585723 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 62314 56204 413 171 0 61239 0
Current children cumulated CPU time (s) 1352.8
Current children cumulated vsize (KiB) 249256

[startup+1422.31 s]
/proc/loadavg: 2.25 2.15 2.06 3/83 13081
/proc/meminfo: memFree=442064/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=252416 CPUtime=1412.78
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 634601 667 0 0 141037 239 1 1 25 0 1 0 59270272 258473984 57021 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 63104 57021 413 171 0 62029 0
Current children cumulated CPU time (s) 1412.78
Current children cumulated vsize (KiB) 252416

[startup+1482.3 s]
/proc/loadavg: 2.36 2.20 2.08 3/83 13083
/proc/meminfo: memFree=352784/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=261260 CPUtime=1472.73
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 644688 667 0 0 147028 243 1 1 25 0 1 0 59270272 267530240 59212 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 65315 59212 413 171 0 64240 0
Current children cumulated CPU time (s) 1472.73
Current children cumulated vsize (KiB) 261260

[startup+1542.3 s]
/proc/loadavg: 2.33 2.23 2.09 3/83 13125
/proc/meminfo: memFree=949520/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=268784 CPUtime=1532.63
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 664626 667 0 0 153009 252 1 1 25 0 1 0 59270272 275234816 61102 996147200 134512640 135215973 4294956304 18446744073709551615 134969894 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 67196 61102 413 171 0 66121 0
Current children cumulated CPU time (s) 1532.63
Current children cumulated vsize (KiB) 268784

[startup+1602.3 s]
/proc/loadavg: 2.19 2.21 2.09 4/83 13125
/proc/meminfo: memFree=786384/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=270632 CPUtime=1592.6
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 687374 667 0 0 158998 260 1 1 25 0 1 0 59270272 277127168 61572 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 67658 61572 413 171 0 66583 0
Current children cumulated CPU time (s) 1592.6
Current children cumulated vsize (KiB) 270632

[startup+1662.3 s]
/proc/loadavg: 2.10 2.19 2.09 3/83 13125
/proc/meminfo: memFree=609936/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=272744 CPUtime=1652.58
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 710457 667 0 0 164987 269 1 1 25 0 1 0 59270272 279289856 62095 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 68186 62095 413 171 0 67111 0
Current children cumulated CPU time (s) 1652.58
Current children cumulated vsize (KiB) 272744

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.09 3/83 13125
/proc/meminfo: memFree=440464/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=275780 CPUtime=1712.55
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 733759 667 0 0 170976 277 1 1 25 0 1 0 59270272 282398720 62837 996147200 134512640 135215973 4294956304 18446744073709551615 134585403 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 68945 62837 413 171 0 67870 0
Current children cumulated CPU time (s) 1712.55
Current children cumulated vsize (KiB) 275780

[startup+1782.3 s]
/proc/loadavg: 2.11 2.17 2.09 3/83 13126
/proc/meminfo: memFree=357064/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=276836 CPUtime=1772.52
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 760551 667 0 0 176964 286 1 1 25 0 1 0 59270272 283480064 63121 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 69209 63121 413 171 0 68134 0
Current children cumulated CPU time (s) 1772.52
Current children cumulated vsize (KiB) 276836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.8 s]
/proc/loadavg: 2.13 2.17 2.09 3/82 13166
/proc/meminfo: memFree=1028248/2055920 swapFree=4192812/4192956
[pid=13035] ppid=13033 vsize=278420 CPUtime=1800.01
/proc/13035/stat : 13035 (pcs.big) R 13033 13035 10842 0 -1 4194304 772801 667 0 0 179706 293 1 1 25 0 1 0 59270272 285102080 63527 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 0 0 0
/proc/13035/statm: 69605 63527 413 171 0 68530 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 278420

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): 1809.85
CPU time (s): 1800.06
CPU user time (s): 1797.08
CPU system time (s): 2.98455
CPU usage (%): 99.4594
Max. virtual memory (cumulated for all children) (KiB): 279416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.08
system time used= 2.98455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773468
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= 29
involuntary context switches= 28502

runsolver used 2.12668 second user time and 5.2482 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 07:27:14
IDJOB=2083001
IDBENCH=57672
IDSOLVER=734
FILE ID=node24/2083001-1247722034
PBS_JOBID= 9521371
Free space on /tmp= 66404 MiB

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

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

MD5SUM BENCH= 2fe472930e777421d5e31a3144b4206e
RANDOM SEED=194301825

node24.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.287
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.287
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:       1113864 kB
Buffers:         91100 kB
Cached:         530148 kB
SwapCached:          0 kB
Active:         424984 kB
Inactive:       426516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1113864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9260 kB
Writeback:           0 kB
Mapped:         241804 kB
Slab:            75484 kB
Committed_AS:   764508 kB
PageTables:       2268 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= 66400 MiB
End job on node24 at 2009-07-16 07:57:26