Trace number 2081736

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.05 1808.44

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-25.xml
MD5SUM38af2b06f564c2fa6a4a17a02adff205
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 benchmark1033.95
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1518
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12940
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.18/0.20	c Seed is 140212238
0.18/0.20	c Constructing HOME/instance-2081736-1247720327.xml  with 82480 constraints
1.17/1.25	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-2081736-1247720327/watcher-2081736-1247720327 -o /tmp/evaluation-result-2081736-1247720327/solver-2081736-1247720327 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 140212238 HOME/instance-2081736-1247720327.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.00 2.00 2.00 4/82 14104
/proc/meminfo: memFree=1647032/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=5356 CPUtime=0
/proc/14104/stat : 14104 (pcssolve) R 14102 14104 13233 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 0 59098051 5484544 162 996147200 4194304 4889804 548682068800 18446744073709551615 243665407888 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 1339 162 133 169 0 50 0

[startup+0.0387581 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14104
/proc/meminfo: memFree=1647032/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=5140 CPUtime=0.02
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 950 659 0 0 2 0 0 0 18 0 1 0 59098051 5263360 581 996147200 134512640 135215973 4294956304 18446744073709551615 4159198340 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 1285 583 388 171 0 210 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.101768 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14104
/proc/meminfo: memFree=1647032/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=6544 CPUtime=0.08
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 1334 659 0 0 8 0 0 0 18 0 1 0 59098051 6701056 891 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 1636 891 388 171 0 561 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6544

[startup+0.301804 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14104
/proc/meminfo: memFree=1647032/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=12264 CPUtime=0.28
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 3065 659 0 0 27 1 0 0 19 0 1 0 59098051 12558336 1964 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 3066 1964 388 171 0 1991 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12264

[startup+0.701878 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14104
/proc/meminfo: memFree=1647032/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=20724 CPUtime=0.68
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 5994 659 0 0 66 2 0 0 22 0 1 0 59098051 21221376 3900 996147200 134512640 135215973 4294956304 18446744073709551615 134907102 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 5181 3900 388 171 0 4106 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20724

[startup+1.50202 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14109
/proc/meminfo: memFree=1625776/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=46956 CPUtime=1.47
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 14868 659 0 0 141 6 0 0 25 0 1 0 59098051 48082944 9606 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 11739 9606 404 171 0 10664 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46956

[startup+3.10131 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14109
/proc/meminfo: memFree=1598320/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=88260 CPUtime=3.08
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 29128 659 0 0 296 12 0 0 25 0 1 0 59098051 90378240 17001 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 22065 17001 408 171 0 20990 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88260

[startup+6.30189 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14109
/proc/meminfo: memFree=1573104/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=88388 CPUtime=6.27
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 33767 659 0 0 613 14 0 0 25 0 1 0 59098051 90509312 18673 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 22097 18673 408 171 0 21022 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 88388

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14109
/proc/meminfo: memFree=1572848/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=88528 CPUtime=12.68
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 37595 659 0 0 1252 16 0 0 25 0 1 0 59098051 90652672 18706 996147200 134512640 135215973 4294956304 18446744073709551615 135094355 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 22132 18706 408 171 0 21057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88528

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14109
/proc/meminfo: memFree=1572848/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=88668 CPUtime=25.47
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 52128 659 0 0 2526 21 0 0 25 0 1 0 59098051 90796032 18749 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 22167 18749 408 171 0 21092 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 88668

[startup+51.101 s]
/proc/loadavg: 1.92 1.98 1.99 2/72 14111
/proc/meminfo: memFree=1590104/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=89184 CPUtime=51.05
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 71808 659 0 0 5076 29 0 0 25 0 1 0 59098051 91324416 19454 996147200 134512640 135215973 4294956304 18446744073709551615 134908245 0 0 4096 0 0 0 0 17 1 0 0
/proc/14104/statm: 22296 19454 408 171 0 21221 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 89184

[startup+102.306 s]
/proc/loadavg: 2.08 2.02 2.00 3/84 14152
/proc/meminfo: memFree=1448752/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=90644 CPUtime=102
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 102266 659 0 0 10159 41 0 0 25 0 1 0 59098051 92819456 19799 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 22661 19799 408 171 0 21586 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 90644

[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/84 14158
/proc/meminfo: memFree=891184/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=135184 CPUtime=161.73
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 139783 659 0 0 16117 56 0 0 25 0 1 0 59098051 138428416 25267 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 33796 25267 408 171 0 32721 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 135184

[startup+222.301 s]
/proc/loadavg: 2.30 2.10 2.03 3/84 14158
/proc/meminfo: memFree=835888/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=136716 CPUtime=221.46
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 183898 659 0 0 22070 76 0 0 25 0 1 0 59098051 139997184 25576 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 34179 25576 408 171 0 33104 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 136716

[startup+282.301 s]
/proc/loadavg: 2.38 2.16 2.05 3/84 14158
/proc/meminfo: memFree=821040/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=137752 CPUtime=281.2
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 209874 659 0 0 28032 88 0 0 25 0 1 0 59098051 141058048 25884 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 34438 25884 408 171 0 33363 0
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (KiB) 137752

[startup+342.302 s]
/proc/loadavg: 2.25 2.17 2.06 3/84 14242
/proc/meminfo: memFree=1517680/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=140016 CPUtime=340.74
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 231961 659 0 0 33976 98 0 0 25 0 1 0 59098051 143376384 26255 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 35004 26255 408 171 0 33929 0
Current children cumulated CPU time (s) 340.74
Current children cumulated vsize (KiB) 140016

[startup+402.303 s]
/proc/loadavg: 2.15 2.15 2.06 3/83 14386
/proc/meminfo: memFree=1525824/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=141300 CPUtime=400.24
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 258908 659 0 0 39914 110 0 0 25 0 1 0 59098051 144691200 26637 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 35325 26637 408 171 0 34250 0
Current children cumulated CPU time (s) 400.24
Current children cumulated vsize (KiB) 141300

[startup+462.302 s]
/proc/loadavg: 2.05 2.12 2.06 3/83 14386
/proc/meminfo: memFree=1510400/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=142344 CPUtime=459.99
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 280697 659 0 0 45877 122 0 0 25 0 1 0 59098051 145760256 26967 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 35586 26967 408 171 0 34511 0
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (KiB) 142344

[startup+522.302 s]
/proc/loadavg: 2.02 2.10 2.05 3/83 14386
/proc/meminfo: memFree=1499264/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=143384 CPUtime=519.75
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 304532 659 0 0 51843 132 0 0 25 0 1 0 59098051 146825216 27273 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 35846 27273 408 171 0 34771 0
Current children cumulated CPU time (s) 519.75
Current children cumulated vsize (KiB) 143384

[startup+582.302 s]
/proc/loadavg: 2.00 2.08 2.04 3/83 14386
/proc/meminfo: memFree=1491008/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=144420 CPUtime=579.49
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 326864 659 0 0 57807 142 0 0 25 0 1 0 59098051 147886080 27594 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 36105 27594 408 171 0 35030 0
Current children cumulated CPU time (s) 579.49
Current children cumulated vsize (KiB) 144420

[startup+642.301 s]
/proc/loadavg: 2.11 2.09 2.05 3/84 14388
/proc/meminfo: memFree=1297904/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=147384 CPUtime=639.25
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 371005 659 0 0 63762 163 0 0 25 0 1 0 59098051 150921216 27890 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 36846 27890 408 171 0 35771 0
Current children cumulated CPU time (s) 639.25
Current children cumulated vsize (KiB) 147384

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.04 2.03 3/83 14388
/proc/meminfo: memFree=1198704/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=151944 CPUtime=818.44
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 474756 659 0 0 81638 206 0 0 25 0 1 0 59098051 155590656 29245 996147200 134512640 135215973 4294956304 18446744073709551615 134586579 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 37986 29245 408 171 0 36911 0
Current children cumulated CPU time (s) 818.44
Current children cumulated vsize (KiB) 151944

[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.03 3/83 14388
/proc/meminfo: memFree=1193264/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=152984 CPUtime=878.17
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 528886 659 0 0 87587 230 0 0 25 0 1 0 59098051 156655616 29762 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 38246 29762 408 171 0 37171 0
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (KiB) 152984

[startup+942.302 s]
/proc/loadavg: 2.00 2.02 2.02 3/83 14388
/proc/meminfo: memFree=1191920/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=154156 CPUtime=937.9
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 575312 659 0 0 93537 253 0 0 25 0 1 0 59098051 157855744 30096 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 38539 30096 408 171 0 37464 0
Current children cumulated CPU time (s) 937.9
Current children cumulated vsize (KiB) 154156

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 14388
/proc/meminfo: memFree=1190448/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=155296 CPUtime=997.62
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 617972 659 0 0 99491 271 0 0 25 0 1 0 59098051 159023104 30459 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 38824 30459 408 171 0 37749 0
Current children cumulated CPU time (s) 997.62
Current children cumulated vsize (KiB) 155296

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 14388
/proc/meminfo: memFree=1188976/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=156460 CPUtime=1057.35
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 649580 659 0 0 105451 284 0 0 25 0 1 0 59098051 160215040 30810 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 39115 30810 408 171 0 38040 0
Current children cumulated CPU time (s) 1057.35
Current children cumulated vsize (KiB) 156460

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 14388
/proc/meminfo: memFree=1187632/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=161608 CPUtime=1117.07
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 674718 659 0 0 111411 296 0 0 25 0 1 0 59098051 165486592 31118 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 40402 31118 408 171 0 39327 0
Current children cumulated CPU time (s) 1117.07
Current children cumulated vsize (KiB) 161608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1185776/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=163176 CPUtime=1176.78
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 701803 659 0 0 117371 307 0 0 25 0 1 0 59098051 167092224 31569 996147200 134512640 135215973 4294956304 18446744073709551615 134612267 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 40794 31569 408 171 0 39719 0
Current children cumulated CPU time (s) 1176.78
Current children cumulated vsize (KiB) 163176

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1184752/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=164088 CPUtime=1236.51
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 734501 659 0 0 123330 321 0 0 25 0 1 0 59098051 168026112 31837 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 41022 31837 408 171 0 39947 0
Current children cumulated CPU time (s) 1236.51
Current children cumulated vsize (KiB) 164088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1182064/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=166452 CPUtime=1296.23
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 759168 659 0 0 129290 333 0 0 25 0 1 0 59098051 170446848 32492 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 41613 32492 408 171 0 40538 0
Current children cumulated CPU time (s) 1296.23
Current children cumulated vsize (KiB) 166452

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1179504/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=168820 CPUtime=1355.96
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 795276 659 0 0 135246 350 0 0 25 0 1 0 59098051 172871680 33134 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 42205 33134 408 171 0 41130 0
Current children cumulated CPU time (s) 1355.96
Current children cumulated vsize (KiB) 168820

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1177008/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=170936 CPUtime=1415.68
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 823214 659 0 0 141206 362 0 0 25 0 1 0 59098051 175038464 33748 996147200 134512640 135215973 4294956304 18446744073709551615 134977013 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 42734 33748 408 171 0 41659 0
Current children cumulated CPU time (s) 1415.68
Current children cumulated vsize (KiB) 170936

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1174448/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=173308 CPUtime=1475.4
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 848504 659 0 0 147166 374 0 0 25 0 1 0 59098051 177467392 34405 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 43327 34405 408 171 0 42252 0
Current children cumulated CPU time (s) 1475.4
Current children cumulated vsize (KiB) 173308

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1171760/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=175648 CPUtime=1535.13
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 892831 659 0 0 153117 396 0 0 25 0 1 0 59098051 179863552 35055 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 43912 35055 408 171 0 42837 0
Current children cumulated CPU time (s) 1535.13
Current children cumulated vsize (KiB) 175648

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 14388
/proc/meminfo: memFree=1165168/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=181588 CPUtime=1594.85
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 929077 659 0 0 159073 412 0 0 25 0 1 0 59098051 185946112 36663 996147200 134512640 135215973 4294956304 18446744073709551615 134592079 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 45397 36663 408 171 0 44322 0
Current children cumulated CPU time (s) 1594.85
Current children cumulated vsize (KiB) 181588

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 14388
/proc/meminfo: memFree=1163696/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=182908 CPUtime=1654.57
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 954485 659 0 0 165032 425 0 0 25 0 1 0 59098051 187297792 37024 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 45727 37024 408 171 0 44652 0
Current children cumulated CPU time (s) 1654.57
Current children cumulated vsize (KiB) 182908

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1161840/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=184464 CPUtime=1714.31
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 983233 659 0 0 170992 439 0 0 25 0 1 0 59098051 188891136 37482 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 46116 37482 408 171 0 45041 0
Current children cumulated CPU time (s) 1714.31
Current children cumulated vsize (KiB) 184464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1160688/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=185372 CPUtime=1774.03
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 1032634 659 0 0 176942 461 0 0 25 0 1 0 59098051 189820928 37755 996147200 134512640 135215973 4294956304 18446744073709551615 4158960638 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 46343 37755 408 171 0 45268 0
Current children cumulated CPU time (s) 1774.03
Current children cumulated vsize (KiB) 185372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14388
/proc/meminfo: memFree=1160176/2055920 swapFree=4192812/4192956
[pid=14104] ppid=14102 vsize=185768 CPUtime=1800
/proc/14104/stat : 14104 (pcs.big) R 14102 14104 13233 0 -1 4194304 1044431 659 0 0 179535 465 0 0 25 0 1 0 59098051 190226432 37891 996147200 134512640 135215973 4294956304 18446744073709551615 134648553 0 0 4096 0 0 0 0 17 0 0 0
/proc/14104/statm: 46442 37891 408 171 0 45367 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 185768

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): 1808.44
CPU time (s): 1800.05
CPU user time (s): 1795.36
CPU system time (s): 4.69129
CPU usage (%): 99.5362
Max. virtual memory (cumulated for all children) (KiB): 186044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.36
system time used= 4.69129
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1045090
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= 15
involuntary context switches= 25280

runsolver used 2.00069 second user time and 5.22021 second system time

The end

Launcher Data 

Begin job on node84 at 2009-07-16 06:58:47
IDJOB=2081736
IDBENCH=57479
IDSOLVER=734
FILE ID=node84/2081736-1247720327
PBS_JOBID= 9521398
Free space on /tmp= 66180 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20/normalized-super-js-taillard-20-25.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081736-1247720327/watcher-2081736-1247720327 -o /tmp/evaluation-result-2081736-1247720327/solver-2081736-1247720327 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 140212238 HOME/instance-2081736-1247720327.xml

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

MD5SUM BENCH= 38af2b06f564c2fa6a4a17a02adff205
RANDOM SEED=140212238

node84.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.259
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.259
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:       1647448 kB
Buffers:         70936 kB
Cached:         213508 kB
SwapCached:          0 kB
Active:         116768 kB
Inactive:       203656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1647448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3368 kB
Writeback:           0 kB
Mapped:          56264 kB
Slab:            73252 kB
Committed_AS:   532772 kB
PageTables:       1840 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= 66172 MiB
End job on node84 at 2009-07-16 07:28:57