Trace number 3263544

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
SArTagnan 2011-03-24? (TO) 4800.36 1201.9

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
MD5SUM5bd7c76aed56f767985526812cdb8e0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark935.889
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses31962
Sum of the clauses size64344
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 231947
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263544-1304101190/watcher-3263544-1304101190 -o /tmp/evaluation-result-3263544-1304101190/solver-3263544-1304101190 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3263544-1304101190.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=19444 CPUtime=0 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 528 0 0 0 0 0 0 0 18 0 1 0 521716938 19910656 442 33554432000 4194304 4623224 140733394372464 18446744073709551615 228244348672 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31090/statm: 4861 443 297 105 0 365 0

[startup+0.672698 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=261756 CPUtime=3.25 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 10517 0 0 0 324 1 0 0 20 0 4 0 521716938 268038144 7824 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 65439 7824 357 105 0 60943 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 261756

[startup+0.923944 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=262508 CPUtime=3.65 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 10745 0 0 0 364 1 0 0 20 0 4 0 521716938 268808192 8047 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 65627 8047 357 105 0 61131 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 262508

[startup+1.00093 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=262508 CPUtime=3.96 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 11179 0 0 0 395 1 0 0 20 0 4 0 521716938 268808192 8181 33554432000 4194304 4623224 140733394372464 18446744073709551615 4507359 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 65627 8181 356 105 0 61131 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 262508

[startup+1.10091 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=262772 CPUtime=4.35 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 12299 0 0 0 434 1 0 0 20 0 4 0 521716938 269078528 8484 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 65693 8484 344 105 0 61197 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 262772

[startup+1.50085 s]
/proc/loadavg: 5.06 7.28 7.81 2/173 31090
/proc/meminfo: memFree=30953624/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=268924 CPUtime=5.96 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 16579 0 0 0 594 2 0 0 21 0 4 0 521716938 275378176 10844 33554432000 4194304 4623224 140733394372464 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 67231 10844 354 105 0 62735 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 268924

[startup+3.10057 s]
/proc/loadavg: 5.30 7.29 7.81 9/184 31102
/proc/meminfo: memFree=30832892/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=279184 CPUtime=12.34 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 27098 0 0 0 1230 4 0 0 25 0 4 0 521716938 285884416 15608 33554432000 4194304 4623224 140733394372464 18446744073709551615 4415016 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 69796 15608 345 105 0 65300 0
[pid=31090/tid=31096] ppid=31088 vsize=279184 CPUtime=3.08 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 4799 0 0 0 307 1 0 0 25 0 4 0 521716939 285884416 15608 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=279184 CPUtime=3.08 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6096 0 0 0 307 1 0 0 25 0 4 0 521716939 285884416 15608 33554432000 4194304 4623224 140733394372464 18446744073709551615 4366354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=279184 CPUtime=3.07 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 8568 0 0 0 306 1 0 0 21 0 4 0 521716939 285884416 15608 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 279184

[startup+6.307 s]
/proc/loadavg: 5.30 7.29 7.81 9/184 31102
/proc/meminfo: memFree=30774408/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=295928 CPUtime=25.14 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 43128 0 0 0 2507 7 0 0 25 0 4 0 521716938 303030272 22724 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 73982 22724 346 105 0 69486 0
[pid=31090/tid=31096] ppid=31088 vsize=295928 CPUtime=6.28 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 7627 0 0 0 627 1 0 0 25 0 4 0 521716939 303030272 22724 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=295928 CPUtime=6.28 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 9524 0 0 0 627 1 0 0 25 0 4 0 521716939 303030272 22724 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=295928 CPUtime=6.25 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 15034 0 0 0 623 2 0 0 25 0 4 0 521716939 303030272 22724 33554432000 4194304 4623224 140733394372464 18446744073709551615 4559125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 295928

[startup+12.7009 s]
/proc/loadavg: 5.59 7.32 7.82 9/184 31102
/proc/meminfo: memFree=30697992/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=324520 CPUtime=50.69 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 119936 0 0 0 5047 22 0 0 25 0 4 0 521716938 332308480 34946 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 81130 34946 346 105 0 76634 0
[pid=31090/tid=31096] ppid=31088 vsize=324520 CPUtime=12.67 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 16686 0 0 0 1263 4 0 0 25 0 4 0 521716939 332308480 34946 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=324520 CPUtime=12.68 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 14490 0 0 0 1264 4 0 0 25 0 4 0 521716939 332308480 34946 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=324520 CPUtime=12.62 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 73029 0 0 0 1250 12 0 0 25 0 4 0 521716939 332308480 34946 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364623 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 324520

[startup+25.5007 s]
/proc/loadavg: 6.13 7.35 7.82 9/184 31103
/proc/meminfo: memFree=30516692/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=373132 CPUtime=101.82 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 206802 0 0 0 10142 40 0 0 25 0 4 0 521716938 382087168 54817 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 93283 54817 348 105 0 88787 0
[pid=31090/tid=31096] ppid=31088 vsize=373132 CPUtime=25.48 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 24595 0 0 0 2542 6 0 0 25 0 4 0 521716939 382087168 54817 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=373132 CPUtime=25.48 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 24239 0 0 0 2539 9 0 0 25 0 4 0 521716939 382087168 54817 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=373132 CPUtime=25.34 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 125624 0 0 0 2515 19 0 0 25 0 4 0 521716939 382087168 54817 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364625 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 373132

[startup+51.1012 s]
/proc/loadavg: 6.83 7.42 7.83 9/184 31103
/proc/meminfo: memFree=30282528/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=600668 CPUtime=204.08 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 488875 0 0 0 20320 88 0 0 25 0 4 0 521716938 615084032 100141 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 150167 100141 349 105 0 145671 0
[pid=31090/tid=31096] ppid=31088 vsize=600668 CPUtime=51.07 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 48501 0 0 0 5096 11 0 0 25 0 4 0 521716939 615084032 100141 33554432000 4194304 4623224 140733394372464 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=600668 CPUtime=51.07 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 37409 0 0 0 5091 16 0 0 25 0 4 0 521716939 615084032 100141 33554432000 4194304 4623224 140733394372464 18446744073709551615 4462925 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=600668 CPUtime=50.8 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 299062 0 0 0 5035 45 0 0 25 0 4 0 521716939 615084032 100141 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 600668

[startup+102.3 s]
/proc/loadavg: 7.49 7.51 7.83 9/184 31105
/proc/meminfo: memFree=29948828/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=781044 CPUtime=408.59 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 692507 0 0 0 40728 131 0 0 25 0 4 0 521716938 799789056 143590 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 195261 143590 344 105 0 190765 0
[pid=31090/tid=31096] ppid=31088 vsize=781044 CPUtime=102.27 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 55537 0 0 0 10211 16 0 0 25 0 4 0 521716939 799789056 143590 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=781044 CPUtime=102.28 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 44639 0 0 0 10206 22 0 0 25 0 4 0 521716939 799789056 143590 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=781044 CPUtime=101.72 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 419274 0 0 0 10107 65 0 0 25 0 4 0 521716939 799789056 143590 33554432000 4194304 4623224 140733394372464 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 781044

[startup+162.301 s]
/proc/loadavg: 7.81 7.59 7.84 9/184 31106
/proc/meminfo: memFree=29565272/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=1121472 CPUtime=648.27 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 1090526 0 0 0 64626 201 0 0 25 0 4 0 521716938 1148387328 201094 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 280368 201094 405 105 0 275872 0
[pid=31090/tid=31096] ppid=31088 vsize=1121472 CPUtime=162.28 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 80142 0 0 0 16206 22 0 0 25 0 4 0 521716939 1148387328 201094 33554432000 4194304 4623224 140733394372464 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=1121472 CPUtime=162.27 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 65708 0 0 0 16188 39 0 0 25 0 4 0 521716939 1148387328 201094 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=1121472 CPUtime=161.4 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 681580 0 0 0 16040 100 0 0 25 0 4 0 521716939 1148387328 201094 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 1121472

[startup+222.3 s]
/proc/loadavg: 7.93 7.67 7.84 9/184 31108
/proc/meminfo: memFree=29217804/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=1442896 CPUtime=887.91 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 1722979 0 0 0 88489 302 0 0 25 0 4 0 521716938 1477525504 260409 33554432000 4194304 4623224 140733394372464 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 360724 260409 398 105 0 356228 0
[pid=31090/tid=31096] ppid=31088 vsize=1442896 CPUtime=222.27 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 108659 0 0 0 22201 26 0 0 25 0 4 0 521716939 1477525504 260409 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=1442896 CPUtime=222.27 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 69901 0 0 0 22183 44 0 0 25 0 4 0 521716939 1477525504 260409 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=1442896 CPUtime=221.06 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 1121614 0 0 0 21936 170 0 0 25 0 4 0 521716939 1477525504 260409 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.91
Current children cumulated vsize (KiB) 1442896

[startup+282.301 s]
/proc/loadavg: 8.01 7.74 7.85 9/184 31110
/proc/meminfo: memFree=29026432/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=1551472 CPUtime=1127.61 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 2362374 0 0 0 112353 408 0 0 25 0 4 0 521716938 1588707328 292255 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 387868 292255 397 105 0 383372 0
[pid=31090/tid=31096] ppid=31088 vsize=1551472 CPUtime=282.28 cores=1,3,5,7

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


[startup+702.3 s]
/proc/loadavg: 8.04 8.02 7.94 9/184 31121
/proc/meminfo: memFree=26154040/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=3594472 CPUtime=2805.29 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 5896181 0 0 0 279533 996 0 0 25 0 4 0 521716938 3680739328 727827 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 898618 727827 344 105 0 894122 0
[pid=31090/tid=31096] ppid=31088 vsize=3594472 CPUtime=702.28 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 127794 0 0 0 70193 35 0 0 25 0 4 0 521716939 3680739328 727827 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=3594472 CPUtime=702.25 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 150429 0 0 0 70122 103 0 0 25 0 4 0 521716939 3680739328 727827 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=3594472 CPUtime=698.44 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 3985336 0 0 0 69226 618 0 0 25 0 4 0 521716939 3680739328 727827 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 3594472

[startup+762.301 s]
/proc/loadavg: 8.01 8.01 7.94 9/184 31122
/proc/meminfo: memFree=25821444/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=3727524 CPUtime=3044.96 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 6360599 0 0 0 303421 1075 0 0 25 0 4 0 521716938 3816984576 796278 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 931881 796278 350 105 0 927385 0
[pid=31090/tid=31096] ppid=31088 vsize=3727524 CPUtime=762.28 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 128433 0 0 0 76193 35 0 0 25 0 4 0 521716939 3816984576 796278 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357994 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=3727524 CPUtime=762.18 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 155628 0 0 0 76110 108 0 0 25 0 4 0 521716939 3816984576 796278 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=3727524 CPUtime=758.18 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 4368144 0 0 0 75141 677 0 0 25 0 4 0 521716939 3816984576 796278 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 3727524

[startup+822.3 s]
/proc/loadavg: 8.00 8.01 7.94 9/184 31124
/proc/meminfo: memFree=25286608/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=4559664 CPUtime=3284.59 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 7340452 0 0 0 327235 1224 0 0 25 0 4 0 521716938 4669095936 911263 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1139916 911263 344 105 0 1135420 0
[pid=31090/tid=31096] ppid=31088 vsize=4559664 CPUtime=822.28 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 128596 0 0 0 82193 35 0 0 25 0 4 0 521716939 4669095936 911263 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=4559664 CPUtime=821.85 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 161130 0 0 0 82069 116 0 0 25 0 4 0 521716939 4669095936 911263 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=4559664 CPUtime=818.14 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 4839985 0 0 0 81061 753 0 0 25 0 4 0 521716939 4669095936 911263 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.59
Current children cumulated vsize (KiB) 4559664

[startup+882.301 s]
/proc/loadavg: 8.00 8.00 7.94 9/184 31126
/proc/meminfo: memFree=24955248/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=4757516 CPUtime=3524.25 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 7881903 0 0 0 351105 1320 0 0 25 0 4 0 521716938 4871696384 983078 33554432000 4194304 4623224 140733394372464 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1189379 983080 347 105 0 1184883 0
[pid=31090/tid=31096] ppid=31088 vsize=4757516 CPUtime=882.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 166284 0 0 0 88188 41 0 0 25 0 4 0 521716939 4871696384 983081 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=4757516 CPUtime=881.52 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 166883 0 0 0 88027 125 0 0 25 0 4 0 521716939 4871696384 983081 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=4757516 CPUtime=878.14 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 5263781 0 0 0 86996 818 0 0 25 0 4 0 521716939 4871696384 983081 33554432000 4194304 4623224 140733394372464 18446744073709551615 4577476 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.25
Current children cumulated vsize (KiB) 4757516

[startup+942.3 s]
/proc/loadavg: 8.00 8.00 7.94 9/184 31127
/proc/meminfo: memFree=24788324/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=4762920 CPUtime=3763.94 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 8364966 0 0 0 374996 1398 0 0 25 0 4 0 521716938 4877230080 993576 33554432000 4194304 4623224 140733394372464 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1190730 993576 344 105 0 1186234 0
[pid=31090/tid=31096] ppid=31088 vsize=4762920 CPUtime=942.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 166503 0 0 0 94188 41 0 0 25 0 4 0 521716939 4877230080 993576 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357881 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=4762920 CPUtime=941.2 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 169793 0 0 0 93990 130 0 0 25 0 4 0 521716939 4877230080 993576 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=4762920 CPUtime=938.14 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 5735764 0 0 0 92925 889 0 0 25 0 4 0 521716939 4877230080 993576 33554432000 4194304 4623224 140733394372464 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.94
Current children cumulated vsize (KiB) 4762920

[startup+1002.3 s]
/proc/loadavg: 8.00 8.00 7.94 9/184 31129
/proc/meminfo: memFree=24453248/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=5063104 CPUtime=4003.6 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 8938031 0 0 0 398865 1495 0 0 25 0 4 0 521716938 5184618496 1058220 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1265776 1058220 353 105 0 1261280 0
[pid=31090/tid=31096] ppid=31088 vsize=5063104 CPUtime=1002.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 167400 0 0 0 100188 41 0 0 25 0 4 0 521716939 5184618496 1058220 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=5063104 CPUtime=1000.87 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 174517 0 0 0 99950 137 0 0 25 0 4 0 521716939 5184618496 1058220 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=5063104 CPUtime=998.13 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6191318 0 0 0 98851 962 0 0 25 0 4 0 521716939 5184618496 1058220 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.6
Current children cumulated vsize (KiB) 5063104

[startup+1062.31 s]
/proc/loadavg: 8.06 8.02 7.94 9/184 31130
/proc/meminfo: memFree=24225060/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=5142100 CPUtime=4243.3 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 9394997 0 0 0 422756 1574 0 0 25 0 4 0 521716938 5265510400 1084043 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1285525 1084043 344 105 0 1281029 0
[pid=31090/tid=31096] ppid=31088 vsize=5142100 CPUtime=1062.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 167471 0 0 0 106188 41 0 0 25 0 4 0 521716939 5265510400 1084043 33554432000 4194304 4623224 140733394372464 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=5142100 CPUtime=1060.54 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 178396 0 0 0 105911 143 0 0 25 0 4 0 521716939 5265510400 1084043 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=5142100 CPUtime=1058.14 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6620166 0 0 0 104783 1031 0 0 25 0 4 0 521716939 5265510400 1084043 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 5142100

[startup+1122.3 s]
/proc/loadavg: 8.08 8.03 7.95 9/184 31132
/proc/meminfo: memFree=23929924/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=5322292 CPUtime=4482.96 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 9481206 0 0 0 446701 1595 0 0 25 0 4 0 521716938 5450027008 1144887 33554432000 4194304 4623224 140733394372464 18446744073709551615 4414998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1330573 1144887 344 105 0 1326077 0
[pid=31090/tid=31096] ppid=31088 vsize=5322292 CPUtime=1122.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 168104 0 0 0 112188 41 0 0 25 0 4 0 521716939 5450027008 1144887 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=5322292 CPUtime=1120.21 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 183925 0 0 0 111869 152 0 0 25 0 4 0 521716939 5450027008 1144887 33554432000 4194304 4623224 140733394372464 18446744073709551615 4484160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=5322292 CPUtime=1118.13 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6623265 0 0 0 110782 1031 0 0 25 0 4 0 521716939 5450027008 1144887 33554432000 4194304 4623224 140733394372464 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.96
Current children cumulated vsize (KiB) 5322292

[startup+1182.3 s]
/proc/loadavg: 8.11 8.05 7.96 9/184 31134
/proc/meminfo: memFree=23474444/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=5387828 CPUtime=4722.63 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 9493088 0 0 0 470660 1603 0 0 25 0 4 0 521716938 5517135872 1155598 33554432000 4194304 4623224 140733394372464 18446744073709551615 4511014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1346957 1155598 344 105 0 1342461 0
[pid=31090/tid=31096] ppid=31088 vsize=5387828 CPUtime=1182.29 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 168133 0 0 0 118188 41 0 0 25 0 4 0 521716939 5517135872 1155598 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=5387828 CPUtime=1179.88 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 187677 0 0 0 117830 158 0 0 25 0 4 0 521716939 5517135872 1155598 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=5387828 CPUtime=1178.14 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6623518 0 0 0 116782 1032 0 0 25 0 4 0 521716939 5517135872 1155598 33554432000 4194304 4623224 140733394372464 18446744073709551615 4560112 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 5387828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.06 7.97 9/184 31134
/proc/meminfo: memFree=23440828/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=5387828 CPUtime=4800.15 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) R 31088 31090 30527 0 -1 4202496 9497284 0 0 0 478409 1606 0 0 25 0 4 0 521716938 5517135872 1159428 33554432000 4194304 4623224 140733394372464 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 1346957 1159428 344 105 0 1342461 0
[pid=31090/tid=31096] ppid=31088 vsize=5387828 CPUtime=1201.7 cores=1,3,5,7
/proc/31090/task/31096/stat : 31096 (SArTagnan) R 31088 31090 30527 0 -1 4202560 168144 0 0 0 120129 41 0 0 25 0 4 0 521716939 5517135872 1159428 33554432000 4194304 4623224 140733394372464 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=5387828 CPUtime=1199.18 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4202560 189378 0 0 0 119757 161 0 0 25 0 4 0 521716939 5517135872 1159428 33554432000 4194304 4623224 140733394372464 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31090/tid=31098] ppid=31088 vsize=5387828 CPUtime=1197.55 cores=1,3,5,7
/proc/31090/task/31098/stat : 31098 (SArTagnan) R 31088 31090 30527 0 -1 4202560 6623690 0 0 0 118723 1032 0 0 25 0 4 0 521716939 5517135872 1159428 33554432000 4194304 4623224 140733394372464 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 5387828

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

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

[startup+1201.81 s]
/proc/loadavg: 8.14 8.06 7.97 9/184 31134
/proc/meminfo: memFree=23440828/32951124 swapFree=67111364/67111528
[pid=31090] ppid=31088 vsize=0 CPUtime=4800.27 cores=1,3,5,7
/proc/31090/stat : 31090 (SArTagnan) Z 31088 31090 30527 0 -1 4203548 9497284 0 0 0 478411 1616 0 0 25 0 2 0 521716938 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31090/statm: 0 0 0 0 0 0 0
[pid=31090/tid=31097] ppid=31088 vsize=0 CPUtime=1199.29 cores=1,3,5,7
/proc/31090/task/31097/stat : 31097 (SArTagnan) R 31088 31090 30527 0 -1 4203588 189378 0 0 0 119758 171 0 0 25 0 2 0 521716939 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.9
CPU time (s): 4800.36
CPU user time (s): 4784.11
CPU system time (s): 16.2505
CPU usage (%): 399.399
Max. virtual memory (cumulated for all children) (KiB): 5988204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.11
system time used= 16.2505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9497284
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= 5748
involuntary context switches= 31858

runsolver used 1.76673 second user time and 4.79527 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 20:19:50
IDJOB=3263544
IDBENCH=83985
IDSOLVER=1656
FILE ID=node136/3263544-1304101190
RUNJOBID= node136-1304101190-31076
PBS_JOBID= 13170595
Free space on /tmp= 72336 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263544-1304101190/watcher-3263544-1304101190 -o /tmp/evaluation-result-3263544-1304101190/solver-3263544-1304101190 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3263544-1304101190.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5bd7c76aed56f767985526812cdb8e0e
RANDOM SEED=635187748

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30954020 kB
Buffers:        582400 kB
Cached:         927676 kB
SwapCached:          0 kB
Active:         124600 kB
Inactive:      1448952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30954020 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1664 kB
Writeback:           0 kB
AnonPages:       64156 kB
Mapped:          14484 kB
Slab:           359800 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72332 MiB
End job on node136 at 2011-04-29 20:39:53