Trace number 2081593

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.12 1813.13

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-14.xml
MD5SUMfcc319e6fc9e5f3f4a12aa7c5c9c75e3
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 benchmark806.525
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1424
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.18/0.21	c Seed is 1323324246
0.18/0.21	c Constructing HOME/instance-2081593-1247719964.xml  with 61830 constraints
0.88/0.99	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-2081593-1247719964/watcher-2081593-1247719964 -o /tmp/evaluation-result-2081593-1247719964/solver-2081593-1247719964 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1323324246 HOME/instance-2081593-1247719964.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.49 2.28 2.12 4/81 10992
/proc/meminfo: memFree=1493824/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=5356 CPUtime=0
/proc/10992/stat : 10992 (pcssolve) R 10990 10992 9017 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59059691 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10992/statm: 1339 241 200 169 0 50 0
[pid=10993] ppid=10992 vsize=3676 CPUtime=0
/proc/10993/stat : 10993 (fgrep) R 10992 10992 9017 0 -1 4194304 123 0 0 0 0 0 0 0 22 0 1 0 59059691 3764224 90 996147200 4194304 4274172 548682068976 18446744073709551615 251255251248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10993/statm: 919 90 72 19 0 43 0
[pid=10994] ppid=10992 vsize=5356 CPUtime=0
/proc/10994/stat : 10994 (pcssolve) R 10992 10992 9017 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59059691 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10994/statm: 1339 241 200 169 0 50 0

[startup+0.0195349 s]
/proc/loadavg: 2.49 2.28 2.12 4/81 10992
/proc/meminfo: memFree=1493824/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=5356 CPUtime=0
/proc/10992/stat : 10992 (pcssolve) S 10990 10992 9017 0 -1 4194304 339 474 0 0 0 0 0 0 23 0 1 0 59059691 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10992/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101548 s]
/proc/loadavg: 2.49 2.28 2.12 4/81 10992
/proc/meminfo: memFree=1493824/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=6744 CPUtime=0.08
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1291 660 0 0 7 0 0 1 18 0 1 0 59059691 6905856 848 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 1686 848 388 171 0 611 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6744

[startup+0.30157 s]
/proc/loadavg: 2.49 2.28 2.12 4/81 10992
/proc/meminfo: memFree=1493824/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=10420 CPUtime=0.28
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 2622 660 0 0 27 0 0 1 19 0 1 0 59059691 10670080 1763 996147200 134512640 135215973 4294956304 18446744073709551615 4160503966 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 2605 1763 388 171 0 1530 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10420

[startup+0.701611 s]
/proc/loadavg: 2.49 2.28 2.12 4/81 10992
/proc/meminfo: memFree=1493824/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=19728 CPUtime=0.68
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 5648 660 0 0 65 2 0 1 23 0 1 0 59059691 20201472 3665 996147200 134512640 135215973 4294956304 18446744073709551615 4159202696 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 4932 3665 388 171 0 3857 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19728

[startup+1.5017 s]
/proc/loadavg: 2.49 2.28 2.12 3/82 10997
/proc/meminfo: memFree=1478136/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=38852 CPUtime=1.48
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 12525 660 0 0 142 5 0 1 25 0 1 0 59059691 39784448 8762 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 9713 8762 404 171 0 8638 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38852

[startup+3.10188 s]
/proc/loadavg: 2.49 2.28 2.12 3/82 10997
/proc/meminfo: memFree=1449400/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=54252 CPUtime=3.05
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 19528 660 0 0 297 7 0 1 25 0 1 0 59059691 55554048 11655 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 13563 11655 408 171 0 12488 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 54252

[startup+6.30123 s]
/proc/loadavg: 2.45 2.27 2.12 3/82 10997
/proc/meminfo: memFree=1444664/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=54252 CPUtime=6.22
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 23765 660 0 0 612 9 0 1 25 0 1 0 59059691 55554048 12616 996147200 134512640 135215973 4294956304 18446744073709551615 134648245 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 13563 12616 408 171 0 12488 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 54252

[startup+12.7019 s]
/proc/loadavg: 2.41 2.27 2.12 3/82 10997
/proc/meminfo: memFree=1434936/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=74956 CPUtime=12.57
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 36459 660 0 0 1242 14 0 1 25 0 1 0 59059691 76754944 14961 996147200 134512640 135215973 4294956304 18446744073709551615 135097144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 18739 14961 408 171 0 17664 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 74956

[startup+25.5013 s]
/proc/loadavg: 2.32 2.25 2.12 3/82 10997
/proc/meminfo: memFree=1433208/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=75252 CPUtime=25.25
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 47689 660 0 0 2505 19 0 1 25 0 1 0 59059691 77058048 15427 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 18813 15427 408 171 0 17738 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 75252

[startup+51.1011 s]
/proc/loadavg: 2.21 2.23 2.12 3/82 10997
/proc/meminfo: memFree=1432376/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=76028 CPUtime=50.6
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 68009 660 0 0 5031 28 0 1 25 0 1 0 59059691 77852672 15642 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 19007 15642 408 171 0 17932 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 76028

[startup+102.308 s]
/proc/loadavg: 2.09 2.19 2.11 3/82 10997
/proc/meminfo: memFree=1430136/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=77440 CPUtime=101.33
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 102249 660 0 0 10087 45 0 1 25 0 1 0 59059691 79298560 16173 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 19360 16173 408 171 0 18285 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 77440

[startup+162.301 s]
/proc/loadavg: 2.03 2.16 2.09 3/82 10997
/proc/meminfo: memFree=1427320/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=79404 CPUtime=160.76
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 154573 660 0 0 16008 67 0 1 25 0 1 0 59059691 81309696 16888 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 19851 16888 408 171 0 18776 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 79404

[startup+222.302 s]
/proc/loadavg: 2.01 2.12 2.09 3/82 10997
/proc/meminfo: memFree=1424248/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=81988 CPUtime=220.19
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 197992 660 0 0 21932 86 0 1 25 0 1 0 59059691 83955712 17618 996147200 134512640 135215973 4294956304 18446744073709551615 134599875 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 20497 17618 408 171 0 19422 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 81988

[startup+282.301 s]
/proc/loadavg: 2.00 2.10 2.08 3/82 10997
/proc/meminfo: memFree=1419576/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=86200 CPUtime=279.63
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 220008 660 0 0 27867 95 0 1 25 0 1 0 59059691 88268800 18782 996147200 134512640 135215973 4294956304 18446744073709551615 135094310 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 21550 18782 408 171 0 20475 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 86200

[startup+342.302 s]
/proc/loadavg: 2.00 2.08 2.07 3/82 10997
/proc/meminfo: memFree=1416568/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=91164 CPUtime=339.07
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 246567 660 0 0 33801 105 0 1 25 0 1 0 59059691 93351936 19543 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 22791 19543 408 171 0 21716 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 91164

[startup+402.301 s]
/proc/loadavg: 2.00 2.06 2.07 3/82 10997
/proc/meminfo: memFree=1409592/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=98240 CPUtime=398.5
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 291789 660 0 0 39725 124 0 1 25 0 1 0 59059691 100597760 21352 996147200 134512640 135215973 4294956304 18446744073709551615 134589849 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 24560 21352 408 171 0 23485 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 98240

[startup+462.302 s]
/proc/loadavg: 2.00 2.05 2.06 3/82 10997
/proc/meminfo: memFree=1404472/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=101900 CPUtime=457.94
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 339964 660 0 0 45649 144 0 1 25 0 1 0 59059691 104345600 22571 996147200 134512640 135215973 4294956304 18446744073709551615 134600016 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 25475 22571 408 171 0 24400 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 101900

[startup+522.301 s]
/proc/loadavg: 2.13 2.07 2.07 3/82 11003
/proc/meminfo: memFree=1401136/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=104788 CPUtime=517.37
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 403396 660 0 0 51566 170 0 1 25 0 1 0 59059691 107302912 23395 996147200 134512640 135215973 4294956304 18446744073709551615 134585680 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 26197 23395 408 171 0 25122 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 104788

[startup+582.302 s]
/proc/loadavg: 2.05 2.05 2.06 3/82 11003
/proc/meminfo: memFree=1399728/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=105824 CPUtime=576.81
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 475539 660 0 0 57481 199 0 1 25 0 1 0 59059691 108363776 23726 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 26456 23726 408 171 0 25381 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 105824

[startup+642.302 s]
/proc/loadavg: 2.02 2.04 2.06 3/82 11003
/proc/meminfo: memFree=1397616/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=107656 CPUtime=636.24

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 11003
/proc/meminfo: memFree=1383224/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=124152 CPUtime=873.99
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 642550 660 0 0 87129 269 0 1 25 0 1 0 59059691 127131648 27836 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 31038 27836 408 171 0 29963 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 124152

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 11003
/proc/meminfo: memFree=1378040/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=129024 CPUtime=933.43
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 706947 660 0 0 93047 295 0 1 25 0 1 0 59059691 132120576 29157 996147200 134512640 135215973 4294956304 18446744073709551615 134590536 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 32256 29157 408 171 0 31181 0
Current children cumulated CPU time (s) 933.43
Current children cumulated vsize (KiB) 129024

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 11003
/proc/meminfo: memFree=1375416/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=131372 CPUtime=992.86
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 749663 660 0 0 98972 313 0 1 25 0 1 0 59059691 134524928 29805 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 32843 29805 408 171 0 31768 0
Current children cumulated CPU time (s) 992.86
Current children cumulated vsize (KiB) 131372

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 11003
/proc/meminfo: memFree=1374072/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=132412 CPUtime=1052.29
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 777829 660 0 0 104903 325 0 1 25 0 1 0 59059691 135589888 30151 996147200 134512640 135215973 4294956304 18446744073709551615 134592193 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 33103 30151 408 171 0 32028 0
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (KiB) 132412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 11003
/proc/meminfo: memFree=1372408/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=133716 CPUtime=1111.74
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 819206 660 0 0 110831 342 0 1 25 0 1 0 59059691 136925184 30552 996147200 134512640 135215973 4294956304 18446744073709551615 134982998 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 33429 30552 408 171 0 32354 0
Current children cumulated CPU time (s) 1111.74
Current children cumulated vsize (KiB) 133716

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11003
/proc/meminfo: memFree=1370680/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=135028 CPUtime=1171.17
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 841217 660 0 0 116765 351 0 1 25 0 1 0 59059691 138268672 30983 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 33757 30983 408 171 0 32682 0
Current children cumulated CPU time (s) 1171.17
Current children cumulated vsize (KiB) 135028

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11003
/proc/meminfo: memFree=1366264/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=138968 CPUtime=1230.61
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 864435 660 0 0 122698 362 0 1 25 0 1 0 59059691 142303232 32049 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 34742 32049 408 171 0 33667 0
Current children cumulated CPU time (s) 1230.61
Current children cumulated vsize (KiB) 138968

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11003
/proc/meminfo: memFree=1361656/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=143152 CPUtime=1290.04
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 909254 660 0 0 128624 379 0 1 25 0 1 0 59059691 146587648 33188 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/10992/statm: 35788 33188 408 171 0 34713 0
Current children cumulated CPU time (s) 1290.04
Current children cumulated vsize (KiB) 143152

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 11003
/proc/meminfo: memFree=1357432/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=146932 CPUtime=1349.48
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 942579 660 0 0 134555 392 0 1 25 0 1 0 59059691 150458368 34221 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 36733 34221 408 171 0 35658 0
Current children cumulated CPU time (s) 1349.48
Current children cumulated vsize (KiB) 146932

[startup+1422.31 s]
/proc/loadavg: 2.09 2.04 2.01 3/83 11046
/proc/meminfo: memFree=1129264/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=157220 CPUtime=1409.43
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 993626 660 0 0 140524 418 0 1 25 0 1 0 59059691 160993280 34807 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 39305 34807 408 171 0 38230 0
Current children cumulated CPU time (s) 1409.43
Current children cumulated vsize (KiB) 157220

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/82 11046
/proc/meminfo: memFree=1126000/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=159968 CPUtime=1469.4
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1033573 660 0 0 146504 435 0 1 25 0 1 0 59059691 163807232 35598 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 39992 35598 408 171 0 38917 0
Current children cumulated CPU time (s) 1469.4
Current children cumulated vsize (KiB) 159968

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 11046
/proc/meminfo: memFree=1122224/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=163364 CPUtime=1529.38
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1067766 660 0 0 152488 449 0 1 25 0 1 0 59059691 167284736 36511 996147200 134512640 135215973 4294956304 18446744073709551615 135096492 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 40841 36511 408 171 0 39766 0
Current children cumulated CPU time (s) 1529.38
Current children cumulated vsize (KiB) 163364

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 11046
/proc/meminfo: memFree=1120880/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=164384 CPUtime=1589.35
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1100764 660 0 0 158471 463 0 1 25 0 1 0 59059691 168329216 36853 996147200 134512640 135215973 4294956304 18446744073709551615 134648469 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 41096 36853 408 171 0 40021 0
Current children cumulated CPU time (s) 1589.35
Current children cumulated vsize (KiB) 164384

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11046
/proc/meminfo: memFree=1117104/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=167920 CPUtime=1649.33
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1176384 660 0 0 164438 494 0 1 25 0 1 0 59059691 171950080 37801 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 41980 37801 408 171 0 40905 0
Current children cumulated CPU time (s) 1649.33
Current children cumulated vsize (KiB) 167920

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11046
/proc/meminfo: memFree=1112816/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=171708 CPUtime=1709.31
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1278590 660 0 0 170395 535 0 1 25 0 1 0 59059691 175828992 38867 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 42927 38867 408 171 0 41852 0
Current children cumulated CPU time (s) 1709.31
Current children cumulated vsize (KiB) 171708

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11046
/proc/meminfo: memFree=1108016/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=175900 CPUtime=1769.29
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1376908 660 0 0 176352 576 0 1 25 0 1 0 59059691 180121600 40049 996147200 134512640 135215973 4294956304 18446744073709551615 134591927 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 43975 40049 408 171 0 42900 0
Current children cumulated CPU time (s) 1769.29
Current children cumulated vsize (KiB) 175900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11046
/proc/meminfo: memFree=1106096/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=177604 CPUtime=1800.08
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1404954 660 0 0 179422 585 0 1 25 0 1 0 59059691 181866496 40535 996147200 134512640 135215973 4294956304 18446744073709551615 134630803 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 44401 40535 408 171 0 43326 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 177604

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

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

[startup+1813.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11046
/proc/meminfo: memFree=1106096/2055920 swapFree=4192812/4192956
[pid=10992] ppid=10990 vsize=177604 CPUtime=1800.08
/proc/10992/stat : 10992 (pcs.big) R 10990 10992 9017 0 -1 4194304 1404954 660 0 0 179422 585 0 1 25 0 1 0 59059691 181866496 40535 996147200 134512640 135215973 4294956304 18446744073709551615 134630803 0 0 4096 0 0 0 0 17 0 0 0
/proc/10992/statm: 44401 40535 408 171 0 43326 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 177604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.13
CPU time (s): 1800.12
CPU user time (s): 1794.23
CPU system time (s): 5.8961
CPU usage (%): 99.2824
Max. virtual memory (cumulated for all children) (KiB): 177604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 5.8961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405614
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= 20
involuntary context switches= 58190

runsolver used 2.25466 second user time and 5.99609 second system time

The end

Launcher Data 

Begin job on node64 at 2009-07-16 06:52:44
IDJOB=2081593
IDBENCH=57439
IDSOLVER=734
FILE ID=node64/2081593-1247719964
PBS_JOBID= 9521362
Free space on /tmp= 66328 MiB

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

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

MD5SUM BENCH= fcc319e6fc9e5f3f4a12aa7c5c9c75e3
RANDOM SEED=1323324246

node64.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.220
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.220
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:       1494304 kB
Buffers:         85940 kB
Cached:         343344 kB
SwapCached:          0 kB
Active:         113804 kB
Inactive:       360432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1494304 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2960 kB
Writeback:           0 kB
Mapped:          65368 kB
Slab:            72144 kB
Committed_AS:   545304 kB
PageTables:       1900 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= 66308 MiB
End job on node64 at 2009-07-16 07:22:59