Trace number 2080360

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

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-100-5.xml
MD5SUM1b1d2d2d7706319bf2fd92a5865476d2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark368.53
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1247
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
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.08/0.11	c Seed is 1289523976
0.08/0.11	c Constructing HOME/instance-2080360-1247717576.xml  with 11445 constraints
0.08/0.19	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-2080360-1247717576/watcher-2080360-1247717576 -o /tmp/evaluation-result-2080360-1247717576/solver-2080360-1247717576 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1289523976 HOME/instance-2080360-1247717576.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.03 2.06 4/73 18390
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=5356 CPUtime=0
/proc/18390/stat : 18390 (pcssolve) R 18388 18390 17322 0 -1 4194304 274 0 0 0 0 0 0 0 20 0 1 0 58822638 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279240135 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/18390/statm: 1339 241 200 169 0 50 0
[pid=18391] ppid=18390 vsize=3544 CPUtime=0
/proc/18391/stat : 18391 (fgrep) R 18390 18390 17322 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 58822638 3629056 62 996147200 4194304 4274172 548682068976 18446744073709551615 251279083872 0 0 4096 0 0 0 0 17 1 0 0
/proc/18391/statm: 886 62 46 19 0 10 0

[startup+0.0263959 s]
/proc/loadavg: 2.00 2.03 2.06 4/73 18390
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=4492 CPUtime=0
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 789 660 0 0 0 0 0 0 19 0 1 0 58822638 4599808 420 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 1123 425 364 171 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4492

[startup+0.102406 s]
/proc/loadavg: 2.00 2.03 2.06 4/73 18390
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=6528 CPUtime=0.08
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 1337 660 0 0 7 1 0 0 19 0 1 0 58822638 6684672 858 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 1632 858 388 171 0 557 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6528

[startup+0.30143 s]
/proc/loadavg: 2.00 2.03 2.06 4/73 18390
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=12812 CPUtime=0.28
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 3385 660 0 0 26 2 0 0 21 0 1 0 58822638 13119488 2224 996147200 134512640 135215973 4294956304 18446744073709551615 134908065 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 3203 2224 404 171 0 2128 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12812

[startup+0.70148 s]
/proc/loadavg: 2.00 2.03 2.06 4/73 18390
/proc/meminfo: memFree=1620096/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=15528 CPUtime=0.68
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 4505 660 0 0 66 2 0 0 24 0 1 0 58822638 15900672 2927 996147200 134512640 135215973 4294956304 18446744073709551615 135097152 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 3882 2927 408 171 0 2807 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15528

[startup+1.50258 s]
/proc/loadavg: 2.00 2.03 2.06 3/74 18395
/proc/meminfo: memFree=1609592/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=15624 CPUtime=1.47
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 4628 660 0 0 145 2 0 0 25 0 1 0 58822638 15998976 3050 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 3906 3050 408 171 0 2831 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15624

[startup+3.10178 s]
/proc/loadavg: 2.00 2.03 2.06 3/74 18395
/proc/meminfo: memFree=1608696/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=16160 CPUtime=3.06
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 4750 660 0 0 304 2 0 0 25 0 1 0 58822638 16547840 3172 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 4040 3172 408 171 0 2965 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16160

[startup+6.30119 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 18395
/proc/meminfo: memFree=1607608/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=16736 CPUtime=6.26
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 4932 660 0 0 623 3 0 0 25 0 1 0 58822638 17137664 3321 996147200 134512640 135215973 4294956304 18446744073709551615 135094718 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 4184 3321 408 171 0 3109 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16736

[startup+12.702 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 18395
/proc/meminfo: memFree=1604216/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=18944 CPUtime=12.63
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 5559 660 0 0 1260 3 0 0 25 0 1 0 58822638 19398656 3883 996147200 134512640 135215973 4294956304 18446744073709551615 134598459 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 4736 3883 408 171 0 3661 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 18944

[startup+25.5016 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 18395
/proc/meminfo: memFree=1595960/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=27944 CPUtime=25.38
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 8061 660 0 0 2533 5 0 0 25 0 1 0 58822638 28614656 5423 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 6986 5423 408 171 0 5911 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 27944

[startup+51.1018 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 18395
/proc/meminfo: memFree=1585336/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=34900 CPUtime=50.87
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 10060 660 0 0 5081 6 0 0 25 0 1 0 58822638 35737600 7165 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 8725 7165 408 171 0 7650 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 34900

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/74 18395
/proc/meminfo: memFree=1555640/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=51000 CPUtime=101.87
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 14469 660 0 0 10178 9 0 0 25 0 1 0 58822638 52224000 10932 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 12750 10932 408 171 0 11675 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 51000

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 18395
/proc/meminfo: memFree=1536440/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=69604 CPUtime=161.62
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 19575 660 0 0 16149 13 0 0 25 0 1 0 58822638 71274496 15013 996147200 134512640 135215973 4294956304 18446744073709551615 134982820 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 17401 15013 408 171 0 16326 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 69604

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/74 18395
/proc/meminfo: memFree=1510200/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=85196 CPUtime=221.37
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 23923 660 0 0 22121 16 0 0 25 0 1 0 58822638 87240704 19361 996147200 134512640 135215973 4294956304 18446744073709551615 134590688 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 21299 19361 408 171 0 20224 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 85196

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 18395
/proc/meminfo: memFree=1483128/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=101228 CPUtime=281.13
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 28450 660 0 0 28094 19 0 0 25 0 1 0 58822638 103657472 23888 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 25307 23888 408 171 0 24232 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 101228

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 18395
/proc/meminfo: memFree=1458744/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=124144 CPUtime=340.88
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 34577 660 0 0 34065 23 0 0 25 0 1 0 58822638 127123456 27966 996147200 134512640 135215973 4294956304 18446744073709551615 134640938 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 31036 27966 408 171 0 29961 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 124144

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 18395
/proc/meminfo: memFree=1430008/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=143528 CPUtime=400.64
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 39878 660 0 0 40037 27 0 0 25 0 1 0 58822638 146972672 32977 996147200 134512640 135215973 4294956304 18446744073709551615 135096113 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 35882 32977 408 171 0 34807 0
Current children cumulated CPU time (s) 400.64
Current children cumulated vsize (KiB) 143528

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 18395
/proc/meminfo: memFree=1400312/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=161160 CPUtime=460.4
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 44754 660 0 0 46009 31 0 0 25 0 1 0 58822638 165027840 37853 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 40290 37853 408 171 0 39215 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 161160

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1372024/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=177372 CPUtime=520.15
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 49282 660 0 0 51981 34 0 0 25 0 1 0 58822638 181628928 42381 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 44343 42381 408 171 0 43268 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 177372

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1344696/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=192632 CPUtime=579.91
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 53481 660 0 0 57953 38 0 0 25 0 1 0 58822638 197255168 46580 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 48158 46580 408 171 0 47083 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 192632

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1320056/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=224172 CPUtime=639.67
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 61710 660 0 0 63924 43 0 0 25 0 1 0 58822638 229552128 50712 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 56043 50712 408 171 0 54968 0
Current children cumulated CPU time (s) 639.67

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1244472/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=269864 CPUtime=818.94
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 74301 660 0 0 81839 55 0 0 25 0 1 0 58822638 276340736 63303 996147200 134512640 135215973 4294956304 18446744073709551615 134907503 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 67466 63303 408 171 0 66391 0
Current children cumulated CPU time (s) 818.94
Current children cumulated vsize (KiB) 269864

[startup+882.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1221688/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=281936 CPUtime=878.7
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 77708 660 0 0 87812 58 0 0 25 0 1 0 58822638 288702464 66710 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 70484 66710 408 171 0 69409 0
Current children cumulated CPU time (s) 878.7
Current children cumulated vsize (KiB) 281936

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1195576/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=299360 CPUtime=938.45
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 82428 660 0 0 93785 60 0 0 25 0 1 0 58822638 306544640 70917 996147200 134512640 135215973 4294956304 18446744073709551615 135097925 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 74840 70917 408 171 0 73765 0
Current children cumulated CPU time (s) 938.45
Current children cumulated vsize (KiB) 299360

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1168952/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=312228 CPUtime=998.2
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 86132 660 0 0 99758 62 0 0 25 0 1 0 58822638 319721472 74621 996147200 134512640 135215973 4294956304 18446744073709551615 134648314 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 78057 74621 408 171 0 76982 0
Current children cumulated CPU time (s) 998.2
Current children cumulated vsize (KiB) 312228

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1144504/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=325596 CPUtime=1057.97
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 89872 660 0 0 105731 66 0 0 25 0 1 0 58822638 333410304 78361 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 81399 78361 408 171 0 80324 0
Current children cumulated CPU time (s) 1057.97
Current children cumulated vsize (KiB) 325596

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1118776/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=339464 CPUtime=1117.73
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 93772 660 0 0 111703 70 0 0 25 0 1 0 58822638 347611136 82261 996147200 134512640 135215973 4294956304 18446744073709551615 134585066 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 84866 82261 408 171 0 83791 0
Current children cumulated CPU time (s) 1117.73
Current children cumulated vsize (KiB) 339464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1091384/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=356616 CPUtime=1177.48
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 98580 660 0 0 117676 72 0 0 25 0 1 0 58822638 365174784 87069 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 89154 87069 408 171 0 88079 0
Current children cumulated CPU time (s) 1177.48
Current children cumulated vsize (KiB) 356616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1067064/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=402852 CPUtime=1237.24
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 110591 660 0 0 123644 80 0 0 25 0 1 0 58822638 412520448 90887 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 100713 90887 408 171 0 99638 0
Current children cumulated CPU time (s) 1237.24
Current children cumulated vsize (KiB) 402852

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1043000/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=417052 CPUtime=1297
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 114582 660 0 0 129618 82 0 0 25 0 1 0 58822638 427061248 94878 996147200 134512640 135215973 4294956304 18446744073709551615 134583375 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 104263 94878 408 171 0 103188 0
Current children cumulated CPU time (s) 1297
Current children cumulated vsize (KiB) 417052

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=1020792/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=429732 CPUtime=1356.76
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 118049 660 0 0 135591 85 0 0 25 0 1 0 58822638 440045568 98345 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 107433 98345 408 171 0 106358 0
Current children cumulated CPU time (s) 1356.76
Current children cumulated vsize (KiB) 429732

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=997944/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=442736 CPUtime=1416.51
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 121671 660 0 0 141564 87 0 0 25 0 1 0 58822638 453361664 101967 996147200 134512640 135215973 4294956304 18446744073709551615 134590947 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 110684 101967 408 171 0 109609 0
Current children cumulated CPU time (s) 1416.51
Current children cumulated vsize (KiB) 442736

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=975160/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=456876 CPUtime=1476.27
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 125553 660 0 0 147537 90 0 0 25 0 1 0 58822638 467841024 105849 996147200 134512640 135215973 4294956304 18446744073709551615 134648245 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 114219 105849 408 171 0 113144 0
Current children cumulated CPU time (s) 1476.27
Current children cumulated vsize (KiB) 456876

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=952568/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=469520 CPUtime=1536.02
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 129035 660 0 0 153509 93 0 0 25 0 1 0 58822638 480788480 109331 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 117380 109331 408 171 0 116305 0
Current children cumulated CPU time (s) 1536.02
Current children cumulated vsize (KiB) 469520

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18395
/proc/meminfo: memFree=928696/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=484176 CPUtime=1595.78
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 133051 660 0 0 159482 96 0 0 25 0 1 0 58822638 495796224 113347 996147200 134512640 135215973 4294956304 18446744073709551615 134648535 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 121044 113347 408 171 0 119969 0
Current children cumulated CPU time (s) 1595.78
Current children cumulated vsize (KiB) 484176

[startup+1662.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1147264/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=495952 CPUtime=1655.5
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 136362 660 0 0 165451 99 0 0 25 0 1 0 58822638 507854848 116658 996147200 134512640 135215973 4294956304 18446744073709551615 134591298 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 123988 116658 408 171 0 122913 0
Current children cumulated CPU time (s) 1655.5
Current children cumulated vsize (KiB) 495952

[startup+1722.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1125440/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=508948 CPUtime=1715.25
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 139974 660 0 0 171424 101 0 0 25 0 1 0 58822638 521162752 120270 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 127237 120270 408 171 0 126162 0
Current children cumulated CPU time (s) 1715.25
Current children cumulated vsize (KiB) 508948

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1097664/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=522148 CPUtime=1775.01
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 143630 660 0 0 177397 104 0 0 25 0 1 0 58822638 534679552 123926 996147200 134512640 135215973 4294956304 18446744073709551615 134532979 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 130537 123926 408 171 0 129462 0
Current children cumulated CPU time (s) 1775.01
Current children cumulated vsize (KiB) 522148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 18427
/proc/meminfo: memFree=1088128/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=529088 CPUtime=1800.02
/proc/18390/stat : 18390 (pcs.big) R 18388 18390 17322 0 -1 4194304 145532 660 0 0 179897 105 0 0 25 0 1 0 58822638 541786112 125828 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/18390/statm: 132272 125828 408 171 0 131197 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 529088

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): 1807.49
CPU time (s): 1800.11
CPU user time (s): 1798.97
CPU system time (s): 1.14183
CPU usage (%): 99.5921
Max. virtual memory (cumulated for all children) (KiB): 529088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.14183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146192
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= 22
involuntary context switches= 25559

runsolver used 1.71574 second user time and 4.87126 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-16 06:12:56
IDJOB=2080360
IDBENCH=57071
IDSOLVER=733
FILE ID=node92/2080360-1247717576
PBS_JOBID= 9521414
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= 1b1d2d2d7706319bf2fd92a5865476d2
RANDOM SEED=1289523976

node92.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.216
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.216
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:       1620640 kB
Buffers:         74888 kB
Cached:         225740 kB
SwapCached:          0 kB
Active:         135944 kB
Inactive:       229940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1976 kB
Writeback:           0 kB
Mapped:          76788 kB
Slab:            54744 kB
Committed_AS:   528960 kB
PageTables:       1940 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= 66304 MiB
End job on node92 at 2009-07-16 06:43:06