Trace number 1577789

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
march_nn nn? (TO) 1200.13 1200.62

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
MD5SUM501f46d9a7ec80065d0e56530d26e648
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.35749
Satisfiable
(Un)Satisfiability was proved
Number of variables617854
Number of clauses2745225
Sum of the clauses size7889647
Maximum clause length11
Minimum clause length1
Number of clauses of size 163819
Number of clauses of size 2860549
Number of clauses of size 31288709
Number of clauses of size 4426025
Number of clauses of size 5105475
Number of clauses of size over 5648

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/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-1577789-1241004711/watcher-1577789-1241004711 -o /tmp/evaluation-result-1577789-1241004711/solver-1577789-1241004711 -C 1200 -W 1800 -M 1800 HOME/march_nn HOME/instance-1577789-1241004711.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.29 1.67 1.41 3/65 6736
/proc/meminfo: memFree=912688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=13976 CPUtime=0
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 666 0 0 0 0 0 0 0 18 0 1 0 128499155 14311424 651 1992294400 134512640 135197250 4294956224 18446744073709551615 134568349 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 3494 657 58 167 0 3325 0

[startup+0.105209 s]
/proc/loadavg: 1.29 1.67 1.41 3/65 6736
/proc/meminfo: memFree=912688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=60624 CPUtime=0.09
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 11540 0 0 0 5 4 0 0 18 0 1 0 128499155 62078976 11525 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 15156 11530 58 167 0 14987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60624

[startup+0.201218 s]
/proc/loadavg: 1.29 1.67 1.41 3/65 6736
/proc/meminfo: memFree=912688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=71564 CPUtime=0.19
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 14542 0 0 0 13 6 0 0 19 0 1 0 128499155 73281536 14527 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 17891 14527 58 167 0 17722 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71564

[startup+0.301227 s]
/proc/loadavg: 1.29 1.67 1.41 3/65 6736
/proc/meminfo: memFree=912688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=72752 CPUtime=0.29
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 14921 0 0 0 23 6 0 0 20 0 1 0 128499155 74498048 14906 1992294400 134512640 135197250 4294956224 18446744073709551615 134785391 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 18188 14907 58 167 0 18019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72752

[startup+0.701266 s]
/proc/loadavg: 1.29 1.67 1.41 3/65 6736
/proc/meminfo: memFree=912688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=77636 CPUtime=0.69
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 16438 0 0 0 62 7 0 0 23 0 1 0 128499155 79499264 16423 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 19409 16423 58 167 0 19240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77636

[startup+1.50235 s]
/proc/loadavg: 1.29 1.67 1.41 2/66 6737
/proc/meminfo: memFree=841128/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=87404 CPUtime=1.49
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 19431 0 0 0 140 9 0 0 25 0 1 0 128499155 89501696 19416 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 21851 19416 58 167 0 21682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87404

[startup+3.1015 s]
/proc/loadavg: 1.29 1.67 1.41 2/66 6737
/proc/meminfo: memFree=822440/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=106940 CPUtime=3.09
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 25430 0 0 0 296 13 0 0 25 0 1 0 128499155 109506560 25415 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 26735 25415 58 167 0 26566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106940

[startup+6.30181 s]
/proc/loadavg: 1.34 1.68 1.41 2/66 6737
/proc/meminfo: memFree=718696/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=278308 CPUtime=6.29
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 54577 0 0 0 603 26 0 0 25 0 1 0 128499155 284987392 48001 1992294400 134512640 135197250 4294956224 18446744073709551615 134565230 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 69577 48001 65 167 0 69408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 278308

[startup+12.7014 s]
/proc/loadavg: 1.40 1.68 1.42 2/66 6737
/proc/meminfo: memFree=667688/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=315384 CPUtime=12.68
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 79441 0 0 0 1231 37 0 0 25 0 1 0 128499155 322953216 57629 1992294400 134512640 135197250 4294956224 18446744073709551615 134695214 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 78846 57629 67 167 0 78677 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 315384

[startup+25.5017 s]
/proc/loadavg: 1.38 1.66 1.41 2/66 6737
/proc/meminfo: memFree=672744/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=320204 CPUtime=25.48
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 105153 0 0 0 2499 49 0 0 25 0 1 0 128499155 327888896 58834 1992294400 134512640 135197250 4294956224 18446744073709551615 134514342 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 80051 58834 67 167 0 79882 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 320204

[startup+51.1012 s]
/proc/loadavg: 1.25 1.61 1.40 2/66 6737
/proc/meminfo: memFree=621544/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=381268 CPUtime=51.07
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 157582 0 0 0 5034 73 0 0 25 0 1 0 128499155 390418432 72909 1992294400 134512640 135197250 4294956224 18446744073709551615 134539469 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 95317 72909 82 167 0 95148 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 381268

[startup+102.301 s]
/proc/loadavg: 1.10 1.51 1.38 2/66 6737
/proc/meminfo: memFree=594408/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=414044 CPUtime=102.25
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 164378 0 0 0 10150 75 0 0 25 0 1 0 128499155 423981056 79705 1992294400 134512640 135197250 4294956224 18446744073709551615 134578126 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 103511 79705 82 167 0 103342 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 414044

[startup+162.302 s]
/proc/loadavg: 1.04 1.42 1.35 2/66 6737
/proc/meminfo: memFree=537064/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=477040 CPUtime=162.22
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 178904 0 0 0 16142 80 0 0 25 0 1 0 128499155 488488960 94231 1992294400 134512640 135197250 4294956224 18446744073709551615 134539457 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 119260 94231 82 167 0 119091 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 477040

[startup+222.306 s]
/proc/loadavg: 1.01 1.34 1.33 2/66 6737
/proc/meminfo: memFree=483368/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=579536 CPUtime=222.21
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 192080 0 0 0 22136 85 0 0 25 0 1 0 128499155 593444864 107407 1992294400 134512640 135197250 4294956224 18446744073709551615 134578107 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 144884 107407 82 167 0 144715 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 579536

[startup+282.302 s]
/proc/loadavg: 1.00 1.27 1.30 2/66 6737
/proc/meminfo: memFree=468904/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=590228 CPUtime=282.18
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 195670 0 0 0 28132 86 0 0 25 0 1 0 128499155 604393472 110997 1992294400 134512640 135197250 4294956224 18446744073709551615 134539471 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 147557 110997 82 167 0 147388 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 590228

[startup+342.302 s]
/proc/loadavg: 1.00 1.22 1.28 2/66 6737
/proc/meminfo: memFree=451496/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=602108 CPUtime=342.15
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 200056 0 0 0 34128 87 0 0 25 0 1 0 128499155 616558592 115383 1992294400 134512640 135197250 4294956224 18446744073709551615 134578098 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 150527 115383 82 167 0 150358 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 602108

[startup+402.301 s]
/proc/loadavg: 1.00 1.18 1.26 2/66 6737
/proc/meminfo: memFree=394984/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=643688 CPUtime=402.13
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 214340 0 0 0 40119 94 0 0 25 0 1 0 128499155 659136512 129667 1992294400 134512640 135197250 4294956224 18446744073709551615 134539469 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 160922 129667 82 167 0 160753 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 643688

[startup+462.301 s]
/proc/loadavg: 1.00 1.14 1.24 2/66 6739
/proc/meminfo: memFree=361448/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=668240 CPUtime=462.1
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 222521 0 0 0 46112 98 0 0 25 0 1 0 128499155 684277760 137848 1992294400 134512640 135197250 4294956224 18446744073709551615 134578107 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 167060 137848 82 167 0 166891 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 668240

[startup+522.301 s]
/proc/loadavg: 1.00 1.11 1.23 2/66 6739
/proc/meminfo: memFree=344744/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=681044 CPUtime=522.08
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 226770 0 0 0 52107 101 0 0 25 0 1 0 128499155 697389056 142097 1992294400 134512640 135197250 4294956224 18446744073709551615 134539469 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 170261 142097 82 167 0 170092 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 681044

[startup+582.302 s]
/proc/loadavg: 1.00 1.09 1.21 2/66 6739
/proc/meminfo: memFree=318056/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=700712 CPUtime=582.05
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 233349 0 0 0 58102 103 0 0 25 0 1 0 128499155 717529088 148676 1992294400 134512640 135197250 4294956224 18446744073709551615 134578126 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 175178 148676 82 167 0 175009 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 700712

[startup+642.302 s]
/proc/loadavg: 1.00 1.07 1.19 2/66 6739
/proc/meminfo: memFree=316456/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=701900 CPUtime=642.02
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 233747 0 0 0 64099 103 0 0 25 0 1 0 128499155 718745600 149074 1992294400 134512640 135197250 4294956224 18446744073709551615 134578135 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 175475 149074 82 167 0 175306 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 701900

[startup+702.302 s]
/proc/loadavg: 1.00 1.06 1.18 2/66 6739
/proc/meminfo: memFree=314728/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=703088 CPUtime=702
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 234143 0 0 0 70097 103 0 0 25 0 1 0 128499155 719962112 149470 1992294400 134512640 135197250 4294956224 18446744073709551615 134578135 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 175772 149470 82 167 0 175603 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 703088

[startup+762.302 s]
/proc/loadavg: 1.00 1.04 1.16 2/66 6739
/proc/meminfo: memFree=313064/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=704276 CPUtime=761.98
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 234540 0 0 0 76095 103 0 0 25 0 1 0 128499155 721178624 149867 1992294400 134512640 135197250 4294956224 18446744073709551615 134578117 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 176069 149867 82 167 0 175900 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 704276

[startup+822.301 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 6739
/proc/meminfo: memFree=305576/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=709688 CPUtime=821.95
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 236538 0 0 0 82091 104 0 0 25 0 1 0 128499155 726720512 151865 1992294400 134512640 135197250 4294956224 18446744073709551615 134578126 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 177422 151865 82 167 0 177253 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 709688

[startup+882.306 s]
/proc/loadavg: 1.00 1.02 1.14 2/66 6739
/proc/meminfo: memFree=253864/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=877192 CPUtime=881.94
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 249359 0 0 0 88083 111 0 0 25 0 1 0 128499155 898244608 164686 1992294400 134512640 135197250 4294956224 18446744073709551615 134539469 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 219298 164686 82 167 0 219129 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 877192

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.13 2/66 6739
/proc/meminfo: memFree=205288/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=913492 CPUtime=941.91
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 261481 0 0 0 94075 116 0 0 25 0 1 0 128499155 935415808 176808 1992294400 134512640 135197250 4294956224 18446744073709551615 134578135 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 228373 176808 82 167 0 228204 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 913492

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/66 6739
/proc/meminfo: memFree=182056/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=930916 CPUtime=1001.88
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 267262 0 0 0 100069 119 0 0 25 0 1 0 128499155 953257984 182589 1992294400 134512640 135197250 4294956224 18446744073709551615 134578114 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 232729 182589 82 167 0 232560 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 930916

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/66 6739
/proc/meminfo: memFree=157160/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=949396 CPUtime=1061.85
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 273456 0 0 0 106064 121 0 0 25 0 1 0 128499155 972181504 188783 1992294400 134512640 135197250 4294956224 18446744073709551615 134578096 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 237349 188783 82 167 0 237180 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 949396

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 6739
/proc/meminfo: memFree=155944/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=950452 CPUtime=1121.84
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 273769 0 0 0 112062 122 0 0 25 0 1 0 128499155 973262848 189096 1992294400 134512640 135197250 4294956224 18446744073709551615 134539454 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 237613 189096 82 167 0 237444 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 950452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 6739
/proc/meminfo: memFree=154664/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=951376 CPUtime=1181.81
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 274084 0 0 0 118059 122 0 0 25 0 1 0 128499155 974209024 189411 1992294400 134512640 135197250 4294956224 18446744073709551615 134578126 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 237844 189411 82 167 0 237675 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 951376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 6739
/proc/meminfo: memFree=154280/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=951640 CPUtime=1200.01
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4194304 274179 0 0 0 119879 122 0 0 25 0 1 0 128499155 974479360 189506 1992294400 134512640 135197250 4294956224 18446744073709551615 134578098 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 237910 189506 82 167 0 237741 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 951640

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

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

[startup+1200.61 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 6739
/proc/meminfo: memFree=154280/2055920 swapFree=4191356/4192956
[pid=6736] ppid=6734 vsize=0 CPUtime=1200.11
/proc/6736/stat : 6736 (march_nn) R 6734 6736 6322 0 -1 4195332 274179 0 0 0 119879 132 0 0 25 0 1 0 128499155 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/6736/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.62
CPU time (s): 1200.13
CPU user time (s): 1198.79
CPU system time (s): 1.3398
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 951640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.79
system time used= 1.3398
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274179
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= 2
involuntary context switches= 2504

runsolver used 1.24481 second user time and 3.13152 second system time

The end

Launcher Data 

Begin job on node56 at 2009-04-29 13:31:54
IDJOB=1577789
IDBENCH=70966
IDSOLVER=522
FILE ID=node56/1577789-1241004711
PBS_JOBID= 9204814
Free space on /tmp= 103104 MiB

SOLVER NAME= march_nn nn
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_2_L324_coli.cnf
COMMAND LINE= HOME/march_nn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577789-1241004711/watcher-1577789-1241004711 -o /tmp/evaluation-result-1577789-1241004711/solver-1577789-1241004711 -C 1200 -W 1800 -M 1800  HOME/march_nn HOME/instance-1577789-1241004711.cnf

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

MD5SUM BENCH= 501f46d9a7ec80065d0e56530d26e648
RANDOM SEED=1276971627

node56.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.218
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.218
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:        913104 kB
Buffers:         72108 kB
Cached:         979676 kB
SwapCached:        924 kB
Active:         383052 kB
Inactive:       682684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        913104 kB
SwapTotal:     4192956 kB
SwapFree:      4191356 kB
Dirty:           54700 kB
Writeback:           0 kB
Mapped:          22608 kB
Slab:            62932 kB
Committed_AS:   482524 kB
PageTables:       1480 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= 103104 MiB
End job on node56 at 2009-04-29 13:51:57