Trace number 2090855

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.07 1808.45

General information on the benchmark

Namecsp/tightness0.9/
normalized-rand-2-40-180-84-900-65_ext.xml
MD5SUMa0c6c075a4bbbd6d1e995891d3fc5868
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 benchmark10.0505
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
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.03	c Seed is 502328492
0.00/0.03	c Constructing HOME/instance-2090855-1247731165.xml  with 84 constraints
0.66/0.72	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-2090855-1247731165/watcher-2090855-1247731165 -o /tmp/evaluation-result-2090855-1247731165/solver-2090855-1247731165 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 502328492 HOME/instance-2090855-1247731165.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 12584
/proc/meminfo: memFree=1623960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=18576 CPUtime=0
/proc/12584/stat : 12584 (runsolver) R 12582 12584 11751 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60179057 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 244276849959 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12584/statm: 4644 284 249 26 0 2626 0

[startup+0.033791 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12584
/proc/meminfo: memFree=1623960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=4492 CPUtime=0
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 800 656 0 0 0 0 0 0 22 0 1 0 60179057 4599808 431 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 1123 431 369 171 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4492

[startup+0.101794 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12584
/proc/meminfo: memFree=1623960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=5348 CPUtime=0.07
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 912 656 0 0 7 0 0 0 22 0 1 0 60179057 5476352 543 996147200 134512640 135215973 4294956304 18446744073709551615 134792965 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 1337 543 383 171 0 262 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5348

[startup+0.301816 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12584
/proc/meminfo: memFree=1623960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=7636 CPUtime=0.27
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 1174 656 0 0 27 0 0 0 24 0 1 0 60179057 7819264 805 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 1909 805 383 171 0 834 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7636

[startup+0.701863 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12584
/proc/meminfo: memFree=1623960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=12376 CPUtime=0.66
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 1699 656 0 0 66 0 0 0 25 0 1 0 60179057 12673024 1330 996147200 134512640 135215973 4294956304 18446744073709551615 12967496 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3094 1330 383 171 0 2019 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 12376

[startup+1.50196 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12589
/proc/meminfo: memFree=1618832/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=13200 CPUtime=1.45
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 1977 656 0 0 145 0 0 0 25 0 1 0 60179057 13516800 1608 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3300 1608 401 171 0 2225 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13200

[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12589
/proc/meminfo: memFree=1618192/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=13200 CPUtime=3.04
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 2014 656 0 0 303 1 0 0 25 0 1 0 60179057 13516800 1645 996147200 134512640 135215973 4294956304 18446744073709551615 135026885 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3300 1645 401 171 0 2225 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13200

[startup+6.3015 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12589
/proc/meminfo: memFree=1616464/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=13200 CPUtime=6.22
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 2102 656 0 0 621 1 0 0 25 0 1 0 60179057 13516800 1733 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3300 1733 401 171 0 2225 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13200

[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12589
/proc/meminfo: memFree=1614352/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=13200 CPUtime=12.56
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 2334 656 0 0 1255 1 0 0 25 0 1 0 60179057 13516800 1965 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3300 1965 401 171 0 2225 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13200

[startup+25.5027 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 12589
/proc/meminfo: memFree=1612240/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=13200 CPUtime=25.25
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 2579 656 0 0 2524 1 0 0 25 0 1 0 60179057 13516800 2210 996147200 134512640 135215973 4294956304 18446744073709551615 135020290 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3300 2210 401 171 0 2225 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 13200

[startup+51.1026 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12589
/proc/meminfo: memFree=1609168/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=14516 CPUtime=50.64
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 3311 656 0 0 5062 2 0 0 25 0 1 0 60179057 14864384 2942 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 3629 2942 401 171 0 2554 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 14516

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12595
/proc/meminfo: memFree=1602000/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=21368 CPUtime=101.38
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 5058 656 0 0 10134 4 0 0 25 0 1 0 60179057 21880832 4624 996147200 134512640 135215973 4294956304 18446744073709551615 134597397 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 5342 4624 401 171 0 4267 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 21368

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12595
/proc/meminfo: memFree=1594640/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=28628 CPUtime=160.86
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 6881 656 0 0 16081 5 0 0 25 0 1 0 60179057 29315072 6447 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 7157 6447 401 171 0 6082 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 28628

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1611608/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=37056 CPUtime=220.59
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 9051 656 0 0 22053 6 0 0 25 0 1 0 60179057 37945344 8488 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 9264 8488 401 171 0 8189 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 37056

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1603992/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=44572 CPUtime=280.36
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 10988 656 0 0 28028 8 0 0 25 0 1 0 60179057 45641728 10392 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 11143 10392 401 171 0 10068 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 44572

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1596568/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=51564 CPUtime=340.11
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 12781 656 0 0 34002 9 0 0 25 0 1 0 60179057 52801536 12185 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 12891 12185 401 171 0 11816 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (KiB) 51564

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1589016/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=60112 CPUtime=399.88
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 14948 656 0 0 39978 10 0 0 25 0 1 0 60179057 61554688 14095 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 15028 14095 401 171 0 13953 0
Current children cumulated CPU time (s) 399.88
Current children cumulated vsize (KiB) 60112

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1581592/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=67232 CPUtime=459.63
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 16784 656 0 0 45952 11 0 0 25 0 1 0 60179057 68845568 15931 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 16808 15931 401 171 0 15733 0
Current children cumulated CPU time (s) 459.63
Current children cumulated vsize (KiB) 67232

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1574360/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=74608 CPUtime=519.39
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 18668 656 0 0 51927 12 0 0 25 0 1 0 60179057 76398592 17750 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 18652 17750 401 171 0 17577 0
Current children cumulated CPU time (s) 519.39
Current children cumulated vsize (KiB) 74608

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1567000/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=81604 CPUtime=579.15
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 20487 656 0 0 57902 13 0 0 25 0 1 0 60179057 83562496 19569 996147200 134512640 135215973 4294956304 18446744073709551615 135013135 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 20401 19569 401 171 0 19326 0
Current children cumulated CPU time (s) 579.15
Current children cumulated vsize (KiB) 81604

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1559640/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=88732 CPUtime=638.91
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 22306 656 0 0 63876 15 0 0 25 0 1 0 60179057 90861568 21388 996147200 134512640 135215973 4294956304 18446744073709551615 135026860 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 22183 21388 401 171 0 21108 0
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (KiB) 88732

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1538072/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=111628 CPUtime=818.18
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 28180 656 0 0 81798 20 0 0 25 0 1 0 60179057 114307072 26749 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 27907 26749 401 171 0 26832 0
Current children cumulated CPU time (s) 818.18
Current children cumulated vsize (KiB) 111628

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1531160/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=118224 CPUtime=877.93
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 29872 656 0 0 87771 22 0 0 25 0 1 0 60179057 121061376 28441 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 29556 28441 401 171 0 28481 0
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (KiB) 118224

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1524184/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=125220 CPUtime=937.7
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 31672 656 0 0 93747 23 0 0 25 0 1 0 60179057 128225280 30241 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 31305 30241 401 171 0 30230 0
Current children cumulated CPU time (s) 937.7
Current children cumulated vsize (KiB) 125220

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1517784/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=131424 CPUtime=997.45
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 33249 656 0 0 99721 24 0 0 25 0 1 0 60179057 134578176 31818 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 32856 31818 401 171 0 31781 0
Current children cumulated CPU time (s) 997.45
Current children cumulated vsize (KiB) 131424

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1510872/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=138668 CPUtime=1057.22
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 35101 656 0 0 105697 25 0 0 25 0 1 0 60179057 141996032 33541 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 34667 33541 401 171 0 33592 0
Current children cumulated CPU time (s) 1057.22
Current children cumulated vsize (KiB) 138668

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1503960/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=145400 CPUtime=1116.97
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 36821 656 0 0 111672 25 0 0 25 0 1 0 60179057 148889600 35261 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 36350 35261 401 171 0 35275 0
Current children cumulated CPU time (s) 1116.97
Current children cumulated vsize (KiB) 145400

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1498200/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=151208 CPUtime=1176.74
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 38307 656 0 0 117647 27 0 0 25 0 1 0 60179057 154836992 36747 996147200 134512640 135215973 4294956304 18446744073709551615 4158960045 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 37802 36747 401 171 0 36727 0
Current children cumulated CPU time (s) 1176.74
Current children cumulated vsize (KiB) 151208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1491480/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=157408 CPUtime=1236.49
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 39921 656 0 0 123621 28 0 0 25 0 1 0 60179057 161185792 38361 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 39352 38361 401 171 0 38277 0
Current children cumulated CPU time (s) 1236.49
Current children cumulated vsize (KiB) 157408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12637
/proc/meminfo: memFree=1485144/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=163612 CPUtime=1296.25
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 41497 656 0 0 129596 29 0 0 25 0 1 0 60179057 167538688 39937 996147200 134512640 135215973 4294956304 18446744073709551615 135020385 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 40903 39937 401 171 0 39828 0
Current children cumulated CPU time (s) 1296.25
Current children cumulated vsize (KiB) 163612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12679
/proc/meminfo: memFree=1480400/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=169684 CPUtime=1355.99
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 43073 656 0 0 135568 31 0 0 25 0 1 0 60179057 173756416 41513 996147200 134512640 135215973 4294956304 18446744073709551615 135026915 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 42421 41513 401 171 0 41346 0
Current children cumulated CPU time (s) 1355.99
Current children cumulated vsize (KiB) 169684

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12721
/proc/meminfo: memFree=1474384/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=175096 CPUtime=1415.71
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 44458 656 0 0 141539 32 0 0 25 0 1 0 60179057 179298304 42898 996147200 134512640 135215973 4294956304 18446744073709551615 135012560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12584/statm: 43774 42898 401 171 0 42699 0
Current children cumulated CPU time (s) 1415.71
Current children cumulated vsize (KiB) 175096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12754
/proc/meminfo: memFree=1475616/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=180904 CPUtime=1475.44
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 45930 656 0 0 147511 33 0 0 25 0 1 0 60179057 185245696 44370 996147200 134512640 135215973 4294956304 18446744073709551615 134583685 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 45226 44370 401 171 0 44151 0
Current children cumulated CPU time (s) 1475.44
Current children cumulated vsize (KiB) 180904

[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 12754
/proc/meminfo: memFree=1458976/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=186316 CPUtime=1535.2
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 47338 656 0 0 153486 34 0 0 25 0 1 0 60179057 190787584 45778 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 46579 45778 401 171 0 45504 0
Current children cumulated CPU time (s) 1535.2
Current children cumulated vsize (KiB) 186316

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/82 12795
/proc/meminfo: memFree=1456856/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=191596 CPUtime=1594.91
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 48706 656 0 0 159456 35 0 0 25 0 1 0 60179057 196194304 47146 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 47899 47146 401 171 0 46824 0
Current children cumulated CPU time (s) 1594.91
Current children cumulated vsize (KiB) 191596

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/82 12795
/proc/meminfo: memFree=1450840/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=201500 CPUtime=1654.62
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 51201 656 0 0 165425 37 0 0 25 0 1 0 60179057 206336000 48616 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 50375 48616 401 171 0 49300 0
Current children cumulated CPU time (s) 1654.62
Current children cumulated vsize (KiB) 201500

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 12795
/proc/meminfo: memFree=1444824/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=207572 CPUtime=1714.32
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 52752 656 0 0 171395 37 0 0 25 0 1 0 60179057 212553728 50167 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 51893 50167 401 171 0 50818 0
Current children cumulated CPU time (s) 1714.32
Current children cumulated vsize (KiB) 207572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 12795
/proc/meminfo: memFree=1439320/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=212720 CPUtime=1774.04
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 54096 656 0 0 177366 38 0 0 25 0 1 0 60179057 217825280 51511 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 53180 51511 401 171 0 52105 0
Current children cumulated CPU time (s) 1774.04
Current children cumulated vsize (KiB) 212720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12828
/proc/meminfo: memFree=1447656/2055920 swapFree=4191904/4192956
[pid=12584] ppid=12582 vsize=215228 CPUtime=1800.01
/proc/12584/stat : 12584 (pcs.big) R 12582 12584 11751 0 -1 4194304 54732 656 0 0 179962 39 0 0 25 0 1 0 60179057 220393472 52147 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/12584/statm: 53807 52147 401 171 0 52732 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 215228

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.45
CPU time (s): 1800.07
CPU user time (s): 1799.64
CPU system time (s): 0.431934
CPU usage (%): 99.5368
Max. virtual memory (cumulated for all children) (KiB): 215228

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

runsolver used 2.01369 second user time and 4.5753 second system time

The end

Launcher Data 

Begin job on node63 at 2009-07-16 09:59:25
IDJOB=2090855
IDBENCH=59924
IDSOLVER=734
FILE ID=node63/2090855-1247731165
PBS_JOBID= 9521553
Free space on /tmp= 66204 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-65_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090855-1247731165/watcher-2090855-1247731165 -o /tmp/evaluation-result-2090855-1247731165/solver-2090855-1247731165 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 502328492 HOME/instance-2090855-1247731165.xml

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

MD5SUM BENCH= a0c6c075a4bbbd6d1e995891d3fc5868
RANDOM SEED=502328492

node63.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.232
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.232
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:       1624376 kB
Buffers:         89556 kB
Cached:         197008 kB
SwapCached:        260 kB
Active:         120940 kB
Inactive:       219464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1624376 kB
SwapTotal:     4192956 kB
SwapFree:      4191904 kB
Dirty:            6900 kB
Writeback:           0 kB
Mapped:          73660 kB
Slab:            76036 kB
Committed_AS:   596996 kB
PageTables:       2004 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66204 MiB
End job on node63 at 2009-07-16 10:29:35