Trace number 2081747

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.11 1807.73

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-22.xml
MD5SUM2dc1ef2385520df4e5d6471c36d68b37
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 size1545
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.18/0.23	c Seed is 1581120270
0.18/0.23	c Constructing HOME/instance-2081747-1247720373.xml  with 82480 constraints
1.27/1.35	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-2081747-1247720373/watcher-2081747-1247720373 -o /tmp/evaluation-result-2081747-1247720373/solver-2081747-1247720373 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1581120270 HOME/instance-2081747-1247720373.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.34 2.12 2.03 4/82 12833
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=18576 CPUtime=0
/proc/12833/stat : 12833 (runsolver) R 12831 12833 10722 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59100380 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12833/statm: 4644 284 249 26 0 2626 0

[startup+0.211551 s]
/proc/loadavg: 2.34 2.12 2.03 4/82 12833
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=8608 CPUtime=0.18
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 2011 659 0 0 18 0 0 0 18 0 1 0 59100380 8814592 1359 996147200 134512640 135215973 4294956304 18446744073709551615 134907102 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 2152 1359 388 171 0 1077 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8608

[startup+0.301555 s]
/proc/loadavg: 2.34 2.12 2.03 4/82 12833
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=10968 CPUtime=0.27
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 2725 659 0 0 26 1 0 0 19 0 1 0 59100380 11231232 1818 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 2742 1818 388 171 0 1667 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10968

[startup+0.401565 s]
/proc/loadavg: 2.34 2.12 2.03 4/82 12833
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=12776 CPUtime=0.37
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 3339 659 0 0 36 1 0 0 20 0 1 0 59100380 13082624 2238 996147200 134512640 135215973 4294956304 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 3194 2238 388 171 0 2119 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 12776

[startup+0.701596 s]
/proc/loadavg: 2.34 2.12 2.03 4/82 12833
/proc/meminfo: memFree=831888/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=20324 CPUtime=0.67
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 5769 659 0 0 65 2 0 0 23 0 1 0 59100380 20811776 3675 996147200 134512640 135215973 4294956304 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 5081 3675 388 171 0 4006 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20324

[startup+1.50167 s]
/proc/loadavg: 2.31 2.11 2.03 3/83 12838
/proc/meminfo: memFree=809864/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=44524 CPUtime=1.47
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 14152 659 0 0 141 6 0 0 25 0 1 0 59100380 45592576 9206 996147200 134512640 135215973 4294956304 18446744073709551615 134908154 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 11131 9206 404 171 0 10056 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44524

[startup+3.10183 s]
/proc/loadavg: 2.31 2.11 2.03 3/83 12838
/proc/meminfo: memFree=779720/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=88256 CPUtime=3.06
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 28411 659 0 0 294 12 0 0 25 0 1 0 59100380 90374144 16907 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22064 16907 404 171 0 20989 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 88256

[startup+6.30114 s]
/proc/loadavg: 2.31 2.11 2.03 3/83 12838
/proc/meminfo: memFree=763280/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=88256 CPUtime=6.25
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 33533 659 0 0 611 14 0 0 25 0 1 0 59100380 90374144 17406 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22064 17406 408 171 0 20989 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 88256

[startup+12.7018 s]
/proc/loadavg: 2.26 2.11 2.03 3/83 12838
/proc/meminfo: memFree=759824/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=88384 CPUtime=12.61
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 45089 659 0 0 1241 20 0 0 25 0 1 0 59100380 90505216 18267 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22096 18267 408 171 0 21021 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 88384

[startup+25.506 s]
/proc/loadavg: 2.22 2.11 2.03 3/83 12838
/proc/meminfo: memFree=756048/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=88648 CPUtime=25.35
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 53617 659 0 0 2511 24 0 0 25 0 1 0 59100380 90775552 19205 996147200 134512640 135215973 4294956304 18446744073709551615 134589845 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22162 19205 408 171 0 21087 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 88648

[startup+51.1015 s]
/proc/loadavg: 2.22 2.11 2.03 4/83 12838
/proc/meminfo: memFree=702416/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=89036 CPUtime=50.83
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 74887 659 0 0 5050 33 0 0 25 0 1 0 59100380 91172864 19637 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22259 19637 408 171 0 21184 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 89036

[startup+102.302 s]
/proc/loadavg: 2.45 2.20 2.06 4/83 12844
/proc/meminfo: memFree=697992/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=90588 CPUtime=101.77
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 110542 659 0 0 10129 48 0 0 25 0 1 0 59100380 92762112 20004 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 22647 20004 408 171 0 21572 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 90588

[startup+162.301 s]
/proc/loadavg: 2.55 2.27 2.09 3/83 12844
/proc/meminfo: memFree=694024/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=93308 CPUtime=161.47
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 175205 659 0 0 16072 75 0 0 25 0 1 0 59100380 95547392 20644 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 23327 20644 408 171 0 22252 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 93308

[startup+222.301 s]
/proc/loadavg: 2.62 2.34 2.12 4/83 12844
/proc/meminfo: memFree=682120/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=96064 CPUtime=221.18
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 213651 659 0 0 22026 92 0 0 25 0 1 0 59100380 98369536 21692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 1 0 0
/proc/12833/statm: 24016 21692 408 171 0 22941 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 96064

[startup+282.301 s]
/proc/loadavg: 2.45 2.35 2.14 3/73 12876
/proc/meminfo: memFree=1380384/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=97632 CPUtime=280.9
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 254660 659 0 0 27980 110 0 0 25 0 1 0 59100380 99975168 22129 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 24408 22129 408 171 0 23333 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 97632

[startup+342.306 s]
/proc/loadavg: 2.16 2.28 2.13 3/73 12949
/proc/meminfo: memFree=1353376/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=100472 CPUtime=340.57
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 290838 659 0 0 33933 124 0 0 25 0 1 0 59100380 102883328 22653 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 25118 22653 408 171 0 24043 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 100472

[startup+402.302 s]
/proc/loadavg: 2.17 2.27 2.13 3/82 12988
/proc/meminfo: memFree=1372960/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=101364 CPUtime=400.33
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 337216 659 0 0 39889 144 0 0 25 0 1 0 59100380 103796736 22939 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 25341 22939 408 171 0 24266 0
Current children cumulated CPU time (s) 400.33
Current children cumulated vsize (KiB) 101364

[startup+462.302 s]
/proc/loadavg: 2.06 2.22 2.12 3/82 12988
/proc/meminfo: memFree=1359392/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=103712 CPUtime=460.08
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 368353 659 0 0 45850 158 0 0 25 0 1 0 59100380 106201088 23578 996147200 134512640 135215973 4294956304 18446744073709551615 134957942 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 25928 23578 408 171 0 24853 0
Current children cumulated CPU time (s) 460.08
Current children cumulated vsize (KiB) 103712

[startup+522.302 s]
/proc/loadavg: 2.02 2.18 2.11 3/82 12988
/proc/meminfo: memFree=1349600/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=105128 CPUtime=519.85
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 388018 659 0 0 51819 166 0 0 25 0 1 0 59100380 107651072 23992 996147200 134512640 135215973 4294956304 18446744073709551615 134532900 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 26282 23992 408 171 0 25207 0
Current children cumulated CPU time (s) 519.85
Current children cumulated vsize (KiB) 105128

[startup+582.302 s]
/proc/loadavg: 2.07 2.16 2.10 4/83 12989
/proc/meminfo: memFree=1319320/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=108472 CPUtime=579.6
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 403692 659 0 0 57787 173 0 0 25 0 1 0 59100380 111075328 24387 996147200 134512640 135215973 4294956304 18446744073709551615 135097923 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 27118 24387 408 171 0 26043 0
Current children cumulated CPU time (s) 579.6
Current children cumulated vsize (KiB) 108472

[startup+642.302 s]
/proc/loadavg: 2.06 2.14 2.10 3/83 12990
/proc/meminfo: memFree=1064976/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=112264 CPUtime=639.36
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 444304 659 0 0 63750 186 0 0 25 0 1 0 59100380 114958336 25393 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 28066 25393 408 171 0 26991 0
Current children cumulated CPU time (s) 639.36
Current children cumulated vsize (KiB) 112264

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 12990
/proc/meminfo: memFree=1032080/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=164768 CPUtime=878.4
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 656603 659 0 0 87560 280 0 0 25 0 1 0 59100380 168722432 32660 996147200 134512640 135215973 4294956304 18446744073709551615 134583533 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 41192 32660 408 171 0 40117 0
Current children cumulated CPU time (s) 878.4
Current children cumulated vsize (KiB) 164768

[startup+942.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 12990
/proc/meminfo: memFree=1028944/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=166060 CPUtime=938.15
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 684348 659 0 0 93524 291 0 0 25 0 1 0 59100380 170045440 33426 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 41515 33426 408 171 0 40440 0
Current children cumulated CPU time (s) 938.15
Current children cumulated vsize (KiB) 166060

[startup+1002.31 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 12990
/proc/meminfo: memFree=1024976/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=167364 CPUtime=997.92
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 743143 659 0 0 99475 317 0 0 25 0 1 0 59100380 171380736 34399 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 41841 34399 408 171 0 40766 0
Current children cumulated CPU time (s) 997.92
Current children cumulated vsize (KiB) 167364

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 12990
/proc/meminfo: memFree=1023120/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=172876 CPUtime=1057.67
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 812715 659 0 0 105418 349 0 0 25 0 1 0 59100380 177025024 34843 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 43219 34843 408 171 0 42144 0
Current children cumulated CPU time (s) 1057.67
Current children cumulated vsize (KiB) 172876

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 12990
/proc/meminfo: memFree=1021520/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=174220 CPUtime=1117.43
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 893708 659 0 0 111357 386 0 0 25 0 1 0 59100380 178401280 35244 996147200 134512640 135215973 4294956304 18446744073709551615 134958582 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 43555 35244 408 171 0 42480 0
Current children cumulated CPU time (s) 1117.43
Current children cumulated vsize (KiB) 174220

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 12990
/proc/meminfo: memFree=1019792/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=175644 CPUtime=1177.2
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 996396 659 0 0 117290 430 0 0 25 0 1 0 59100380 179859456 35674 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 43911 35674 408 171 0 42836 0
Current children cumulated CPU time (s) 1177.2
Current children cumulated vsize (KiB) 175644

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 12990
/proc/meminfo: memFree=1018128/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=176960 CPUtime=1236.95
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1055314 659 0 0 123240 455 0 0 25 0 1 0 59100380 181207040 36080 996147200 134512640 135215973 4294956304 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 44240 36080 408 171 0 43165 0
Current children cumulated CPU time (s) 1236.95
Current children cumulated vsize (KiB) 176960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 12990
/proc/meminfo: memFree=1016976/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=177984 CPUtime=1296.71
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1086869 659 0 0 129201 470 0 0 25 0 1 0 59100380 182255616 36378 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 44496 36378 408 171 0 43421 0
Current children cumulated CPU time (s) 1296.71
Current children cumulated vsize (KiB) 177984

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 12990
/proc/meminfo: memFree=1015632/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=179120 CPUtime=1356.47
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1139246 659 0 0 135154 493 0 0 25 0 1 0 59100380 183418880 36729 996147200 134512640 135215973 4294956304 18446744073709551615 134610629 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 44780 36729 408 171 0 43705 0
Current children cumulated CPU time (s) 1356.47
Current children cumulated vsize (KiB) 179120

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 12990
/proc/meminfo: memFree=1014352/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=180152 CPUtime=1416.23
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1183382 659 0 0 141112 511 0 0 25 0 1 0 59100380 184475648 37050 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 45038 37050 408 171 0 43963 0
Current children cumulated CPU time (s) 1416.23
Current children cumulated vsize (KiB) 180152

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 12990
/proc/meminfo: memFree=1012816/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=181424 CPUtime=1475.98
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1222106 659 0 0 147070 528 0 0 25 0 1 0 59100380 185778176 37410 996147200 134512640 135215973 4294956304 18446744073709551615 134609915 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 45356 37410 408 171 0 44281 0
Current children cumulated CPU time (s) 1475.98
Current children cumulated vsize (KiB) 181424

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 12990
/proc/meminfo: memFree=1011216/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=182692 CPUtime=1535.75
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1268939 659 0 0 153027 548 0 0 25 0 1 0 59100380 187076608 37806 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 45673 37806 408 171 0 44598 0
Current children cumulated CPU time (s) 1535.75
Current children cumulated vsize (KiB) 182692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=1009552/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=184000 CPUtime=1595.51
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1309838 659 0 0 158986 565 0 0 25 0 1 0 59100380 188416000 38202 996147200 134512640 135215973 4294956304 18446744073709551615 134647972 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 46000 38202 408 171 0 44925 0
Current children cumulated CPU time (s) 1595.51
Current children cumulated vsize (KiB) 184000

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=1007248/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=185680 CPUtime=1655.25
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1352550 659 0 0 164942 583 0 0 25 0 1 0 59100380 190136320 38755 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 46420 38755 408 171 0 45345 0
Current children cumulated CPU time (s) 1655.25
Current children cumulated vsize (KiB) 185680

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=1004176/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=188412 CPUtime=1715.02
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1426256 659 0 0 170885 617 0 0 25 0 1 0 59100380 192933888 39528 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 47103 39528 408 171 0 46028 0
Current children cumulated CPU time (s) 1715.02
Current children cumulated vsize (KiB) 188412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=1000016/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=192068 CPUtime=1774.77
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1507747 659 0 0 176826 651 0 0 25 0 1 0 59100380 196677632 40565 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 48017 40565 408 171 0 46942 0
Current children cumulated CPU time (s) 1774.77
Current children cumulated vsize (KiB) 192068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=998928/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=192984 CPUtime=1800.06
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1527879 659 0 0 179347 659 0 0 25 0 1 0 59100380 197615616 40825 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 48246 40825 408 171 0 47171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 192984

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

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

[startup+1807.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12990
/proc/meminfo: memFree=998928/2055920 swapFree=4192812/4192956
[pid=12833] ppid=12831 vsize=192984 CPUtime=1800.06
/proc/12833/stat : 12833 (pcs.big) R 12831 12833 10722 0 -1 4194304 1527879 659 0 0 179347 659 0 0 25 0 1 0 59100380 197615616 40825 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/12833/statm: 48246 40825 408 171 0 47171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 192984

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.73
CPU time (s): 1800.11
CPU user time (s): 1793.48
CPU system time (s): 6.62799
CPU usage (%): 99.5782
Max. virtual memory (cumulated for all children) (KiB): 192984

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

runsolver used 1.66275 second user time and 4.96524 second system time

The end

Launcher Data 

Begin job on node60 at 2009-07-16 06:59:33
IDJOB=2081747
IDBENCH=57483
IDSOLVER=734
FILE ID=node60/2081747-1247720373
PBS_JOBID= 9521351
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= 2dc1ef2385520df4e5d6471c36d68b37
RANDOM SEED=1581120270

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        832368 kB
Buffers:         77692 kB
Cached:         370088 kB
SwapCached:          0 kB
Active:         767032 kB
Inactive:       371536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        832368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3344 kB
Writeback:           0 kB
Mapped:         711208 kB
Slab:            68700 kB
Committed_AS:  1326056 kB
PageTables:       3248 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= 66420 MiB
End job on node60 at 2009-07-16 07:29:43