Trace number 2068844

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.16 1817.56

General information on the benchmark

Namecsp/tdsp/
normalized-C7-1-240.xml
MD5SUMd28497c4d2e2b68c6bf6783191da2ccc
Bench CategoryN-ARY-INT (n-ary 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 variables590
Number of constraints19502
Maximum constraint arity6
Maximum domain size241
Number of constraints which are defined in extension0
Number of constraints which are defined in intension19502
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c has big domains
0.00/0.04	c big-domain mode
0.00/0.08	c Seed is 650280611
0.00/0.08	c Constructing HOME/instance-2068844-1247707320.xml  with 517538 constraints
5.41/5.55	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-2068844-1247707320/watcher-2068844-1247707320 -o /tmp/evaluation-result-2068844-1247707320/solver-2068844-1247707320 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 650280611 HOME/instance-2068844-1247707320.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.20 2.13 2.05 4/73 20166
/proc/meminfo: memFree=760984/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=18576 CPUtime=0
/proc/20166/stat : 20166 (runsolver) R 20164 20166 16272 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57796568 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 255372881191 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20166/statm: 4644 284 249 26 0 2626 0

[startup+0.01928 s]
/proc/loadavg: 2.20 2.13 2.05 4/73 20166
/proc/meminfo: memFree=760984/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=5356 CPUtime=0
/proc/20166/stat : 20166 (pcssolve) S 20164 20166 16272 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 57796568 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20166/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10129 s]
/proc/loadavg: 2.20 2.13 2.05 4/73 20166
/proc/meminfo: memFree=760984/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=5996 CPUtime=0.05
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1180 657 0 0 5 0 0 0 18 0 1 0 57796568 6139904 778 996147200 134512640 135215973 4294956304 18446744073709551615 4160172288 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 1499 778 389 171 0 424 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5996

[startup+0.301318 s]
/proc/loadavg: 2.20 2.13 2.05 4/73 20166
/proc/meminfo: memFree=760984/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=13480 CPUtime=0.26
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 3497 657 0 0 24 2 0 0 19 0 1 0 57796568 13803520 2260 996147200 134512640 135215973 4294956304 18446744073709551615 134591520 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 3370 2260 389 171 0 2295 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13480

[startup+0.701356 s]
/proc/loadavg: 2.20 2.13 2.05 4/73 20166
/proc/meminfo: memFree=760984/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=24264 CPUtime=0.65
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 7265 657 0 0 61 4 0 0 23 0 1 0 57796568 24846336 4950 996147200 134512640 135215973 4294956304 18446744073709551615 10157762 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 6066 4950 389 171 0 4991 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 24264

[startup+1.50144 s]
/proc/loadavg: 2.20 2.13 2.05 3/74 20171
/proc/meminfo: memFree=733264/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=50928 CPUtime=1.44
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 15946 657 0 0 135 9 0 0 25 0 1 0 57796568 52150272 10398 996147200 134512640 135215973 4294956304 18446744073709551615 134738369 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 12732 10398 389 171 0 11657 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 50928

[startup+3.10161 s]
/proc/loadavg: 2.18 2.13 2.05 3/74 20171
/proc/meminfo: memFree=702160/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=99804 CPUtime=3.02
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 32284 657 0 0 284 18 0 0 25 0 1 0 57796568 102199296 21074 996147200 134512640 135215973 4294956304 18446744073709551615 10151842 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 24951 21074 389 171 0 23876 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 99804

[startup+6.30195 s]
/proc/loadavg: 2.18 2.13 2.05 3/74 20171
/proc/meminfo: memFree=611216/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=218048 CPUtime=6.2
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 75004 657 0 0 584 36 0 0 25 0 1 0 57796568 223281152 52334 996147200 134512640 135215973 4294956304 18446744073709551615 134961632 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 54512 52334 405 171 0 53437 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 218048

[startup+12.7016 s]
/proc/loadavg: 2.16 2.12 2.05 3/74 20171
/proc/meminfo: memFree=482000/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=284840 CPUtime=12.54
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 98666 657 0 0 1208 46 0 0 25 0 1 0 57796568 291676160 68100 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 71210 68100 409 171 0 70135 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 284840

[startup+25.502 s]
/proc/loadavg: 2.13 2.12 2.05 3/74 20171
/proc/meminfo: memFree=467472/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=285348 CPUtime=25.22
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 117425 657 0 0 2469 53 0 0 25 0 1 0 57796568 292196352 69100 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 71337 69100 410 171 0 70262 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 285348

[startup+51.1017 s]
/proc/loadavg: 2.08 2.11 2.04 3/74 20171
/proc/meminfo: memFree=400720/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=326856 CPUtime=50.58
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 180610 657 0 0 4979 79 0 0 25 0 1 0 57796568 334700544 73177 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 81714 73177 410 171 0 80639 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 326856

[startup+102.307 s]
/proc/loadavg: 2.03 2.09 2.04 3/74 20171
/proc/meminfo: memFree=350352/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=327236 CPUtime=101.3
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 363657 657 0 0 9981 149 0 0 25 0 1 0 57796568 335089664 73265 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 81809 73265 410 171 0 80734 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 327236

[startup+162.301 s]
/proc/loadavg: 2.01 2.07 2.03 3/74 20171
/proc/meminfo: memFree=262800/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=327708 CPUtime=160.74
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 722114 657 0 0 15790 284 0 0 25 0 1 0 57796568 335572992 73651 996147200 134512640 135215973 4294956304 18446744073709551615 134589275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 81927 73651 410 171 0 80852 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 327708

[startup+222.302 s]
/proc/loadavg: 2.00 2.05 2.03 3/74 20171
/proc/meminfo: memFree=179344/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=328600 CPUtime=220.18
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1122931 657 0 0 21582 436 0 0 25 0 1 0 57796568 336486400 73858 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 82150 73858 410 171 0 81075 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 328600

[startup+282.302 s]
/proc/loadavg: 2.11 2.07 2.03 4/84 20212
/proc/meminfo: memFree=315848/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=329088 CPUtime=279.52
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1327079 657 0 0 27435 517 0 0 25 0 1 0 57796568 336986112 73984 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 82272 73984 410 171 0 81197 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 329088

[startup+342.301 s]
/proc/loadavg: 2.06 2.07 2.03 3/84 20212
/proc/meminfo: memFree=295176/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=329340 CPUtime=338.96
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1447731 657 0 0 33323 573 0 0 25 0 1 0 57796568 337244160 74040 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 82335 74040 410 171 0 81260 0
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (KiB) 329340

[startup+402.301 s]
/proc/loadavg: 2.31 2.12 2.05 4/84 20212
/proc/meminfo: memFree=290120/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=329844 CPUtime=398.37
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1657998 657 0 0 39173 664 0 0 25 0 1 0 57796568 337760256 74916 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 82461 74916 410 171 0 81386 0
Current children cumulated CPU time (s) 398.37
Current children cumulated vsize (KiB) 329844

[startup+462.302 s]
/proc/loadavg: 2.13 2.11 2.05 4/84 20212
/proc/meminfo: memFree=290824/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=330480 CPUtime=457.8
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 1923312 657 0 0 45003 777 0 0 25 0 1 0 57796568 338411520 75084 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 82620 75084 410 171 0 81545 0
Current children cumulated CPU time (s) 457.8
Current children cumulated vsize (KiB) 330480

[startup+522.302 s]
/proc/loadavg: 2.17 2.13 2.06 3/84 20212
/proc/meminfo: memFree=288264/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=332124 CPUtime=517.23
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 2765050 657 0 0 50575 1148 0 0 25 0 1 0 57796568 340094976 75508 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 83031 75508 410 171 0 81956 0
Current children cumulated CPU time (s) 517.23
Current children cumulated vsize (KiB) 332124

[startup+582.301 s]
/proc/loadavg: 2.32 2.18 2.08 4/84 20212
/proc/meminfo: memFree=280336/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=357216 CPUtime=576.66
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 2905551 657 0 0 56452 1214 0 0 25 0 1 0 57796568 365789184 77687 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 89304 77687 410 171 0 88229 0
Current children cumulated CPU time (s) 576.66
Current children cumulated vsize (KiB) 357216

[startup+642.301 s]
/proc/loadavg: 2.27 2.18 2.08 5/84 20212
/proc/meminfo: memFree=280336/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=357216 CPUtime=636.09
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 2905559 657 0 0 62395 1214 0 0 25 0 1 0 57796568 365789184 77695 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 89304 77695 410 171 0 88229 0
Current children cumulated CPU time (s) 636.09
Current children cumulated vsize (KiB) 357216

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.09 2.16 2.09 3/84 20212
/proc/meminfo: memFree=278608/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=358692 CPUtime=873.8
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 3636601 657 0 0 85816 1564 0 0 25 0 1 0 57796568 367300608 78075 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 89673 78075 410 171 0 88598 0
Current children cumulated CPU time (s) 873.8
Current children cumulated vsize (KiB) 358692

[startup+942.302 s]
/proc/loadavg: 2.31 2.21 2.11 3/84 20212
/proc/meminfo: memFree=276624/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=360576 CPUtime=933.22
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 4154158 657 0 0 91510 1812 0 0 25 0 1 0 57796568 369229824 78556 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 90144 78556 410 171 0 89069 0
Current children cumulated CPU time (s) 933.22
Current children cumulated vsize (KiB) 360576

[startup+1002.3 s]
/proc/loadavg: 2.23 2.20 2.10 5/84 20212
/proc/meminfo: memFree=274576/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=362564 CPUtime=992.65
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 4646141 657 0 0 97218 2047 0 0 25 0 1 0 57796568 371265536 79069 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 90641 79069 410 171 0 89566 0
Current children cumulated CPU time (s) 992.65
Current children cumulated vsize (KiB) 362564

[startup+1062.3 s]
/proc/loadavg: 2.16 2.19 2.10 3/84 20212
/proc/meminfo: memFree=273424/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=363564 CPUtime=1052.07
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 4897930 657 0 0 103039 2168 0 0 25 0 1 0 57796568 372289536 79341 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 90891 79341 410 171 0 89816 0
Current children cumulated CPU time (s) 1052.07
Current children cumulated vsize (KiB) 363564

[startup+1122.3 s]
/proc/loadavg: 2.25 2.22 2.12 3/84 20212
/proc/meminfo: memFree=272528/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=364356 CPUtime=1111.5
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 4977431 657 0 0 108946 2204 0 0 25 0 1 0 57796568 373100544 79546 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 91089 79546 410 171 0 90014 0
Current children cumulated CPU time (s) 1111.5
Current children cumulated vsize (KiB) 364356

[startup+1182.3 s]
/proc/loadavg: 2.38 2.25 2.13 3/84 20212
/proc/meminfo: memFree=272208/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=364736 CPUtime=1170.93
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 5117511 657 0 0 114823 2270 0 0 25 0 1 0 57796568 373489664 79619 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 91184 79619 410 171 0 90109 0
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (KiB) 364736

[startup+1242.3 s]
/proc/loadavg: 2.34 2.24 2.13 4/84 20212
/proc/meminfo: memFree=271824/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=364984 CPUtime=1230.36
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 5288163 657 0 0 120686 2350 0 0 25 0 1 0 57796568 373743616 79702 996147200 134512640 135215973 4294956304 18446744073709551615 134960343 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 91246 79702 410 171 0 90171 0
Current children cumulated CPU time (s) 1230.36
Current children cumulated vsize (KiB) 364984

[startup+1302.3 s]
/proc/loadavg: 2.16 2.21 2.13 3/84 20212
/proc/meminfo: memFree=271120/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=365624 CPUtime=1289.79
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 5529931 657 0 0 126513 2466 0 0 25 0 1 0 57796568 374398976 79865 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 91406 79865 410 171 0 90331 0
Current children cumulated CPU time (s) 1289.79
Current children cumulated vsize (KiB) 365624

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.14 4/84 20212
/proc/meminfo: memFree=270288/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=366664 CPUtime=1349.21
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 5800698 657 0 0 132327 2594 0 0 25 0 1 0 57796568 375463936 80117 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 91666 80117 410 171 0 90591 0
Current children cumulated CPU time (s) 1349.21
Current children cumulated vsize (KiB) 366664

[startup+1422.31 s]
/proc/loadavg: 2.25 2.22 2.14 4/84 20212
/proc/meminfo: memFree=268624/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=368316 CPUtime=1408.65
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 6097230 657 0 0 138131 2734 0 0 25 0 1 0 57796568 377155584 80528 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 92079 80528 410 171 0 91004 0
Current children cumulated CPU time (s) 1408.65
Current children cumulated vsize (KiB) 368316

[startup+1482.3 s]
/proc/loadavg: 2.19 2.22 2.14 4/84 20212
/proc/meminfo: memFree=266384/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=370408 CPUtime=1468.07
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 6326997 657 0 0 143964 2843 0 0 25 0 1 0 57796568 379297792 81080 996147200 134512640 135215973 4294956304 18446744073709551615 134902674 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 92602 81080 410 171 0 91527 0
Current children cumulated CPU time (s) 1468.07
Current children cumulated vsize (KiB) 370408

[startup+1542.3 s]
/proc/loadavg: 2.12 2.19 2.13 3/84 20212
/proc/meminfo: memFree=264080/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=372504 CPUtime=1527.49
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 6541463 657 0 0 149809 2940 0 0 25 0 1 0 57796568 381444096 81612 996147200 134512640 135215973 4294956304 18446744073709551615 135097662 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 93126 81612 410 171 0 92051 0
Current children cumulated CPU time (s) 1527.49
Current children cumulated vsize (KiB) 372504

[startup+1602.3 s]
/proc/loadavg: 2.12 2.17 2.13 4/84 20212
/proc/meminfo: memFree=263696/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=372888 CPUtime=1586.93
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 6730303 657 0 0 155667 3026 0 0 25 0 1 0 57796568 381837312 81711 996147200 134512640 135215973 4294956304 18446744073709551615 134589275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 93222 81711 410 171 0 92147 0
Current children cumulated CPU time (s) 1586.93
Current children cumulated vsize (KiB) 372888

[startup+1662.3 s]
/proc/loadavg: 2.07 2.15 2.12 3/84 20212
/proc/meminfo: memFree=261328/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=375236 CPUtime=1646.35
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 6996021 657 0 0 161490 3145 0 0 25 0 1 0 57796568 384241664 82283 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 93809 82283 410 171 0 92734 0
Current children cumulated CPU time (s) 1646.35
Current children cumulated vsize (KiB) 375236

[startup+1722.3 s]
/proc/loadavg: 2.29 2.20 2.14 3/84 20212
/proc/meminfo: memFree=260496/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=375996 CPUtime=1705.79
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 7311755 657 0 0 167296 3283 0 0 25 0 1 0 57796568 385019904 82485 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 93999 82485 410 171 0 92924 0
Current children cumulated CPU time (s) 1705.79
Current children cumulated vsize (KiB) 375996

[startup+1782.3 s]
/proc/loadavg: 2.24 2.19 2.14 4/84 20214
/proc/meminfo: memFree=259536/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=376760 CPUtime=1765.22
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 7630785 657 0 0 173094 3428 0 0 25 0 1 0 57796568 385802240 82679 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 94190 82679 410 171 0 93115 0
Current children cumulated CPU time (s) 1765.22
Current children cumulated vsize (KiB) 376760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.5 s]
/proc/loadavg: 2.24 2.20 2.14 3/84 20214
/proc/meminfo: memFree=259280/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=377016 CPUtime=1800.08
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 7770040 657 0 0 176516 3492 0 0 25 0 1 0 57796568 386064384 82753 996147200 134512640 135215973 4294956304 18446744073709551615 134583198 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 94254 82753 410 171 0 93179 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 377016

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

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

[startup+1817.5 s]
/proc/loadavg: 2.24 2.20 2.14 3/84 20214
/proc/meminfo: memFree=259280/2055912 swapFree=4192812/4192956
[pid=20166] ppid=20164 vsize=377016 CPUtime=1800.08
/proc/20166/stat : 20166 (pcs.big) R 20164 20166 16272 0 -1 4194304 7770040 657 0 0 176516 3492 0 0 25 0 1 0 57796568 386064384 82753 996147200 134512640 135215973 4294956304 18446744073709551615 134583198 0 0 4096 0 0 0 0 17 1 0 0
/proc/20166/statm: 94254 82753 410 171 0 93179 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 377016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.56
CPU time (s): 1800.16
CPU user time (s): 1765.18
CPU system time (s): 34.9847
CPU usage (%): 99.0426
Max. virtual memory (cumulated for all children) (KiB): 378668

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

runsolver used 2.16067 second user time and 6.11207 second system time

The end

Launcher Data 

Begin job on node78 at 2009-07-16 03:22:00
IDJOB=2068844
IDBENCH=54942
IDSOLVER=734
FILE ID=node78/2068844-1247707320
PBS_JOBID= 9521161
Free space on /tmp= 126764 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tdsp/normalized-C7-1-240.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068844-1247707320/watcher-2068844-1247707320 -o /tmp/evaluation-result-2068844-1247707320/solver-2068844-1247707320 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 650280611 HOME/instance-2068844-1247707320.xml

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

MD5SUM BENCH= d28497c4d2e2b68c6bf6783191da2ccc
RANDOM SEED=650280611

node78.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:      2055912 kB
MemFree:        761464 kB
Buffers:         80024 kB
Cached:         541836 kB
SwapCached:          0 kB
Active:         714896 kB
Inactive:       507824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:        761464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4988 kB
Writeback:           0 kB
Mapped:         612456 kB
Slab:            55692 kB
Committed_AS:  1187456 kB
PageTables:       3008 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= 126764 MiB
End job on node78 at 2009-07-16 03:52:20