Trace number 2083012

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.09 1811.05

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-7.xml
MD5SUM03c519ee722ebb3400aacaf8b7a2d565
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 benchmark71.4491
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.16/0.22	c Seed is 869440693
0.16/0.22	c Constructing HOME/instance-2083012-1247722085.xml  with 337963 constraints
6.21/6.34	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-2083012-1247722085/watcher-2083012-1247722085 -o /tmp/evaluation-result-2083012-1247722085/solver-2083012-1247722085 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 869440693 HOME/instance-2083012-1247722085.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.07 2.08 2.01 4/82 14359
/proc/meminfo: memFree=1465216/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=5356 CPUtime=0
/proc/14359/stat : 14359 (pcssolve) R 14357 14359 11752 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 59275061 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14359/statm: 1339 241 200 169 0 50 0
[pid=14360] ppid=14359 vsize=0 CPUtime=0
/proc/14360/stat : 14360 (pcssolve) R 14359 14359 11752 0 -1 4194368 22 0 0 0 0 0 0 0 24 0 1 0 59275061 0 0 996147200 0 0 0 18446744073709551615 221236489511 0 0 4096 0 0 0 0 17 1 0 0
/proc/14360/statm: 0 0 0 0 0 0 0
[pid=14361] ppid=14359 vsize=5356 CPUtime=0
/proc/14361/stat : 14361 (pcssolve) R 14359 14359 11752 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 59275061 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14361/statm: 1339 241 200 169 0 50 0

[startup+0.091853 s]
/proc/loadavg: 2.07 2.08 2.01 4/82 14359
/proc/meminfo: memFree=1465216/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=6488 CPUtime=0.06
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 1243 667 0 0 5 0 1 0 18 0 1 0 59275061 6643712 833 996147200 134512640 135215973 4294956304 18446744073709551615 4159337252 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 1622 833 386 171 0 547 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6488

[startup+0.101848 s]
/proc/loadavg: 2.07 2.08 2.01 4/82 14359
/proc/meminfo: memFree=1465216/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=6488 CPUtime=0.06
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 1282 667 0 0 5 0 1 0 18 0 1 0 59275061 6643712 872 996147200 134512640 135215973 4294956304 18446744073709551615 8879773 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 1622 872 386 171 0 547 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6488

[startup+0.301875 s]
/proc/loadavg: 2.07 2.08 2.01 4/82 14359
/proc/meminfo: memFree=1465216/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=11008 CPUtime=0.26
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 2746 667 0 0 24 1 1 0 19 0 1 0 59275061 11272192 1875 996147200 134512640 135215973 4294956304 18446744073709551615 134843884 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 2752 1875 386 171 0 1677 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11008

[startup+0.701921 s]
/proc/loadavg: 2.07 2.08 2.01 4/82 14359
/proc/meminfo: memFree=1465216/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=21992 CPUtime=0.66
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 6212 667 0 0 63 2 1 0 23 0 1 0 59275061 22519808 3887 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 5498 3887 386 171 0 4423 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 21992

[startup+1.502 s]
/proc/loadavg: 2.07 2.08 2.01 3/83 14364
/proc/meminfo: memFree=1445112/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=39576 CPUtime=1.46
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 12229 667 0 0 140 5 1 0 25 0 1 0 59275061 40525824 7555 996147200 134512640 135215973 4294956304 18446744073709551615 4159337256 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 9894 7555 386 171 0 8819 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39576

[startup+3.10118 s]
/proc/loadavg: 2.07 2.08 2.01 3/83 14364
/proc/meminfo: memFree=1424312/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=75028 CPUtime=3.04
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 24219 667 0 0 293 10 1 0 25 0 1 0 59275061 76828672 14850 996147200 134512640 135215973 4294956304 18446744073709551615 4158847756 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 18757 14850 386 171 0 17682 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 75028

[startup+6.30253 s]
/proc/loadavg: 2.07 2.07 2.01 3/83 14364
/proc/meminfo: memFree=1368440/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=131944 CPUtime=6.21
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 47513 667 0 0 599 21 1 0 25 0 1 0 59275061 135110656 26506 996147200 134512640 135215973 4294956304 18446744073709551615 4159195912 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 32986 26506 392 171 0 31911 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 131944

[startup+12.7012 s]
/proc/loadavg: 2.06 2.07 2.01 3/83 14364
/proc/meminfo: memFree=1317880/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=171268 CPUtime=12.55
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 61046 667 0 0 1226 28 1 0 25 0 1 0 59275061 175378432 37159 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 42817 37159 410 171 0 41742 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 171268

[startup+25.5016 s]
/proc/loadavg: 2.05 2.07 2.01 3/83 14364
/proc/meminfo: memFree=1317112/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=171680 CPUtime=25.23
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 61518 667 0 0 2494 28 1 0 25 0 1 0 59275061 175800320 37317 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 42920 37317 410 171 0 41845 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 171680

[startup+51.1014 s]
/proc/loadavg: 2.03 2.06 2.01 3/83 14364
/proc/meminfo: memFree=1315512/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=173344 CPUtime=50.58
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 62361 667 0 0 5029 28 1 0 25 0 1 0 59275061 177504256 37743 996147200 134512640 135215973 4294956304 18446744073709551615 134591585 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 43336 37743 410 171 0 42261 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 173344

[startup+102.307 s]
/proc/loadavg: 2.06 2.06 2.01 3/83 14364
/proc/meminfo: memFree=1299960/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=188948 CPUtime=101.31
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 67087 667 0 0 10100 30 1 0 25 0 1 0 59275061 193482752 41636 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 47237 41636 410 171 0 46162 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 188948

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/83 14364
/proc/meminfo: memFree=1293368/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=201280 CPUtime=160.77
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 70326 667 0 0 16044 32 1 0 25 0 1 0 59275061 206110720 43210 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 50320 43210 410 171 0 49245 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 201280

[startup+222.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/83 14364
/proc/meminfo: memFree=1292024/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=201412 CPUtime=220.24
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 70680 667 0 0 21990 33 1 0 25 0 1 0 59275061 206245888 43564 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 50353 43564 410 171 0 49278 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 201412

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 14364
/proc/meminfo: memFree=1290552/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=201412 CPUtime=279.69
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 74092 667 0 0 27934 34 1 0 25 0 1 0 59275061 206245888 43874 996147200 134512640 135215973 4294956304 18446744073709551615 134600822 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 50353 43874 412 171 0 49278 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 201412

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 14364
/proc/meminfo: memFree=1288888/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=202996 CPUtime=339.14
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 109469 667 0 0 33865 48 1 0 25 0 1 0 59275061 207867904 44283 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 50749 44283 413 171 0 49674 0
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (KiB) 202996

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 14364
/proc/meminfo: memFree=1286584/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=205372 CPUtime=398.59
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 138523 667 0 0 39799 59 1 0 25 0 1 0 59275061 210300928 44855 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 51343 44855 413 171 0 50268 0
Current children cumulated CPU time (s) 398.59
Current children cumulated vsize (KiB) 205372

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 14364
/proc/meminfo: memFree=1284600/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=207220 CPUtime=458.03
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 152835 667 0 0 45737 65 1 0 25 0 1 0 59275061 212193280 45349 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 51805 45349 413 171 0 50730 0
Current children cumulated CPU time (s) 458.03
Current children cumulated vsize (KiB) 207220

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1282040/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=209860 CPUtime=517.47
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 165897 667 0 0 51676 70 1 0 25 0 1 0 59275061 214896640 46003 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 52465 46003 413 171 0 51390 0
Current children cumulated CPU time (s) 517.47
Current children cumulated vsize (KiB) 209860

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1280760/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=211180 CPUtime=576.93
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 173563 667 0 0 57618 74 1 0 25 0 1 0 59275061 216248320 46337 996147200 134512640 135215973 4294956304 18446744073709551615 135094967 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 52795 46337 413 171 0 51720 0
Current children cumulated CPU time (s) 576.93
Current children cumulated vsize (KiB) 211180

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1276088/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=215800 CPUtime=636.37

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1264504/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=227152 CPUtime=814.71
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 246369 667 0 0 81368 102 1 0 25 0 1 0 59275061 232603648 50335 996147200 134512640 135215973 4294956304 18446744073709551615 134591610 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 56788 50335 413 171 0 55713 0
Current children cumulated CPU time (s) 814.71
Current children cumulated vsize (KiB) 227152

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1260344/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=231508 CPUtime=874.14
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 287763 667 0 0 87295 118 1 0 25 0 1 0 59275061 237064192 51403 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 57877 51403 413 171 0 56802 0
Current children cumulated CPU time (s) 874.14
Current children cumulated vsize (KiB) 231508

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14364
/proc/meminfo: memFree=1258296/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=233488 CPUtime=933.58
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 321824 667 0 0 93225 132 1 0 25 0 1 0 59275061 239091712 51906 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 58372 51906 413 171 0 57297 0
Current children cumulated CPU time (s) 933.58
Current children cumulated vsize (KiB) 233488

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14364
/proc/meminfo: memFree=1257464/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=234276 CPUtime=993.01
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 356141 667 0 0 99153 147 1 0 25 0 1 0 59275061 239898624 52101 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/14359/statm: 58569 52101 413 171 0 57494 0
Current children cumulated CPU time (s) 993.01
Current children cumulated vsize (KiB) 234276

[startup+1062.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 14437
/proc/meminfo: memFree=1324488/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=236916 CPUtime=1052.93
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 384730 667 0 0 105132 160 1 0 25 0 1 0 59275061 242601984 52772 996147200 134512640 135215973 4294956304 18446744073709551615 135094328 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 59229 52772 413 171 0 58154 0
Current children cumulated CPU time (s) 1052.93
Current children cumulated vsize (KiB) 236916

[startup+1122.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/83 14438
/proc/meminfo: memFree=1286208/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=239028 CPUtime=1112.91
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 431781 667 0 0 111113 177 1 0 25 0 1 0 59275061 244764672 53293 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 59757 53293 413 171 0 58682 0
Current children cumulated CPU time (s) 1112.91
Current children cumulated vsize (KiB) 239028

[startup+1182.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/83 14438
/proc/meminfo: memFree=1263168/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=239688 CPUtime=1172.88
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 455904 667 0 0 117102 185 1 0 25 0 1 0 59275061 245440512 53446 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 59922 53446 413 171 0 58847 0
Current children cumulated CPU time (s) 1172.88
Current children cumulated vsize (KiB) 239688

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 14438
/proc/meminfo: memFree=1151232/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=240876 CPUtime=1232.86
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 480757 667 0 0 123091 194 1 0 25 0 1 0 59275061 246657024 53765 996147200 134512640 135215973 4294956304 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 60219 53765 413 171 0 59144 0
Current children cumulated CPU time (s) 1232.86
Current children cumulated vsize (KiB) 240876

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 14438
/proc/meminfo: memFree=978688/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=242064 CPUtime=1292.85
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 501354 667 0 0 129082 202 1 0 25 0 1 0 59275061 247873536 54058 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 60516 54058 413 171 0 59441 0
Current children cumulated CPU time (s) 1292.85
Current children cumulated vsize (KiB) 242064

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14438
/proc/meminfo: memFree=808256/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=244440 CPUtime=1352.82
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 518573 667 0 0 135074 207 1 0 25 0 1 0 59275061 250306560 54639 996147200 134512640 135215973 4294956304 18446744073709551615 134989384 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 61110 54639 413 171 0 60035 0
Current children cumulated CPU time (s) 1352.82
Current children cumulated vsize (KiB) 244440

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 14440
/proc/meminfo: memFree=663744/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=244836 CPUtime=1412.8
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 540671 667 0 0 141063 216 1 0 25 0 1 0 59275061 250712064 54741 996147200 134512640 135215973 4294956304 18446744073709551615 134583667 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 61209 54741 413 171 0 60134 0
Current children cumulated CPU time (s) 1412.8
Current children cumulated vsize (KiB) 244836

[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.02 3/73 14473
/proc/meminfo: memFree=1339792/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=245888 CPUtime=1472.64
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 561929 667 0 0 147038 225 1 0 25 0 1 0 59275061 251789312 55131 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 61472 55131 413 171 0 60397 0
Current children cumulated CPU time (s) 1472.64
Current children cumulated vsize (KiB) 245888

[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/73 14473
/proc/meminfo: memFree=1333072/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=248924 CPUtime=1532.4
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 582634 667 0 0 153006 233 1 0 25 0 1 0 59275061 254898176 56096 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 62231 56096 413 171 0 61156 0
Current children cumulated CPU time (s) 1532.4
Current children cumulated vsize (KiB) 248924

[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1325392/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=251560 CPUtime=1592.16
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 604145 667 0 0 158974 241 1 0 25 0 1 0 59275061 257597440 56739 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 62890 56739 413 171 0 61815 0
Current children cumulated CPU time (s) 1592.16
Current children cumulated vsize (KiB) 251560

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1319120/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=251560 CPUtime=1651.92
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 626150 667 0 0 164942 249 1 0 25 0 1 0 59275061 257597440 56748 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 62890 56748 413 171 0 61815 0
Current children cumulated CPU time (s) 1651.92
Current children cumulated vsize (KiB) 251560

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1313168/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=253936 CPUtime=1711.67
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 648748 667 0 0 170910 256 1 0 25 0 1 0 59275061 260030464 57350 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 63484 57350 413 171 0 62409 0
Current children cumulated CPU time (s) 1711.67
Current children cumulated vsize (KiB) 253936

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1302736/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=255516 CPUtime=1771.44
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 670288 667 0 0 176879 264 1 0 25 0 1 0 59275061 261648384 57740 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 63879 57740 413 171 0 62804 0
Current children cumulated CPU time (s) 1771.44
Current children cumulated vsize (KiB) 255516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811 s]
/proc/loadavg: 2.06 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1300112/2055920 swapFree=4192812/4192956
[pid=14359] ppid=14357 vsize=257232 CPUtime=1800.03
/proc/14359/stat : 14359 (pcs.big) R 14357 14359 11752 0 -1 4194304 681439 667 0 0 179735 267 1 0 25 0 1 0 59275061 263405568 58175 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/14359/statm: 64308 58175 413 171 0 63233 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 257232

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): 1811.05
CPU time (s): 1800.09
CPU user time (s): 1797.37
CPU system time (s): 2.72558
CPU usage (%): 99.3953
Max. virtual memory (cumulated for all children) (KiB): 257964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.37
system time used= 2.72558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682106
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= 47176

runsolver used 2.28465 second user time and 5.40018 second system time

The end

Launcher Data 

Begin job on node21 at 2009-07-16 07:28:06
IDJOB=2083012
IDBENCH=57673
IDSOLVER=734
FILE ID=node21/2083012-1247722085
PBS_JOBID= 9521405
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 03c519ee722ebb3400aacaf8b7a2d565
RANDOM SEED=869440693

node21.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.240
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.240
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:       1465696 kB
Buffers:         72096 kB
Cached:         298368 kB
SwapCached:          0 kB
Active:         225868 kB
Inactive:       288076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9360 kB
Writeback:           0 kB
Mapped:         163912 kB
Slab:            61156 kB
Committed_AS:   653604 kB
PageTables:       2084 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= 66316 MiB
End job on node21 at 2009-07-16 07:58:19