Trace number 2086784

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 0.3.2? (TO) 1800.06 1802.45

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-100-0.xml
MD5SUM694094fc9258bd0927570f73a0c21c65
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 variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1663
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.01	c Seed is 1258419736
0.00/0.01	c Constructing HOME/instance-2086784-1247726791.xml  with 27360 constraints
0.38/0.42	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-2086784-1247726791/watcher-2086784-1247726791 -o /tmp/evaluation-result-2086784-1247726791/solver-2086784-1247726791 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1258419736 HOME/instance-2086784-1247726791.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.14 2.04 4/81 15526
/proc/meminfo: memFree=1529168/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=1964 CPUtime=0
/proc/15526/stat : 15526 (pcssolve) R 15524 15526 15489 0 -1 4194304 49 0 0 0 0 0 0 0 20 0 1 0 59743520 2011136 34 996147200 4194304 4889804 548682068800 18446744073709551615 231880062345 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 491 34 26 169 0 8 0

[startup+0.00947596 s]
/proc/loadavg: 2.00 2.14 2.04 4/81 15526
/proc/meminfo: memFree=1529168/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=5356 CPUtime=0
/proc/15526/stat : 15526 (pcssolve) S 15524 15526 15489 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59743520 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15526/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102228 s]
/proc/loadavg: 2.00 2.14 2.04 4/81 15526
/proc/meminfo: memFree=1529168/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=6520 CPUtime=0.09
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 1319 663 0 0 8 1 0 0 24 0 1 0 59743520 6676480 876 996147200 134512640 135215973 4294956304 18446744073709551615 6851700 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 1630 876 388 171 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6520

[startup+0.302257 s]
/proc/loadavg: 2.00 2.14 2.04 4/81 15526
/proc/meminfo: memFree=1529168/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=12056 CPUtime=0.28
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 3009 663 0 0 27 1 0 0 25 0 1 0 59743520 12345344 1908 996147200 134512640 135215973 4294956304 18446744073709551615 7165252 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 3014 1908 388 171 0 1939 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12056

[startup+0.702297 s]
/proc/loadavg: 2.00 2.14 2.04 4/81 15526
/proc/meminfo: memFree=1529168/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=22992 CPUtime=0.68
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 6687 663 0 0 65 3 0 0 25 0 1 0 59743520 23543808 4557 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 5748 4557 404 171 0 4673 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22992

[startup+1.5024 s]
/proc/loadavg: 2.00 2.14 2.04 3/82 15531
/proc/meminfo: memFree=1507848/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=38540 CPUtime=1.48
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 11882 663 0 0 143 5 0 0 25 0 1 0 59743520 39464960 7254 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 9635 7254 408 171 0 8560 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38540

[startup+3.10158 s]
/proc/loadavg: 2.00 2.14 2.04 3/82 15531
/proc/meminfo: memFree=1500552/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=38672 CPUtime=3.07
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 12193 663 0 0 302 5 0 0 25 0 1 0 59743520 39600128 7565 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 9668 7565 408 171 0 8593 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 38672

[startup+6.30196 s]
/proc/loadavg: 2.00 2.14 2.04 3/82 15531
/proc/meminfo: memFree=1499792/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=38768 CPUtime=6.26
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 12248 663 0 0 621 5 0 0 25 0 1 0 59743520 39698432 7620 996147200 134512640 135215973 4294956304 18446744073709551615 134908206 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 9692 7620 408 171 0 8617 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38768

[startup+12.7017 s]
/proc/loadavg: 2.00 2.13 2.04 3/82 15531
/proc/meminfo: memFree=1499224/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=39404 CPUtime=12.62
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 12415 663 0 0 1257 5 0 0 25 0 1 0 59743520 40349696 7754 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 9851 7754 408 171 0 8776 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 39404

[startup+25.5012 s]
/proc/loadavg: 2.00 2.13 2.04 3/82 15531
/proc/meminfo: memFree=1498328/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=40496 CPUtime=25.38
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 12729 663 0 0 2532 6 0 0 25 0 1 0 59743520 41467904 8003 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 10124 8003 408 171 0 9049 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 40496

[startup+51.1012 s]
/proc/loadavg: 2.00 2.12 2.04 3/82 15531
/proc/meminfo: memFree=1496728/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=42320 CPUtime=50.87
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 13273 663 0 0 5081 6 0 0 25 0 1 0 59743520 43335680 8418 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 10580 8418 408 171 0 9505 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 42320

[startup+102.306 s]
/proc/loadavg: 2.00 2.10 2.03 3/82 15531
/proc/meminfo: memFree=1489944/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=49240 CPUtime=101.85
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 15190 663 0 0 10177 8 0 0 25 0 1 0 59743520 50421760 10078 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 12310 10078 408 171 0 11235 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 49240

[startup+162.301 s]
/proc/loadavg: 2.00 2.08 2.03 3/82 15531
/proc/meminfo: memFree=1482904/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=57052 CPUtime=161.6
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 17483 663 0 0 16151 9 0 0 25 0 1 0 59743520 58421248 11858 996147200 134512640 135215973 4294956304 18446744073709551615 4158960255 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 14263 11858 408 171 0 13188 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 57052

[startup+222.302 s]
/proc/loadavg: 2.00 2.06 2.02 3/82 15531
/proc/meminfo: memFree=1473560/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=65220 CPUtime=221.35
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 19787 663 0 0 22124 11 0 0 25 0 1 0 59743520 66785280 14162 996147200 134512640 135215973 4294956304 18446744073709551615 4158960084 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 16305 14162 408 171 0 15230 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 65220

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/82 15531
/proc/meminfo: memFree=1465304/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=72784 CPUtime=281.1
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 22048 663 0 0 28097 13 0 0 25 0 1 0 59743520 74530816 16423 996147200 134512640 135215973 4294956304 18446744073709551615 134533175 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 18196 16423 408 171 0 17121 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 72784

[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 15533
/proc/meminfo: memFree=1456280/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=84384 CPUtime=340.84
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 25359 663 0 0 34070 14 0 0 25 0 1 0 59743520 86409216 18452 996147200 134512640 135215973 4294956304 18446744073709551615 134599831 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 21096 18452 408 171 0 20021 0
Current children cumulated CPU time (s) 340.84
Current children cumulated vsize (KiB) 84384

[startup+402.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 15533
/proc/meminfo: memFree=1450008/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=90152 CPUtime=400.59
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 26998 663 0 0 40043 16 0 0 25 0 1 0 59743520 92315648 20091 996147200 134512640 135215973 4294956304 18446744073709551615 134581308 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 22538 20091 408 171 0 21463 0
Current children cumulated CPU time (s) 400.59
Current children cumulated vsize (KiB) 90152

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15533
/proc/meminfo: memFree=1441752/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=97312 CPUtime=460.34
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 29019 663 0 0 46016 18 0 0 25 0 1 0 59743520 99647488 22112 996147200 134512640 135215973 4294956304 18446744073709551615 134612194 0 0 4096 0 0 0 0 17 0 0 0
/proc/15526/statm: 24328 22112 408 171 0 23253 0
Current children cumulated CPU time (s) 460.34
Current children cumulated vsize (KiB) 97312

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15567
/proc/meminfo: memFree=1385832/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=105180 CPUtime=520.28
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 31231 663 0 0 52008 20 0 0 25 0 1 0 59743520 107704320 24324 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 26295 24324 408 171 0 25220 0
Current children cumulated CPU time (s) 520.28
Current children cumulated vsize (KiB) 105180

[startup+582.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15567
/proc/meminfo: memFree=1378856/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=110528 CPUtime=580.26
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 32759 663 0 0 58005 21 0 0 25 0 1 0 59743520 113180672 25852 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 27632 25852 408 171 0 26557 0
Current children cumulated CPU time (s) 580.26
Current children cumulated vsize (KiB) 110528

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1368040/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=117820 CPUtime=640.24
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 34775 663 0 0 64002 22 0 0 25 0 1 0 59743520 120647680 27868 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 29455 27868 408 171 0 28380 0
Current children cumulated CPU time (s) 640.24
Current children cumulated vsize (KiB) 117820

[startup+702.303 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15567
/proc/meminfo: memFree=1339432/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=146672 CPUtime=820.18
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 42576 663 0 0 81991 27 0 0 25 0 1 0 59743520 150192128 33620 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 36668 33620 408 171 0 35593 0
Current children cumulated CPU time (s) 820.18
Current children cumulated vsize (KiB) 146672

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15573
/proc/meminfo: memFree=1331560/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=153512 CPUtime=880.16
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 44450 663 0 0 87987 29 0 0 25 0 1 0 59743520 157196288 35494 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 38378 35494 408 171 0 37303 0
Current children cumulated CPU time (s) 880.16
Current children cumulated vsize (KiB) 153512

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15573
/proc/meminfo: memFree=1321768/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=160408 CPUtime=940.14
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 46394 663 0 0 93984 30 0 0 25 0 1 0 59743520 164257792 37438 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 40102 37438 408 171 0 39027 0
Current children cumulated CPU time (s) 940.14
Current children cumulated vsize (KiB) 160408

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 15573
/proc/meminfo: memFree=1311656/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=167752 CPUtime=1000.13
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 48437 663 0 0 99980 33 0 0 25 0 1 0 59743520 171778048 39481 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 41938 39481 408 171 0 40863 0
Current children cumulated CPU time (s) 1000.13
Current children cumulated vsize (KiB) 167752

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 15573
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=174496 CPUtime=1060.11
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 50327 663 0 0 105977 34 0 0 25 0 1 0 59743520 178683904 41371 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 43624 41371 408 171 0 42549 0
Current children cumulated CPU time (s) 1060.11
Current children cumulated vsize (KiB) 174496

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 15573
/proc/meminfo: memFree=1290792/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=180404 CPUtime=1120.09
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 51972 663 0 0 111974 35 0 0 25 0 1 0 59743520 184733696 43016 996147200 134512640 135215973 4294956304 18446744073709551615 134583542 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 45101 43016 408 171 0 44026 0
Current children cumulated CPU time (s) 1120.09
Current children cumulated vsize (KiB) 180404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 15573
/proc/meminfo: memFree=1282792/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=187160 CPUtime=1180.07
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 53832 663 0 0 117971 36 0 0 25 0 1 0 59743520 191651840 44876 996147200 134512640 135215973 4294956304 18446744073709551615 134590040 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 46790 44876 408 171 0 45715 0
Current children cumulated CPU time (s) 1180.07
Current children cumulated vsize (KiB) 187160

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15573
/proc/meminfo: memFree=1277800/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=191164 CPUtime=1240.06
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 54996 663 0 0 123969 37 0 0 25 0 1 0 59743520 195751936 46040 996147200 134512640 135215973 4294956304 18446744073709551615 134587732 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 47791 46040 408 171 0 46716 0
Current children cumulated CPU time (s) 1240.06
Current children cumulated vsize (KiB) 191164

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 15573
/proc/meminfo: memFree=1270824/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=196328 CPUtime=1300.04
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 56416 663 0 0 129967 37 0 0 25 0 1 0 59743520 201039872 47460 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 49082 47460 408 171 0 48007 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 196328

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1262632/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=202404 CPUtime=1360.03
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 58097 663 0 0 135965 38 0 0 25 0 1 0 59743520 207261696 49141 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 50601 49141 408 171 0 49526 0
Current children cumulated CPU time (s) 1360.03
Current children cumulated vsize (KiB) 202404

[startup+1422.31 s]
/proc/loadavg: 2.10 2.04 2.00 3/73 15573
/proc/meminfo: memFree=1254568/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=224544 CPUtime=1420.01
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 63785 663 0 0 141959 42 0 0 25 0 1 0 59743520 229933056 50732 996147200 134512640 135215973 4294956304 18446744073709551615 134648286 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 56136 50732 408 171 0 55061 0
Current children cumulated CPU time (s) 1420.01
Current children cumulated vsize (KiB) 224544

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1248040/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=228752 CPUtime=1479.99
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 64981 663 0 0 147956 43 0 0 25 0 1 0 59743520 234242048 51928 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 57188 51928 408 171 0 56113 0
Current children cumulated CPU time (s) 1479.99
Current children cumulated vsize (KiB) 228752

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/73 15573
/proc/meminfo: memFree=1237352/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=236748 CPUtime=1539.97
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 67159 663 0 0 153952 45 0 0 25 0 1 0 59743520 242429952 54106 996147200 134512640 135215973 4294956304 18446744073709551615 134599877 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 59187 54106 408 171 0 58112 0
Current children cumulated CPU time (s) 1539.97
Current children cumulated vsize (KiB) 236748

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1226856/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=244708 CPUtime=1599.95
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 69371 663 0 0 159948 47 0 0 25 0 1 0 59743520 250580992 56318 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 61177 56318 408 171 0 60102 0
Current children cumulated CPU time (s) 1599.95
Current children cumulated vsize (KiB) 244708

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 15573
/proc/meminfo: memFree=1216040/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=252696 CPUtime=1659.94
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 71570 663 0 0 165945 49 0 0 25 0 1 0 59743520 258760704 58517 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 63174 58517 408 171 0 62099 0
Current children cumulated CPU time (s) 1659.94
Current children cumulated vsize (KiB) 252696

[startup+1722.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/73 15573
/proc/meminfo: memFree=1198440/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=260464 CPUtime=1719.91
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 73729 663 0 0 171941 50 0 0 25 0 1 0 59743520 266715136 60676 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 65116 60676 408 171 0 64041 0
Current children cumulated CPU time (s) 1719.91
Current children cumulated vsize (KiB) 260464

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/73 15573
/proc/meminfo: memFree=1179176/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=279856 CPUtime=1779.9
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 78842 663 0 0 177936 54 0 0 25 0 1 0 59743520 286572544 65211 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 69964 65211 408 171 0 68889 0
Current children cumulated CPU time (s) 1779.9
Current children cumulated vsize (KiB) 279856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.4 s]
/proc/loadavg: 2.14 2.07 2.01 3/73 15573
/proc/meminfo: memFree=1178984/2055920 swapFree=4192812/4192956
[pid=15526] ppid=15524 vsize=279856 CPUtime=1800
/proc/15526/stat : 15526 (pcs.big) R 15524 15526 15489 0 -1 4194304 78904 663 0 0 179946 54 0 0 25 0 1 0 59743520 286572544 65273 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/15526/statm: 69964 65273 408 171 0 68889 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 279856

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): 1802.45
CPU time (s): 1800.06
CPU user time (s): 1799.47
CPU system time (s): 0.59191
CPU usage (%): 99.8675
Max. virtual memory (cumulated for all children) (KiB): 280116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.59191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79567
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= 23
involuntary context switches= 7816

runsolver used 1.86972 second user time and 4.77827 second system time

The end

Launcher Data 

Begin job on node75 at 2009-07-16 08:46:31
IDJOB=2086784
IDBENCH=58632
IDSOLVER=733
FILE ID=node75/2086784-1247726791
PBS_JOBID= 9521626
Free space on /tmp= 66252 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-100-0.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086784-1247726791/watcher-2086784-1247726791 -o /tmp/evaluation-result-2086784-1247726791/solver-2086784-1247726791 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1258419736 HOME/instance-2086784-1247726791.xml

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

MD5SUM BENCH= 694094fc9258bd0927570f73a0c21c65
RANDOM SEED=1258419736

node75.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:       1529656 kB
Buffers:         80160 kB
Cached:         284796 kB
SwapCached:          0 kB
Active:         114524 kB
Inactive:       323772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1529656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:          93768 kB
Slab:            73088 kB
Committed_AS:   615196 kB
PageTables:       1992 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= 66224 MiB
End job on node75 at 2009-07-16 09:16:35