Trace number 2081702

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 1810.04

General information on the benchmark

Namecsp/super-js/super-js-taillard-20/
normalized-super-js-taillard-20-12.xml
MD5SUM25d0763f0ac75a92331779534e76fb94
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 size1707
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.17/0.21	c Seed is 1626760705
0.17/0.21	c Constructing HOME/instance-2081702-1247720268.xml  with 82480 constraints
1.26/1.38	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-2081702-1247720268/watcher-2081702-1247720268 -o /tmp/evaluation-result-2081702-1247720268/solver-2081702-1247720268 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1626760705 HOME/instance-2081702-1247720268.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: 1.95 1.99 1.99 4/81 14118
/proc/meminfo: memFree=1523784/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=5356 CPUtime=0
/proc/14118/stat : 14118 (pcssolve) R 14116 14118 12731 0 -1 4194304 273 0 0 0 0 0 0 0 22 0 1 0 59090698 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14118/statm: 1339 241 200 169 0 50 0
[pid=14119] ppid=14118 vsize=5356 CPUtime=0
/proc/14119/stat : 14119 (pcssolve) R 14118 14118 12731 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 59090699 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259415141023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14119/statm: 1339 241 200 169 0 50 0

[startup+0.0813239 s]
/proc/loadavg: 1.95 1.99 1.99 4/81 14118
/proc/meminfo: memFree=1523784/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=5952 CPUtime=0.06
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1122 659 0 0 6 0 0 0 18 0 1 0 59090698 6094848 753 996147200 134512640 135215973 4294956304 18446744073709551615 12841059 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 1488 753 388 171 0 413 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5952

[startup+0.101328 s]
/proc/loadavg: 1.95 1.99 1.99 4/81 14118
/proc/meminfo: memFree=1523784/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=6416 CPUtime=0.07
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1282 659 0 0 7 0 0 0 18 0 1 0 59090698 6569984 839 996147200 134512640 135215973 4294956304 18446744073709551615 4159166449 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 1604 839 388 171 0 529 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6416

[startup+0.30137 s]
/proc/loadavg: 1.95 1.99 1.99 4/81 14118
/proc/meminfo: memFree=1523784/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=10968 CPUtime=0.27
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 2715 659 0 0 26 1 0 0 19 0 1 0 59090698 11231232 1808 996147200 134512640 135215973 4294956304 18446744073709551615 4159192558 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 2742 1808 388 171 0 1667 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10968

[startup+0.701444 s]
/proc/loadavg: 1.95 1.99 1.99 4/81 14118
/proc/meminfo: memFree=1523784/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=20196 CPUtime=0.67
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 5724 659 0 0 65 2 0 0 23 0 1 0 59090698 20680704 3630 996147200 134512640 135215973 4294956304 18446744073709551615 134525028 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 5049 3630 388 171 0 3974 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20196

[startup+1.5016 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1504640/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=44524 CPUtime=1.47
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 14124 659 0 0 141 6 0 0 25 0 1 0 59090698 45592576 9178 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 11131 9178 404 171 0 10056 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44524

[startup+3.1019 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1477312/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=88256 CPUtime=3.06
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 28360 659 0 0 294 12 0 0 25 0 1 0 59090698 90374144 16856 996147200 134512640 135215973 4294956304 18446744073709551615 134587333 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 22064 16856 404 171 0 20989 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 88256

[startup+6.30151 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1449408/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=88384 CPUtime=6.22
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 32680 659 0 0 609 13 0 0 25 0 1 0 59090698 90505216 18830 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 22096 18830 408 171 0 21021 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 88384

[startup+12.7017 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1445056/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=88384 CPUtime=12.56
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 41982 659 0 0 1238 18 0 0 25 0 1 0 59090698 90505216 19921 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 22096 19921 408 171 0 21021 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 88384

[startup+25.5012 s]
/proc/loadavg: 1.96 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1444992/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=88700 CPUtime=25.23
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 53629 659 0 0 2501 22 0 0 25 0 1 0 59090698 90828800 19976 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 22175 19976 408 171 0 21100 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 88700

[startup+51.1011 s]
/proc/loadavg: 1.98 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1443968/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=89528 CPUtime=50.59
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 78648 659 0 0 5028 31 0 0 25 0 1 0 59090698 91676672 20260 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 22382 20260 408 171 0 21307 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 89528

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 4/82 14123
/proc/meminfo: memFree=1425152/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=133564 CPUtime=101.32
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 160126 659 0 0 10067 65 0 0 25 0 1 0 59090698 136769536 24912 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 33391 24912 408 171 0 32316 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 133564

[startup+162.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14123
/proc/meminfo: memFree=1421824/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=135360 CPUtime=160.74
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 237927 659 0 0 15980 94 0 0 25 0 1 0 59090698 138608640 25718 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 33840 25718 408 171 0 32765 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 135360

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1420536/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=136384 CPUtime=220.16
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 290630 659 0 0 21899 117 0 0 25 0 1 0 59090698 139657216 26050 996147200 134512640 135215973 4294956304 18446744073709551615 134532979 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 34096 26050 408 171 0 33021 0
Current children cumulated CPU time (s) 220.16
Current children cumulated vsize (KiB) 136384

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1418552/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=138844 CPUtime=279.6
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 369007 659 0 0 27811 149 0 0 25 0 1 0 59090698 142176256 26545 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 34711 26545 408 171 0 33636 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 138844

[startup+342.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1414584/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=140156 CPUtime=339.03
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 404637 659 0 0 33739 164 0 0 25 0 1 0 59090698 143519744 27537 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 35039 27537 408 171 0 33964 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 140156

[startup+402.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1412728/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=141576 CPUtime=398.47
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 483811 659 0 0 39652 195 0 0 25 0 1 0 59090698 144973824 27982 996147200 134512640 135215973 4294956304 18446744073709551615 134533182 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 35394 27982 408 171 0 34319 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 141576

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1410936/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=142980 CPUtime=457.9
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 570938 659 0 0 45560 230 0 0 25 0 1 0 59090698 146411520 28445 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 35745 28445 408 171 0 34670 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 142980

[startup+522.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1409280/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=146324 CPUtime=517.34
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 644286 659 0 0 51472 262 0 0 25 0 1 0 59090698 149835776 28830 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 36581 28830 408 171 0 35506 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 146324

[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1407552/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=147612 CPUtime=576.77
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 690791 659 0 0 57397 280 0 0 25 0 1 0 59090698 151154688 29243 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 36903 29243 408 171 0 35828 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 147612

[startup+642.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1406208/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=148892 CPUtime=636.2
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 768098 659 0 0 63311 309 0 0 25 0 1 0 59090698 152465408 29615 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 37223 29615 408 171 0 36148 0
Current children cumulated CPU time (s) 636.2

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

[startup+822.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1400960/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=153136 CPUtime=814.5
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 958534 659 0 0 81058 392 0 0 25 0 1 0 59090698 156811264 30922 996147200 134512640 135215973 4294956304 18446744073709551615 134591931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 38284 30922 408 171 0 37209 0
Current children cumulated CPU time (s) 814.5
Current children cumulated vsize (KiB) 153136

[startup+882.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 14129
/proc/meminfo: memFree=1397440/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=156128 CPUtime=873.93
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1036527 659 0 0 86970 423 0 0 25 0 1 0 59090698 159875072 31773 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 39032 31773 408 171 0 37957 0
Current children cumulated CPU time (s) 873.93
Current children cumulated vsize (KiB) 156128

[startup+942.302 s]
/proc/loadavg: 2.13 2.04 2.01 3/82 14129
/proc/meminfo: memFree=1394112/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=163244 CPUtime=933.37
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1089976 659 0 0 92894 443 0 0 25 0 1 0 59090698 167161856 32585 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 40811 32585 408 171 0 39736 0
Current children cumulated CPU time (s) 933.37
Current children cumulated vsize (KiB) 163244

[startup+1002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/82 14129
/proc/meminfo: memFree=1392000/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=164948 CPUtime=992.8
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1117056 659 0 0 98827 453 0 0 25 0 1 0 59090698 168906752 33100 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/14118/statm: 41237 33100 408 171 0 40162 0
Current children cumulated CPU time (s) 992.8
Current children cumulated vsize (KiB) 164948

[startup+1062.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/73 14163
/proc/meminfo: memFree=1322440/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=170076 CPUtime=1052.66
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1168902 659 0 0 104788 478 0 0 25 0 1 0 59090698 174157824 34438 996147200 134512640 135215973 4294956304 18446744073709551615 134533181 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 42519 34438 408 171 0 41444 0
Current children cumulated CPU time (s) 1052.66
Current children cumulated vsize (KiB) 170076

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 14163
/proc/meminfo: memFree=1319752/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=172032 CPUtime=1112.63
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1244143 659 0 0 110752 511 0 0 25 0 1 0 59090698 176160768 35021 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 43008 35021 408 171 0 41933 0
Current children cumulated CPU time (s) 1112.63
Current children cumulated vsize (KiB) 172032

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14163
/proc/meminfo: memFree=1315976/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=174652 CPUtime=1172.61
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1287999 659 0 0 116733 528 0 0 25 0 1 0 59090698 178843648 35752 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 43663 35752 408 171 0 42588 0
Current children cumulated CPU time (s) 1172.61
Current children cumulated vsize (KiB) 174652

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14163
/proc/meminfo: memFree=1312008/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=177128 CPUtime=1232.57
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1358583 659 0 0 122699 558 0 0 25 0 1 0 59090698 181379072 36439 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 44282 36439 408 171 0 43207 0
Current children cumulated CPU time (s) 1232.57
Current children cumulated vsize (KiB) 177128

[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1309256/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=178432 CPUtime=1292.55
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1377232 659 0 0 128689 566 0 0 25 0 1 0 59090698 182714368 36872 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 44608 36872 408 171 0 43533 0
Current children cumulated CPU time (s) 1292.55
Current children cumulated vsize (KiB) 178432

[startup+1362.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1302992/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=180928 CPUtime=1352.51
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1397993 659 0 0 134676 575 0 0 25 0 1 0 59090698 185270272 37623 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 45232 37623 408 171 0 44157 0
Current children cumulated CPU time (s) 1352.51
Current children cumulated vsize (KiB) 180928

[startup+1422.31 s]
/proc/loadavg: 2.11 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1299536/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=183680 CPUtime=1412.5
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1418362 659 0 0 140665 585 0 0 25 0 1 0 59090698 188088320 38396 996147200 134512640 135215973 4294956304 18446744073709551615 135094319 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 45920 38396 408 171 0 44845 0
Current children cumulated CPU time (s) 1412.5
Current children cumulated vsize (KiB) 183680

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1296400/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=185884 CPUtime=1472.46
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1480402 659 0 0 146635 611 0 0 25 0 1 0 59090698 190345216 39026 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 46471 39026 408 171 0 45396 0
Current children cumulated CPU time (s) 1472.46
Current children cumulated vsize (KiB) 185884

[startup+1542.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1290896/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=189664 CPUtime=1532.42
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1567631 659 0 0 152598 644 0 0 25 0 1 0 59090698 194215936 40005 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 47416 40021 408 171 0 46341 0
Current children cumulated CPU time (s) 1532.42
Current children cumulated vsize (KiB) 189664

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1284048/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=194632 CPUtime=1592.4
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1676133 659 0 0 158550 690 0 0 25 0 1 0 59090698 199303168 41350 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 48658 41350 408 171 0 47583 0
Current children cumulated CPU time (s) 1592.4
Current children cumulated vsize (KiB) 194632

[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1278544/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=198028 CPUtime=1652.37
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1759769 659 0 0 164514 723 0 0 25 0 1 0 59090698 202780672 42324 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 49507 42324 408 171 0 48432 0
Current children cumulated CPU time (s) 1652.37
Current children cumulated vsize (KiB) 198028

[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1271504/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=208416 CPUtime=1712.34
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1865649 659 0 0 170465 769 0 0 25 0 1 0 59090698 213417984 43000 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 52104 43000 408 171 0 51029 0
Current children cumulated CPU time (s) 1712.34
Current children cumulated vsize (KiB) 208416

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14163
/proc/meminfo: memFree=1268560/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=210100 CPUtime=1772.31
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1943716 659 0 0 176428 803 0 0 25 0 1 0 59090698 215142400 43511 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 52525 43511 408 171 0 51450 0
Current children cumulated CPU time (s) 1772.31
Current children cumulated vsize (KiB) 210100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810 s]
/proc/loadavg: 2.10 2.07 2.01 3/73 14163
/proc/meminfo: memFree=1266320/2055920 swapFree=4192812/4192956
[pid=14118] ppid=14116 vsize=212056 CPUtime=1800.01
/proc/14118/stat : 14118 (pcs.big) R 14116 14118 12731 0 -1 4194304 1988197 659 0 0 179178 823 0 0 25 0 1 0 59090698 217145344 44039 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/14118/statm: 53014 44039 408 171 0 51939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 212056

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): 1810.04
CPU time (s): 1800.06
CPU user time (s): 1791.79
CPU system time (s): 8.26674
CPU usage (%): 99.4486
Max. virtual memory (cumulated for all children) (KiB): 212204

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

runsolver used 2.68759 second user time and 5.50716 second system time

The end

Launcher Data 

Begin job on node42 at 2009-07-16 06:57:48
IDJOB=2081702
IDBENCH=57474
IDSOLVER=733
FILE ID=node42/2081702-1247720268
PBS_JOBID= 9521419
Free space on /tmp= 66296 MiB

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

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

MD5SUM BENCH= 25d0763f0ac75a92331779534e76fb94
RANDOM SEED=1626760705

node42.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.283
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.283
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:       1524264 kB
Buffers:         82288 kB
Cached:         327616 kB
SwapCached:          0 kB
Active:         110764 kB
Inactive:       331260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1524264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3400 kB
Writeback:           0 kB
Mapped:          52492 kB
Slab:            74716 kB
Committed_AS:   594264 kB
PageTables:       1868 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= 66272 MiB
End job on node42 at 2009-07-16 07:28:00