Trace number 3386068

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-05-15 (fixed)UNSAT 3063.53 768.597

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
MD5SUMf5821fd80ce137a7b8cae2070a9b28d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.97324
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of clauses726
Sum of the clauses size2541
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2605
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5121

Solver Data 

3063.29/768.54	
3063.29/768.54	s UNSATISFIABLE
3063.29/768.54	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386068-1305581521/watcher-3386068-1305581521 -o /tmp/evaluation-result-3386068-1305581521/solver-3386068-1305581521 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386068-1305581521.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: 7.84 7.99 7.80 5/427 5862
/proc/meminfo: memFree=20029320/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 448 0 0 0 0 0 0 0 25 0 4 0 748382747 50388992 385 33554432000 4194304 4625164 140736134795712 18446744073709551615 47003052373938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 12302 385 301 106 0 7805 0
[pid=5862/tid=5863] ppid=5860 vsize=180420 CPUtime=0 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 748382747 184750080 473 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=180420 CPUtime=0.01 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 24 0 0 0 1 0 0 0 25 0 4 0 748382747 184750080 477 33554432000 4194304 4625164 140736134795712 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=180420 CPUtime=0.01 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 23 0 0 0 1 0 0 0 25 0 4 0 748382747 184750080 477 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0659731 s]
/proc/loadavg: 7.84 7.99 7.80 5/427 5862
/proc/meminfo: memFree=20029320/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=181972 CPUtime=0.23 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1447 0 0 0 23 0 0 0 25 0 4 0 748382747 186339328 1124 33554432000 4194304 4625164 140736134795712 18446744073709551615 4396709 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 45493 1124 345 106 0 40996 0
[pid=5862/tid=5863] ppid=5860 vsize=181972 CPUtime=0.04 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 262 0 0 0 4 0 0 0 25 0 4 0 748382747 186339328 1124 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=181972 CPUtime=0.06 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 256 0 0 0 6 0 0 0 25 0 4 0 748382747 186339328 1124 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=181972 CPUtime=0.06 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 264 0 0 0 6 0 0 0 25 0 4 0 748382747 186339328 1124 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905054205 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 181972

[startup+0.165955 s]
/proc/loadavg: 7.84 7.99 7.80 5/427 5862
/proc/meminfo: memFree=20029320/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=248592 CPUtime=0.63 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 2779 0 0 0 63 0 0 0 25 0 4 0 748382747 254558208 1953 33554432000 4194304 4625164 140736134795712 18446744073709551615 4514032 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 62148 1953 345 106 0 57651 0
[pid=5862/tid=5863] ppid=5860 vsize=248592 CPUtime=0.14 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 687 0 0 0 14 0 0 0 25 0 4 0 748382747 254558208 1953 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=248592 CPUtime=0.16 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 654 0 0 0 16 0 0 0 25 0 4 0 748382747 254558208 1953 33554432000 4194304 4625164 140736134795712 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=248592 CPUtime=0.16 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 669 0 0 0 16 0 0 0 25 0 4 0 748382747 254558208 1953 33554432000 4194304 4625164 140736134795712 18446744073709551615 4547445 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 248592

[startup+0.300934 s]
/proc/loadavg: 7.84 7.99 7.80 5/427 5862
/proc/meminfo: memFree=20029320/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=251448 CPUtime=1.17 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 4487 0 0 0 116 1 0 0 25 0 4 0 748382747 257482752 2926 33554432000 4194304 4625164 140736134795712 18446744073709551615 4393070 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 62862 2926 345 106 0 58365 0
[pid=5862/tid=5863] ppid=5860 vsize=251448 CPUtime=0.28 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 1224 0 0 0 28 0 0 0 25 0 4 0 748382747 257482752 2926 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905053611 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=251448 CPUtime=0.29 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 1461 0 0 0 29 0 0 0 25 0 4 0 748382747 257482752 2926 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=251448 CPUtime=0.29 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 872 0 0 0 29 0 0 0 25 0 4 0 748382747 257482752 2926 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 251448

[startup+0.700862 s]
/proc/loadavg: 7.84 7.99 7.80 5/427 5862
/proc/meminfo: memFree=20029320/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=255592 CPUtime=2.77 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 7930 0 0 0 276 1 0 0 25 0 4 0 748382747 261726208 4507 33554432000 4194304 4625164 140736134795712 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 63898 4507 345 106 0 59401 0
[pid=5862/tid=5863] ppid=5860 vsize=255592 CPUtime=0.67 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 2487 0 0 0 67 0 0 0 25 0 4 0 748382747 261726208 4507 33554432000 4194304 4625164 140736134795712 18446744073709551615 47003049869293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=255592 CPUtime=0.69 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 2406 0 0 0 69 0 0 0 25 0 4 0 748382747 261726208 4508 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=255592 CPUtime=0.69 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 1827 0 0 0 69 0 0 0 25 0 4 0 748382747 261726208 4508 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 255592

[startup+1.50072 s]
/proc/loadavg: 7.84 7.99 7.80 9/431 5866
/proc/meminfo: memFree=20005876/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=261304 CPUtime=5.95 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 13978 0 0 0 593 2 0 0 25 0 4 0 748382747 267575296 7551 33554432000 4194304 4625164 140736134795712 18446744073709551615 4511866 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 65326 7551 353 106 0 60829 0
[pid=5862/tid=5863] ppid=5860 vsize=261304 CPUtime=1.45 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 4018 0 0 0 145 0 0 0 25 0 4 0 748382747 267575296 7551 33554432000 4194304 4625164 140736134795712 18446744073709551615 4345332 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=261304 CPUtime=1.48 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 4956 0 0 0 148 0 0 0 25 0 4 0 748382747 267575296 7551 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=261304 CPUtime=1.49 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 3394 0 0 0 149 0 0 0 25 0 4 0 748382747 267575296 7551 33554432000 4194304 4625164 140736134795712 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 261304

[startup+3.10042 s]
/proc/loadavg: 7.84 7.99 7.80 9/431 5866
/proc/meminfo: memFree=19993520/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=270932 CPUtime=12.34 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 21085 0 0 0 1230 4 0 0 25 0 4 0 748382747 277434368 11227 33554432000 4194304 4625164 140736134795712 18446744073709551615 4519388 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 67733 11227 357 106 0 63236 0
[pid=5862/tid=5863] ppid=5860 vsize=270932 CPUtime=3.04 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 6228 0 0 0 303 1 0 0 25 0 4 0 748382747 277434368 11227 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=270932 CPUtime=3.09 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 7473 0 0 0 308 1 0 0 25 0 4 0 748382747 277434368 11227 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=270932 CPUtime=3.08 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 4997 0 0 0 308 0 0 0 25 0 4 0 748382747 277434368 11227 33554432000 4194304 4625164 140736134795712 18446744073709551615 4335599 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 270932

[startup+6.30084 s]
/proc/loadavg: 7.94 8.01 7.81 9/431 5866
/proc/meminfo: memFree=19957316/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=281884 CPUtime=25.09 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 31223 0 0 0 2503 6 0 0 25 0 4 0 748382747 288649216 16605 33554432000 4194304 4625164 140736134795712 18446744073709551615 4511945 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 70471 16605 371 106 0 65974 0
[pid=5862/tid=5863] ppid=5860 vsize=281884 CPUtime=6.2 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 9459 0 0 0 618 2 0 0 25 0 4 0 748382747 288649216 16605 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=281884 CPUtime=6.28 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 11414 0 0 0 627 1 0 0 25 0 4 0 748382747 288649216 16605 33554432000 4194304 4625164 140736134795712 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=281884 CPUtime=6.29 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 6949 0 0 0 628 1 0 0 25 0 4 0 748382747 288649216 16605 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 281884

[startup+12.7007 s]
/proc/loadavg: 7.94 8.01 7.81 9/431 5866
/proc/meminfo: memFree=19927312/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=301456 CPUtime=50.6 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 42264 0 0 0 5051 9 0 0 25 0 4 0 748382747 308690944 23194 33554432000 4194304 4625164 140736134795712 18446744073709551615 4422894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 75364 23194 389 106 0 70867 0
[pid=5862/tid=5863] ppid=5860 vsize=301456 CPUtime=12.51 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 14356 0 0 0 1248 3 0 0 25 0 4 0 748382747 308690944 23194 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=301456 CPUtime=12.69 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 12850 0 0 0 1267 2 0 0 25 0 4 0 748382747 308690944 23194 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=301456 CPUtime=12.69 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 10139 0 0 0 1267 2 0 0 25 0 4 0 748382747 308690944 23194 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 301456

[startup+25.5003 s]
/proc/loadavg: 7.95 8.01 7.81 9/431 5897
/proc/meminfo: memFree=19952096/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=320932 CPUtime=101.62 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 84473 0 0 0 10145 17 0 0 25 0 4 0 748382747 328634368 35536 33554432000 4194304 4625164 140736134795712 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 80233 35536 430 106 0 75736 0
[pid=5862/tid=5863] ppid=5860 vsize=320932 CPUtime=25.13 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 23097 0 0 0 2508 5 0 0 25 0 4 0 748382747 328634368 35536 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=320932 CPUtime=25.49 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 18271 0 0 0 2546 3 0 0 25 0 4 0 748382747 328634368 35536 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=320932 CPUtime=25.48 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 36839 0 0 0 2542 6 0 0 25 0 4 0 748382747 328634368 35536 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 320932

[startup+51.1006 s]
/proc/loadavg: 7.97 8.01 7.82 9/431 5897
/proc/meminfo: memFree=19788404/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=347096 CPUtime=203.67 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 203008 0 0 0 20331 36 0 0 25 0 4 0 748382747 355426304 52833 33554432000 4194304 4625164 140736134795712 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 86774 52833 478 106 0 82277 0
[pid=5862/tid=5863] ppid=5860 vsize=347096 CPUtime=50.38 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 34310 0 0 0 5031 7 0 0 25 0 4 0 748382747 355426304 52833 33554432000 4194304 4625164 140736134795712 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=347096 CPUtime=51.08 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 26923 0 0 0 5104 4 0 0 25 0 4 0 748382747 355426304 52833 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=347096 CPUtime=51.08 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 132851 0 0 0 5087 21 0 0 25 0 4 0 748382747 355426304 52833 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 347096

[startup+102.316 s]
/proc/loadavg: 8.03 8.02 7.83 9/431 5899
/proc/meminfo: memFree=19567280/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=439100 CPUtime=407.82 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 257382 0 0 0 40736 46 0 0 25 0 4 0 748382747 449638400 73821 33554432000 4194304 4625164 140736134795712 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 109775 73821 346 106 0 105278 0
[pid=5862/tid=5863] ppid=5860 vsize=439100 CPUtime=100.9 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 68841 0 0 0 10076 14 0 0 25 0 4 0 748382747 449638400 73821 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=439100 CPUtime=102.28 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 40574 0 0 0 10222 6 0 0 25 0 4 0 748382747 449638400 73821 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=439100 CPUtime=102.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 136542 0 0 0 10208 22 0 0 25 0 4 0 748382747 449638400 73821 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.82
Current children cumulated vsize (KiB) 439100

[startup+162.3 s]

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

/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 339441 0 0 0 40178 52 0 0 25 0 4 0 748382747 866762752 162060 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1603.62
Current children cumulated vsize (KiB) 846448

[startup+462.3 s]
/proc/loadavg: 8.38 8.20 7.95 9/431 5911
/proc/meminfo: memFree=18787292/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1027012 CPUtime=1842.78 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 963037 0 0 0 184103 175 0 0 25 0 4 0 748382747 1051660288 175276 33554432000 4194304 4625164 140736134795712 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 256753 175276 358 106 0 252256 0
[pid=5862/tid=5863] ppid=5860 vsize=1027012 CPUtime=455.97 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 110933 0 0 0 45570 27 0 0 25 0 4 0 748382747 1051660288 175276 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1027012 CPUtime=462.18 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 95702 0 0 0 46193 25 0 0 25 0 4 0 748382747 1051660288 175276 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1027012 CPUtime=462.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 542088 0 0 0 46147 83 0 0 25 0 4 0 748382747 1051660288 175276 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1842.78
Current children cumulated vsize (KiB) 1027012

[startup+522.3 s]
/proc/loadavg: 8.22 8.18 7.96 9/431 5913
/proc/meminfo: memFree=18681368/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1155820 CPUtime=2081.96 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1337772 0 0 0 207961 235 0 0 25 0 4 0 748382747 1183559680 189949 33554432000 4194304 4625164 140736134795712 18446744073709551615 4512818 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 288955 189949 355 106 0 284458 0
[pid=5862/tid=5863] ppid=5860 vsize=1155820 CPUtime=515.15 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 149194 0 0 0 51481 34 0 0 25 0 4 0 748382747 1183559680 189949 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1155820 CPUtime=522.17 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 131732 0 0 0 52186 31 0 0 25 0 4 0 748382747 1183559680 189949 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1155820 CPUtime=522.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 809434 0 0 0 52106 124 0 0 25 0 4 0 748382747 1183559680 189949 33554432000 4194304 4625164 140736134795712 18446744073709551615 4579396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2081.96
Current children cumulated vsize (KiB) 1155820

[startup+582.3 s]
/proc/loadavg: 8.14 8.16 7.96 9/431 5914
/proc/meminfo: memFree=18601084/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1186728 CPUtime=2321.1 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1534802 0 0 0 231838 272 0 0 25 0 4 0 748382747 1215209472 203784 33554432000 4194304 4625164 140736134795712 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 296682 203784 346 106 0 292185 0
[pid=5862/tid=5863] ppid=5860 vsize=1186728 CPUtime=574.32 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 151407 0 0 0 57397 35 0 0 25 0 4 0 748382747 1215209472 203784 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1186728 CPUtime=582.15 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 136295 0 0 0 58181 34 0 0 25 0 4 0 748382747 1215209472 203784 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1186728 CPUtime=582.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 872658 0 0 0 58095 135 0 0 25 0 4 0 748382747 1215209472 203784 33554432000 4194304 4625164 140736134795712 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2321.1
Current children cumulated vsize (KiB) 1186728

[startup+642.3 s]
/proc/loadavg: 8.12 8.14 7.97 9/431 5916
/proc/meminfo: memFree=18470960/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1241688 CPUtime=2560.3 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1698497 0 0 0 255729 301 0 0 25 0 4 0 748382747 1271488512 226942 33554432000 4194304 4625164 140736134795712 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 310422 226942 347 106 0 305925 0
[pid=5862/tid=5863] ppid=5860 vsize=1241688 CPUtime=633.51 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 154850 0 0 0 63314 37 0 0 25 0 4 0 748382747 1271488512 226942 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1241688 CPUtime=642.15 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 140198 0 0 0 64178 37 0 0 25 0 4 0 748382747 1271488512 226942 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1241688 CPUtime=642.31 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 874493 0 0 0 64096 135 0 0 25 0 4 0 748382747 1271488512 226942 33554432000 4194304 4625164 140736134795712 18446744073709551615 4579432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2560.3
Current children cumulated vsize (KiB) 1241688

[startup+702.3 s]
/proc/loadavg: 8.09 8.13 7.97 9/431 5918
/proc/meminfo: memFree=18239528/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1474764 CPUtime=2799.45 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1833887 0 0 0 279621 324 0 0 25 0 4 0 748382747 1510158336 276132 33554432000 4194304 4625164 140736134795712 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 368691 276132 347 106 0 364194 0
[pid=5862/tid=5863] ppid=5860 vsize=1474764 CPUtime=692.68 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156220 0 0 0 69231 37 0 0 25 0 4 0 748382747 1510158336 276132 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1474764 CPUtime=702.12 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 146679 0 0 0 70173 39 0 0 25 0 4 0 748382747 1510158336 276132 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1474764 CPUtime=702.31 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 876287 0 0 0 70095 136 0 0 25 0 4 0 748382747 1510158336 276132 33554432000 4194304 4625164 140736134795712 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.45
Current children cumulated vsize (KiB) 1474764

[startup+762.316 s]
/proc/loadavg: 8.14 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17950920/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3038.63 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1993840 0 0 0 303514 349 0 0 25 0 4 0 748382747 1729822720 331674 33554432000 4194304 4625164 140736134795712 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 331674 347 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=751.83 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75145 38 0 0 25 0 4 0 748382747 1729822720 331674 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=762.11 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76171 40 0 0 25 0 4 0 748382747 1729822720 331674 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=762.32 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 891554 0 0 0 76094 138 0 0 25 0 4 0 748382747 1729822720 331674 33554432000 4194304 4625164 140736134795712 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.63
Current children cumulated vsize (KiB) 1689280

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

[startup+764.701 s]
/proc/loadavg: 8.13 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17945960/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3048.13 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1994647 0 0 0 304464 349 0 0 25 0 4 0 748382747 1729822720 332396 33554432000 4194304 4625164 140736134795712 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 332396 347 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=754.19 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75381 38 0 0 25 0 4 0 748382747 1729822720 332396 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=764.5 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76410 40 0 0 25 0 4 0 748382747 1729822720 332396 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=764.7 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 891554 0 0 0 76332 138 0 0 25 0 4 0 748382747 1729822720 332396 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3048.13
Current children cumulated vsize (KiB) 1689280

[startup+766.301 s]
/proc/loadavg: 8.13 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17941992/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3054.52 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 1998109 0 0 0 305102 350 0 0 25 0 4 0 748382747 1729822720 334873 33554432000 4194304 4625164 140736134795712 18446744073709551615 260905061378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 334874 347 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=755.77 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75539 38 0 0 25 0 4 0 748382747 1729822720 334874 33554432000 4194304 4625164 140736134795712 18446744073709551615 4295128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=766.1 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76570 40 0 0 25 0 4 0 748382747 1729822720 334874 33554432000 4194304 4625164 140736134795712 18446744073709551615 4340066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=766.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 891554 0 0 0 76492 138 0 0 25 0 4 0 748382747 1729822720 334874 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3054.52
Current children cumulated vsize (KiB) 1689280

[startup+767.9 s]
/proc/loadavg: 8.13 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17923764/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3060.89 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 2005357 0 0 0 305737 352 0 0 25 0 4 0 748382747 1729822720 337475 33554432000 4194304 4625164 140736134795712 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 337475 350 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=757.34 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75696 38 0 0 25 0 4 0 748382747 1729822720 337475 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=767.7 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76730 40 0 0 25 0 4 0 748382747 1729822720 337475 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=767.9 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 896007 0 0 0 76651 139 0 0 25 0 4 0 748382747 1729822720 337475 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3060.89
Current children cumulated vsize (KiB) 1689280

[startup+768.3 s]
/proc/loadavg: 8.13 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17923764/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3062.48 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 2008406 0 0 0 305896 352 0 0 25 0 4 0 748382747 1729822720 338205 33554432000 4194304 4625164 140736134795712 18446744073709551615 4361099 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 338205 347 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=757.74 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75736 38 0 0 25 0 4 0 748382747 1729822720 338205 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=768.1 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76770 40 0 0 25 0 4 0 748382747 1729822720 338205 33554432000 4194304 4625164 140736134795712 18446744073709551615 4352112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=768.3 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 897615 0 0 0 76691 139 0 0 25 0 4 0 748382747 1729822720 338205 33554432000 4194304 4625164 140736134795712 18446744073709551615 4278488 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3062.48
Current children cumulated vsize (KiB) 1689280

[startup+768.5 s]
/proc/loadavg: 8.13 8.13 7.99 9/431 5919
/proc/meminfo: memFree=17923764/32950928 swapFree=65730892/67111528
[pid=5862] ppid=5860 vsize=1689280 CPUtime=3063.29 cores=1,3,5,7
/proc/5862/stat : 5862 (SArTagnan) R 5860 5862 5247 0 -1 4202496 2009443 0 0 0 305976 353 0 0 25 0 4 0 748382747 1729822720 338971 33554432000 4194304 4625164 140736134795712 18446744073709551615 4519414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5862/statm: 422320 338971 351 106 0 417823 0
[pid=5862/tid=5863] ppid=5860 vsize=1689280 CPUtime=757.94 cores=1,3,5,7
/proc/5862/task/5863/stat : 5863 (SArTagnan) R 5860 5862 5247 0 -1 4202560 156868 0 0 0 75756 38 0 0 25 0 4 0 748382747 1729822720 338971 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5862/tid=5864] ppid=5860 vsize=1689280 CPUtime=768.3 cores=1,3,5,7
/proc/5862/task/5864/stat : 5864 (SArTagnan) R 5860 5862 5247 0 -1 4202560 147650 0 0 0 76790 40 0 0 25 0 4 0 748382747 1729822720 338971 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5862/tid=5865] ppid=5860 vsize=1689280 CPUtime=768.5 cores=1,3,5,7
/proc/5862/task/5865/stat : 5865 (SArTagnan) R 5860 5862 5247 0 -1 4202560 898302 0 0 0 76711 139 0 0 25 0 4 0 748382747 1729822720 338971 33554432000 4194304 4625164 140736134795712 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3063.29
Current children cumulated vsize (KiB) 1689280

Child status: 20
Real time (s): 768.597
CPU time (s): 3063.53
CPU user time (s): 3059.95
CPU system time (s): 3.58046
CPU usage (%): 398.587
Max. virtual memory (cumulated for all children) (KiB): 1802352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3059.95
system time used= 3.58045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2009461
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= 1252
involuntary context switches= 21753

runsolver used 2.87256 second user time and 7.65883 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-16 23:32:01
IDJOB=3386068
IDBENCH=83203
IDSOLVER=1871
FILE ID=node116/3386068-1305581521
RUNJOBID= node116-1305580268-5684
PBS_JOBID= 13350205
Free space on /tmp= 73040 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-11-11-unsat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386068-1305581521/watcher-3386068-1305581521 -o /tmp/evaluation-result-3386068-1305581521/solver-3386068-1305581521 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386068-1305581521.cnf -threads=4

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

MD5SUM BENCH= f5821fd80ce137a7b8cae2070a9b28d7
RANDOM SEED=1239122469

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.826
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.75
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.826
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.77
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.826
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.75
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20029600 kB
Buffers:        185112 kB
Cached:        2355084 kB
SwapCached:      12328 kB
Active:       11455632 kB
Inactive:      1228484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20029600 kB
SwapTotal:    67111528 kB
SwapFree:     65730892 kB
Dirty:             576 kB
Writeback:          44 kB
AnonPages:    10143064 kB
Mapped:          20440 kB
Slab:           117656 kB
PageTables:      53436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 113567996 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= 73040 MiB
End job on node116 at 2011-05-16 23:44:49