Trace number 2081714

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.08 1814.03

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-29.xml
MD5SUM10f4f3b19356da36a48ebac0d3244087
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Maximum constraint arity2
Maximum domain size1553
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.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 807942231
0.00/0.02	c Constructing HOME/instance-2081714-1247720282.xml  with 82480 constraints
1.26/1.36	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-2081714-1247720282/watcher-2081714-1247720282 -o /tmp/evaluation-result-2081714-1247720282/solver-2081714-1247720282 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 807942231 HOME/instance-2081714-1247720282.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.17 2.08 2.02 4/72 18071
/proc/meminfo: memFree=1461816/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=18576 CPUtime=0
/proc/18071/stat : 18071 (runsolver) R 18069 18071 15134 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59091713 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18071/statm: 4644 284 249 26 0 2626 0

[startup+0.0370631 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 18071
/proc/meminfo: memFree=1461816/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=4816 CPUtime=0.01
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 891 659 0 0 1 0 0 0 23 0 1 0 59091713 4931584 522 996147200 134512640 135215973 4294956304 18446744073709551615 10818126 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 1204 522 388 171 0 129 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4816

[startup+0.101069 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 18071
/proc/meminfo: memFree=1461816/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=6416 CPUtime=0.07
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1286 659 0 0 7 0 0 0 23 0 1 0 59091713 6569984 843 996147200 134512640 135215973 4294956304 18446744073709551615 10813509 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 1604 843 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.301089 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 18071
/proc/meminfo: memFree=1461816/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=10968 CPUtime=0.27
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 2724 659 0 0 26 1 0 0 25 0 1 0 59091713 11231232 1817 996147200 134512640 135215973 4294956304 18446744073709551615 4159186659 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 2742 1817 388 171 0 1667 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10968

[startup+0.701127 s]
/proc/loadavg: 2.17 2.08 2.02 4/72 18071
/proc/meminfo: memFree=1461816/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=20320 CPUtime=0.67
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 5768 659 0 0 65 2 0 0 25 0 1 0 59091713 20807680 3674 996147200 134512640 135215973 4294956304 18446744073709551615 10817591 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 5080 3674 388 171 0 4005 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20320

[startup+1.50221 s]
/proc/loadavg: 2.17 2.08 2.02 3/73 18076
/proc/meminfo: memFree=1442352/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=44524 CPUtime=1.47
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 14140 659 0 0 140 7 0 0 25 0 1 0 59091713 45592576 9193 996147200 134512640 135215973 4294956304 18446744073709551615 134649179 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 11131 9193 404 171 0 10056 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44524

[startup+3.10136 s]
/proc/loadavg: 2.17 2.08 2.02 3/73 18076
/proc/meminfo: memFree=1415152/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=99988 CPUtime=3.05
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 27333 659 0 0 292 13 0 0 25 0 1 0 59091713 102387712 19019 996147200 134512640 135215973 4294956304 18446744073709551615 134583710 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 24997 19019 408 171 0 23922 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 99988

[startup+6.30166 s]
/proc/loadavg: 2.16 2.08 2.02 3/73 18076
/proc/meminfo: memFree=1394224/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=88384 CPUtime=6.22
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 30031 659 0 0 607 15 0 0 25 0 1 0 59091713 90505216 17146 996147200 134512640 135215973 4294956304 18446744073709551615 134600150 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 22096 17146 408 171 0 21021 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 88384

[startup+12.7013 s]
/proc/loadavg: 2.14 2.08 2.02 3/73 18076
/proc/meminfo: memFree=1389552/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=88516 CPUtime=12.56
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 35892 659 0 0 1238 18 0 0 25 0 1 0 59091713 90640384 18246 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 22129 18246 408 171 0 21054 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 88516

[startup+25.5015 s]
/proc/loadavg: 2.11 2.07 2.01 3/73 18076
/proc/meminfo: memFree=1388080/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=88640 CPUtime=25.24
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 47807 659 0 0 2502 22 0 0 25 0 1 0 59091713 90767360 18293 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 22160 18293 408 171 0 21085 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 88640

[startup+51.1019 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 18076
/proc/meminfo: memFree=1382256/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=89028 CPUtime=50.6
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 67574 659 0 0 5030 30 0 0 25 0 1 0 59091713 91164672 19292 996147200 134512640 135215973 4294956304 18446744073709551615 134581797 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 22257 19292 408 171 0 21182 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 89028

[startup+102.307 s]
/proc/loadavg: 2.03 2.05 2.01 3/73 18076
/proc/meminfo: memFree=1377648/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=90760 CPUtime=101.32
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 108149 659 0 0 10085 47 0 0 25 0 1 0 59091713 92938240 20232 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 22690 20232 408 171 0 21615 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 90760

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18076
/proc/meminfo: memFree=1354096/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=134788 CPUtime=160.77
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 164026 659 0 0 16004 73 0 0 25 0 1 0 59091713 138022912 25163 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 33697 25163 408 171 0 32622 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 134788

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1349544/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=135988 CPUtime=220.2
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 215558 659 0 0 21924 96 0 0 25 0 1 0 59091713 139251712 25497 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 33997 25497 408 171 0 32922 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 135988

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1344488/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=138304 CPUtime=279.65
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 268789 659 0 0 27845 120 0 0 25 0 1 0 59091713 141623296 25893 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 34576 25893 408 171 0 33501 0
Current children cumulated CPU time (s) 279.65
Current children cumulated vsize (KiB) 138304

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1339176/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=139604 CPUtime=339.09
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 298098 659 0 0 33776 133 0 0 25 0 1 0 59091713 142954496 26291 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 34901 26291 408 171 0 33826 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 139604

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18082
/proc/meminfo: memFree=1333736/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=140780 CPUtime=398.55
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 325936 659 0 0 39709 146 0 0 25 0 1 0 59091713 144158720 26667 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 35195 26667 408 171 0 34120 0
Current children cumulated CPU time (s) 398.55
Current children cumulated vsize (KiB) 140780

[startup+462.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1330280/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=142084 CPUtime=458
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 370490 659 0 0 45635 165 0 0 25 0 1 0 59091713 145494016 27061 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 35521 27061 408 171 0 34446 0
Current children cumulated CPU time (s) 458
Current children cumulated vsize (KiB) 142084

[startup+522.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1325040/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=145844 CPUtime=517.45
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 417944 659 0 0 51558 187 0 0 25 0 1 0 59091713 149344256 27565 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 36461 27565 408 171 0 35386 0
Current children cumulated CPU time (s) 517.45
Current children cumulated vsize (KiB) 145844

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1319536/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=147548 CPUtime=576.9
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 467412 659 0 0 57483 207 0 0 25 0 1 0 59091713 151089152 28043 996147200 134512640 135215973 4294956304 18446744073709551615 134957977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 36887 28043 408 171 0 35812 0
Current children cumulated CPU time (s) 576.9
Current children cumulated vsize (KiB) 147548

[startup+642.302 s]
/proc/loadavg: 2.15 2.06 2.01 3/73 18082
/proc/meminfo: memFree=1316272/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=148724 CPUtime=636.35
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 500402 659 0 0 63416 219 0 0 25 0 1 0 59091713 152293376 28396 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 37181 28396 408 171 0 36106 0
Current children cumulated CPU time (s) 636.35
Current children cumulated vsize (KiB) 148724

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1301296/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=152112 CPUtime=814.69
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 662766 659 0 0 81184 285 0 0 25 0 1 0 59091713 155762688 29507 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 38028 29507 408 171 0 36953 0
Current children cumulated CPU time (s) 814.69
Current children cumulated vsize (KiB) 152112

[startup+882.302 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1296496/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=153168 CPUtime=874.14
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 700086 659 0 0 87111 303 0 0 25 0 1 0 59091713 156844032 29843 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 38292 29843 408 171 0 37217 0
Current children cumulated CPU time (s) 874.14
Current children cumulated vsize (KiB) 153168

[startup+942.302 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 18082
/proc/meminfo: memFree=1291888/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=154472 CPUtime=933.59
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 739545 659 0 0 93038 321 0 0 25 0 1 0 59091713 158179328 30248 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 38618 30248 408 171 0 37543 0
Current children cumulated CPU time (s) 933.59
Current children cumulated vsize (KiB) 154472

[startup+1002.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/73 18082
/proc/meminfo: memFree=1288048/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=155804 CPUtime=993.04
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 783523 659 0 0 98965 339 0 0 25 0 1 0 59091713 159543296 30618 996147200 134512640 135215973 4294956304 18446744073709551615 134533307 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 38951 30618 408 171 0 37876 0
Current children cumulated CPU time (s) 993.04
Current children cumulated vsize (KiB) 155804

[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/73 18082
/proc/meminfo: memFree=1282224/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=162520 CPUtime=1052.5
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 847720 659 0 0 104886 364 0 0 25 0 1 0 59091713 166420480 31345 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 40630 31345 408 171 0 39555 0
Current children cumulated CPU time (s) 1052.5
Current children cumulated vsize (KiB) 162520

[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 18082
/proc/meminfo: memFree=1275248/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=165012 CPUtime=1111.94
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 876164 659 0 0 110817 377 0 0 25 0 1 0 59091713 168972288 32051 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 41253 32051 408 171 0 40178 0
Current children cumulated CPU time (s) 1111.94
Current children cumulated vsize (KiB) 165012

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 18082
/proc/meminfo: memFree=1271664/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=165920 CPUtime=1171.39
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 918390 659 0 0 116745 394 0 0 25 0 1 0 59091713 169902080 32325 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 41480 32325 408 171 0 40405 0
Current children cumulated CPU time (s) 1171.39
Current children cumulated vsize (KiB) 165920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18082
/proc/meminfo: memFree=1264880/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=169060 CPUtime=1230.84
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 954559 659 0 0 122674 410 0 0 25 0 1 0 59091713 173117440 33166 996147200 134512640 135215973 4294956304 18446744073709551615 134907935 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 42265 33166 408 171 0 41190 0
Current children cumulated CPU time (s) 1230.84
Current children cumulated vsize (KiB) 169060

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1258608/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=170496 CPUtime=1290.29
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1008451 659 0 0 128596 433 0 0 25 0 1 0 59091713 174587904 33583 996147200 134512640 135215973 4294956304 18446744073709551615 134587271 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 42624 33583 408 171 0 41549 0
Current children cumulated CPU time (s) 1290.29
Current children cumulated vsize (KiB) 170496

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18082
/proc/meminfo: memFree=1253872/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=172456 CPUtime=1349.74
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1041836 659 0 0 134528 446 0 0 25 0 1 0 59091713 176594944 34124 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 43114 34124 408 171 0 42039 0
Current children cumulated CPU time (s) 1349.74
Current children cumulated vsize (KiB) 172456

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18082
/proc/meminfo: memFree=1250928/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=173904 CPUtime=1409.19
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1079570 659 0 0 140454 465 0 0 25 0 1 0 59091713 178077696 34529 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 43476 34529 408 171 0 42401 0
Current children cumulated CPU time (s) 1409.19
Current children cumulated vsize (KiB) 173904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18082
/proc/meminfo: memFree=1246384/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=175740 CPUtime=1468.63
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1109822 659 0 0 146385 478 0 0 25 0 1 0 59091713 179957760 35042 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/18071/statm: 43935 35042 408 171 0 42860 0
Current children cumulated CPU time (s) 1468.63
Current children cumulated vsize (KiB) 175740

[startup+1542.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1373992/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=178476 CPUtime=1528.43
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1127694 659 0 0 152357 486 0 0 25 0 1 0 59091713 182759424 35802 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 44619 35802 408 171 0 43544 0
Current children cumulated CPU time (s) 1528.43
Current children cumulated vsize (KiB) 178476

[startup+1602.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1370280/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=181776 CPUtime=1588.4
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1148897 659 0 0 158347 493 0 0 25 0 1 0 59091713 186138624 36719 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 45444 36719 408 171 0 44369 0
Current children cumulated CPU time (s) 1588.4
Current children cumulated vsize (KiB) 181776

[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1367144/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=184412 CPUtime=1648.38
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1170748 659 0 0 164337 501 0 0 25 0 1 0 59091713 188837888 37456 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 46103 37456 408 171 0 45028 0
Current children cumulated CPU time (s) 1648.38
Current children cumulated vsize (KiB) 184412

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1364072/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=187168 CPUtime=1708.36
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1192776 659 0 0 170326 510 0 0 25 0 1 0 59091713 191660032 38232 996147200 134512640 135215973 4294956304 18446744073709551615 134533319 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 46792 38232 408 171 0 45717 0
Current children cumulated CPU time (s) 1708.36
Current children cumulated vsize (KiB) 187168

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=189664 CPUtime=1768.34
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1215145 659 0 0 176316 518 0 0 25 0 1 0 59091713 194215936 38935 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 47416 38935 408 171 0 46341 0
Current children cumulated CPU time (s) 1768.34
Current children cumulated vsize (KiB) 189664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18124
/proc/meminfo: memFree=1359528/2055920 swapFree=4192812/4192956
[pid=18071] ppid=18069 vsize=191236 CPUtime=1800.04
/proc/18071/stat : 18071 (pcs.big) R 18069 18071 15134 0 -1 4194304 1226948 659 0 0 179482 522 0 0 25 0 1 0 59091713 195825664 39353 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/18071/statm: 47809 39353 408 171 0 46734 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 191236

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): 1814.03
CPU time (s): 1800.08
CPU user time (s): 1794.82
CPU system time (s): 5.2572
CPU usage (%): 99.2308
Max. virtual memory (cumulated for all children) (KiB): 191512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 5.2572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1227607
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= 21
involuntary context switches= 33916

runsolver used 2.72659 second user time and 5.19521 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-16 06:58:03
IDJOB=2081714
IDBENCH=57475
IDSOLVER=734
FILE ID=node61/2081714-1247720282
PBS_JOBID= 9521363
Free space on /tmp= 66376 MiB

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

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

MD5SUM BENCH= 10f4f3b19356da36a48ebac0d3244087
RANDOM SEED=807942231

node61.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.229
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.229
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:       1462296 kB
Buffers:        106792 kB
Cached:         297060 kB
SwapCached:          0 kB
Active:         171672 kB
Inactive:       321096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3392 kB
Writeback:           0 kB
Mapped:         100420 kB
Slab:            86076 kB
Committed_AS:   619124 kB
PageTables:       1896 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node61 at 2009-07-16 07:28:19