Trace number 2059505

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.22 1810.74

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-e-2_ext.xml
MD5SUMa874846b5f636a65f037f19dc412b84b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.181972
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4217
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4217
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.20	c Seed is 1490578598
0.00/0.20	c Constructing HOME/instance-2059505-1247695134.xml  with 71842 constraints
0.28/0.31	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-2059505-1247695134/watcher-2059505-1247695134 -o /tmp/evaluation-result-2059505-1247695134/solver-2059505-1247695134 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1490578598 HOME/instance-2059505-1247695134.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.99 1.89 1.21 4/72 13559
/proc/meminfo: memFree=1063408/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=5356 CPUtime=0
/proc/13559/stat : 13559 (pcssolve) R 13557 13559 13316 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 56580388 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 212234316445 0 0 4100 65536 0 0 0 17 1 0 0
/proc/13559/statm: 1339 233 194 169 0 50 0

[startup+0.0185411 s]
/proc/loadavg: 1.99 1.89 1.21 4/72 13559
/proc/meminfo: memFree=1063408/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=3076 CPUtime=0
/proc/13559/stat : 13559 (pcs.big) D 13557 13559 13316 0 -1 4194304 400 657 0 0 0 0 0 0 18 0 1 0 56580388 3149824 46 996147200 134512640 135215973 4294956304 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13559/statm: 5004 4190 387 171 0 3929 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3076

[startup+0.290946 s]
/proc/loadavg: 1.99 1.89 1.21 4/72 13559
/proc/meminfo: memFree=1063408/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=27336 CPUtime=0.27
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7026 657 0 0 24 3 0 0 19 0 1 0 56580388 27992064 5562 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 6834 5562 387 171 0 5759 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 27336

[startup+0.301949 s]
/proc/loadavg: 1.99 1.89 1.21 4/72 13559
/proc/meminfo: memFree=1063408/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=27732 CPUtime=0.28
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7176 657 0 0 25 3 0 0 19 0 1 0 56580388 28397568 5712 996147200 134512640 135215973 4294956304 18446744073709551615 134762906 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 6933 5712 387 171 0 5858 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27732

[startup+0.702019 s]
/proc/loadavg: 1.99 1.89 1.21 4/72 13559
/proc/meminfo: memFree=1063408/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=29488 CPUtime=0.67
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7611 657 0 0 64 3 0 0 23 0 1 0 56580388 30195712 6147 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 7372 6147 400 171 0 6297 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 29488

[startup+1.50115 s]
/proc/loadavg: 1.99 1.89 1.21 3/73 13564
/proc/meminfo: memFree=1039784/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=29888 CPUtime=1.46
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7760 657 0 0 143 3 0 0 25 0 1 0 56580388 30605312 6286 996147200 134512640 135215973 4294956304 18446744073709551615 4158960610 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 7472 6286 400 171 0 6397 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29888

[startup+3.10143 s]
/proc/loadavg: 1.99 1.89 1.21 3/73 13564
/proc/meminfo: memFree=1039464/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=30020 CPUtime=3.05
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7793 657 0 0 302 3 0 0 25 0 1 0 56580388 30740480 6319 996147200 134512640 135215973 4294956304 18446744073709551615 134591074 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 7505 6319 402 171 0 6430 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30020

[startup+6.30198 s]
/proc/loadavg: 1.99 1.89 1.21 3/73 13564
/proc/meminfo: memFree=1039216/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=30152 CPUtime=6.22
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 7841 657 0 0 619 3 0 0 25 0 1 0 56580388 30875648 6367 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 7538 6367 402 171 0 6463 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30152

[startup+12.7011 s]
/proc/loadavg: 1.99 1.89 1.22 3/73 13564
/proc/meminfo: memFree=1037296/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=31728 CPUtime=12.56
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 8242 657 0 0 1252 4 0 0 25 0 1 0 56580388 32489472 6768 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 7932 6768 402 171 0 6857 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 31728

[startup+25.5013 s]
/proc/loadavg: 2.06 1.91 1.23 3/73 13564
/proc/meminfo: memFree=1029488/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=38664 CPUtime=25.24
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 10023 657 0 0 2518 6 0 0 25 0 1 0 56580388 39591936 8549 996147200 134512640 135215973 4294956304 18446744073709551615 4158960095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 9666 8549 402 171 0 8591 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 38664

[startup+51.1017 s]
/proc/loadavg: 2.04 1.92 1.25 3/73 13564
/proc/meminfo: memFree=1014448/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=52336 CPUtime=50.59
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 13589 657 0 0 5050 9 0 0 25 0 1 0 56580388 53592064 12017 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 13084 12017 402 171 0 12009 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 52336

[startup+102.302 s]
/proc/loadavg: 2.06 1.94 1.30 3/73 13564
/proc/meminfo: memFree=988336/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=75312 CPUtime=101.32
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 19716 657 0 0 10117 15 0 0 25 0 1 0 56580388 77119488 17758 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 18828 17758 402 171 0 17753 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 75312

[startup+162.302 s]
/proc/loadavg: 2.02 1.95 1.34 3/73 13570
/proc/meminfo: memFree=952552/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=110868 CPUtime=160.73
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 28835 657 0 0 16048 25 0 0 25 0 1 0 56580388 113528832 25723 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 27717 25723 402 171 0 26642 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 110868

[startup+222.307 s]
/proc/loadavg: 2.01 1.95 1.38 3/73 13570
/proc/meminfo: memFree=914344/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=133604 CPUtime=220.17
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 34703 657 0 0 21986 31 0 0 25 0 1 0 56580388 136810496 31591 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 33401 31591 402 171 0 32326 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 133604

[startup+282.302 s]
/proc/loadavg: 2.00 1.96 1.41 3/73 13570
/proc/meminfo: memFree=867880/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=166224 CPUtime=279.6
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 43315 657 0 0 27921 39 0 0 25 0 1 0 56580388 170213376 39690 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 41556 39690 402 171 0 40481 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 166224

[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.45 3/73 13570
/proc/meminfo: memFree=823272/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=195124 CPUtime=339.03
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 50728 657 0 0 33858 45 0 0 25 0 1 0 56580388 199806976 47103 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 48781 47103 402 171 0 47706 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 195124

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.48 3/73 13570
/proc/meminfo: memFree=779944/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=222324 CPUtime=398.47
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 58060 657 0 0 39793 54 0 0 25 0 1 0 56580388 227659776 54435 996147200 134512640 135215973 4294956304 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 55581 54435 402 171 0 54506 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 222324

[startup+462.302 s]
/proc/loadavg: 2.00 1.97 1.51 3/73 13570
/proc/meminfo: memFree=737392/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=252280 CPUtime=457.9
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 66048 657 0 0 45728 62 0 0 25 0 1 0 56580388 258334720 61398 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 63070 61398 402 171 0 61995 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 252280

[startup+522.302 s]
/proc/loadavg: 2.05 1.99 1.54 3/73 13570
/proc/meminfo: memFree=682416/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=295756 CPUtime=517.34
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 77400 657 0 0 51661 73 0 0 25 0 1 0 56580388 302854144 70444 996147200 134512640 135215973 4294956304 18446744073709551615 4158960131 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 73939 70444 402 171 0 72864 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 295756

[startup+582.302 s]
/proc/loadavg: 2.07 2.00 1.57 3/73 13570
/proc/meminfo: memFree=647792/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=319836 CPUtime=576.77
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 83595 657 0 0 57596 81 0 0 25 0 1 0 56580388 327512064 76639 996147200 134512640 135215973 4294956304 18446744073709551615 4158960269 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 79959 76639 402 171 0 78884 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 319836

[startup+642.302 s]
/proc/loadavg: 2.07 2.01 1.60 3/73 13570
/proc/meminfo: memFree=610096/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=343072 CPUtime=636.21
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 89583 657 0 0 63533 88 0 0 25 0 1 0 56580388 351305728 82627 996147200 134512640 135215973 4294956304 18446744073709551615 134648452 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 85768 82627 402 171 0 84693 0
Current children cumulated CPU time (s) 636.21
Current children cumulated vsize (KiB) 343072

[startup+702.302 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.01 1.68 3/73 13570
/proc/meminfo: memFree=446768/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=446184 CPUtime=873.96
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 116597 657 0 0 87278 118 0 0 25 0 1 0 56580388 456892416 109641 996147200 134512640 135215973 4294956304 18446744073709551615 4159345961 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 111546 109641 402 171 0 110471 0
Current children cumulated CPU time (s) 873.96
Current children cumulated vsize (KiB) 446184

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.70 3/73 13570
/proc/meminfo: memFree=414128/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=465472 CPUtime=933.4
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 121554 657 0 0 93216 124 0 0 25 0 1 0 56580388 476643328 114598 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 116368 114598 402 171 0 115293 0
Current children cumulated CPU time (s) 933.4
Current children cumulated vsize (KiB) 465472

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/73 13570
/proc/meminfo: memFree=378608/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=487012 CPUtime=992.84
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 127076 657 0 0 99153 131 0 0 25 0 1 0 56580388 498700288 120120 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 121753 120120 402 171 0 120678 0
Current children cumulated CPU time (s) 992.84
Current children cumulated vsize (KiB) 487012

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/73 13570
/proc/meminfo: memFree=338800/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=513364 CPUtime=1052.27
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 133835 657 0 0 105088 139 0 0 25 0 1 0 56580388 525684736 126879 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13559/statm: 128341 126879 402 171 0 127266 0
Current children cumulated CPU time (s) 1052.27
Current children cumulated vsize (KiB) 513364

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/73 13603
/proc/meminfo: memFree=771248/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=539980 CPUtime=1112.07
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 140659 657 0 0 111060 147 0 0 25 0 1 0 56580388 552939520 133703 996147200 134512640 135215973 4294956304 18446744073709551615 134612215 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 134995 133703 402 171 0 133920 0
Current children cumulated CPU time (s) 1112.07
Current children cumulated vsize (KiB) 539980

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/73 13603
/proc/meminfo: memFree=742128/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=566408 CPUtime=1172.05
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 147413 657 0 0 117051 154 0 0 25 0 1 0 56580388 580001792 140457 996147200 134512640 135215973 4294956304 18446744073709551615 134588312 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 141602 140457 402 171 0 140527 0
Current children cumulated CPU time (s) 1172.05
Current children cumulated vsize (KiB) 566408

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/73 13603
/proc/meminfo: memFree=712048/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=593360 CPUtime=1232.02
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 154292 657 0 0 123042 160 0 0 25 0 1 0 56580388 607600640 147336 996147200 134512640 135215973 4294956304 18446744073709551615 134599877 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 148340 147336 402 171 0 147265 0
Current children cumulated CPU time (s) 1232.02
Current children cumulated vsize (KiB) 593360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/73 13603
/proc/meminfo: memFree=675312/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=644732 CPUtime=1291.99
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 167228 657 0 0 129031 168 0 0 25 0 1 0 56580388 660205568 156175 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 161183 156175 402 171 0 160108 0
Current children cumulated CPU time (s) 1291.99
Current children cumulated vsize (KiB) 644732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/73 13603
/proc/meminfo: memFree=651632/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=665864 CPUtime=1351.96
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 172661 657 0 0 135022 174 0 0 25 0 1 0 56580388 681844736 161608 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 166466 161608 402 171 0 165391 0
Current children cumulated CPU time (s) 1351.96
Current children cumulated vsize (KiB) 665864

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/73 13603
/proc/meminfo: memFree=628656/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=685048 CPUtime=1411.95
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 177595 657 0 0 141015 180 0 0 25 0 1 0 56580388 701489152 166542 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 171262 166542 402 171 0 170187 0
Current children cumulated CPU time (s) 1411.95
Current children cumulated vsize (KiB) 685048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/73 13603
/proc/meminfo: memFree=610608/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=701764 CPUtime=1471.92
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 181911 657 0 0 147008 184 0 0 25 0 1 0 56580388 718606336 170858 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 175441 170858 402 171 0 174366 0
Current children cumulated CPU time (s) 1471.92
Current children cumulated vsize (KiB) 701764

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.82 3/73 13603
/proc/meminfo: memFree=590384/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=719924 CPUtime=1531.89
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 186579 657 0 0 153000 189 0 0 25 0 1 0 56580388 737202176 175526 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 179981 175526 402 171 0 178906 0
Current children cumulated CPU time (s) 1531.89
Current children cumulated vsize (KiB) 719924

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/73 13603
/proc/meminfo: memFree=569776/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=738716 CPUtime=1591.86
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 191395 657 0 0 158991 195 0 0 25 0 1 0 56580388 756445184 180342 996147200 134512640 135215973 4294956304 18446744073709551615 134590134 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 184679 180342 402 171 0 183604 0
Current children cumulated CPU time (s) 1591.86
Current children cumulated vsize (KiB) 738716

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/73 13603
/proc/meminfo: memFree=550448/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=755816 CPUtime=1651.83
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 195741 657 0 0 164983 200 0 0 25 0 1 0 56580388 773955584 184688 996147200 134512640 135215973 4294956304 18446744073709551615 134585035 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 188954 184688 402 171 0 187879 0
Current children cumulated CPU time (s) 1651.83
Current children cumulated vsize (KiB) 755816

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/73 13603
/proc/meminfo: memFree=533104/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=771380 CPUtime=1711.81
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 199700 657 0 0 170976 205 0 0 25 0 1 0 56580388 789893120 188647 996147200 134512640 135215973 4294956304 18446744073709551615 134589862 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 192845 188647 402 171 0 191770 0
Current children cumulated CPU time (s) 1711.81
Current children cumulated vsize (KiB) 771380

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 13603
/proc/meminfo: memFree=510128/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=789560 CPUtime=1771.79
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 204340 657 0 0 176970 209 0 0 25 0 1 0 56580388 808509440 193287 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 197390 193287 402 171 0 196315 0
Current children cumulated CPU time (s) 1771.79
Current children cumulated vsize (KiB) 789560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.6 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 13603
/proc/meminfo: memFree=501168/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=797796 CPUtime=1800.08
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4194304 206461 657 0 0 179797 211 0 0 25 0 1 0 56580388 816943104 195408 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 199449 195408 402 171 0 198374 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 797796

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

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

[startup+1810.71 s]
/proc/loadavg: 2.00 2.00 1.85 3/73 13603
/proc/meminfo: memFree=501168/2055920 swapFree=4192812/4192956
[pid=13559] ppid=13557 vsize=0 CPUtime=1800.18
/proc/13559/stat : 13559 (pcs.big) R 13557 13559 13316 0 -1 4195332 206461 657 0 0 179797 221 0 0 25 0 1 0 56580388 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/13559/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.74
CPU time (s): 1800.22
CPU user time (s): 1797.98
CPU system time (s): 2.24266
CPU usage (%): 99.4195
Max. virtual memory (cumulated for all children) (KiB): 797796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.24266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207118
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= 19
involuntary context switches= 25987

runsolver used 2.74958 second user time and 5.38918 second system time

The end

Launcher Data 

Begin job on node14 at 2009-07-15 23:58:54
IDJOB=2059505
IDBENCH=53588
IDSOLVER=734
FILE ID=node14/2059505-1247695134
PBS_JOBID= 9521280
Free space on /tmp= 66452 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-e-2_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059505-1247695134/watcher-2059505-1247695134 -o /tmp/evaluation-result-2059505-1247695134/solver-2059505-1247695134 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1490578598 HOME/instance-2059505-1247695134.xml

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

MD5SUM BENCH= a874846b5f636a65f037f19dc412b84b
RANDOM SEED=1490578598

node14.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1063888 kB
Buffers:         81384 kB
Cached:         551628 kB
SwapCached:          0 kB
Active:         446176 kB
Inactive:       463160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1063888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2036 kB
Writeback:           0 kB
Mapped:         287692 kB
Slab:            67308 kB
Committed_AS:   854020 kB
PageTables:       2492 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= 66448 MiB
End job on node14 at 2009-07-16 00:29:07