Trace number 3386296

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 994.132 320.461

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net60-40-10.shuffled.cnf
MD5SUM532245ed9a95eef41b179dba56b78f57
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables4800
Number of clauses14281
Sum of the clauses size33540
Maximum clause length60
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 29360
Number of clauses of size 34920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

993.99/320.43	
993.99/320.43	s UNSATISFIABLE
993.99/320.43	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-3386296-1305583436/watcher-3386296-1305583436 -o /tmp/evaluation-result-3386296-1305583436/solver-3386296-1305583436 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386296-1305583436.cnf -threads=4 

running on 4 cores: 0,2,4,6

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: 10.14 10.07 8.21 8/514 30966
/proc/meminfo: memFree=13839576/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=52844 CPUtime=0.02 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 1178 0 0 0 2 0 0 0 25 0 4 0 748574274 54112256 1116 33554432000 4194304 4625164 140736290233040 18446744073709551615 47863787460530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 13211 1116 301 106 0 8714 0
[pid=30966/tid=30967] ppid=30964 vsize=52844 CPUtime=0 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748574275 54112256 1116 33554432000 4194304 4625164 140736290233040 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=52844 CPUtime=0 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 748574275 54112256 1116 33554432000 4194304 4625164 140736290233040 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=52844 CPUtime=0 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 748574275 54112256 1116 33554432000 4194304 4625164 140736290233040 18446744073709551615 47863787460530 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.07993 s]
/proc/loadavg: 10.14 10.07 8.21 8/514 30966
/proc/meminfo: memFree=13839576/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=184412 CPUtime=0.2 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 1594 0 0 0 20 0 0 0 25 0 4 0 748574274 188837888 1480 33554432000 4194304 4625164 140736290233040 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 46103 1480 342 106 0 41606 0
[pid=30966/tid=30967] ppid=30964 vsize=184412 CPUtime=0.04 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 77 0 0 0 4 0 0 0 25 0 4 0 748574275 188837888 1480 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=184412 CPUtime=0.02 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 70 0 0 0 2 0 0 0 25 0 4 0 748574275 188837888 1480 33554432000 4194304 4625164 140736290233040 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=184412 CPUtime=0.06 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 162 0 0 0 6 0 0 0 18 0 4 0 748574275 188837888 1480 33554432000 4194304 4625164 140736290233040 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 184412

[startup+0.146194 s]
/proc/loadavg: 10.14 10.07 8.21 8/514 30966
/proc/meminfo: memFree=13839576/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=184980 CPUtime=0.4 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 2094 0 0 0 40 0 0 0 25 0 4 0 748574274 189419520 1692 33554432000 4194304 4625164 140736290233040 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 46245 1693 342 106 0 41748 0
[pid=30966/tid=30967] ppid=30964 vsize=184980 CPUtime=0.11 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 205 0 0 0 11 0 0 0 25 0 4 0 748574275 189419520 1693 33554432000 4194304 4625164 140736290233040 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=184980 CPUtime=0.02 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 70 0 0 0 2 0 0 0 25 0 4 0 748574275 189419520 1693 33554432000 4194304 4625164 140736290233040 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=184980 CPUtime=0.13 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 374 0 0 0 13 0 0 0 18 0 4 0 748574275 189419520 1693 33554432000 4194304 4625164 140736290233040 18446744073709551615 224300909595 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 184980

[startup+0.300897 s]
/proc/loadavg: 10.14 10.07 8.21 8/514 30966
/proc/meminfo: memFree=13839576/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=195488 CPUtime=0.86 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 7896 0 0 0 86 0 0 0 25 0 4 0 748574274 200179712 5471 33554432000 4194304 4625164 140736290233040 18446744073709551615 4278529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 48872 5471 345 106 0 44375 0
[pid=30966/tid=30967] ppid=30964 vsize=195488 CPUtime=0.26 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1438 0 0 0 26 0 0 0 25 0 4 0 748574275 200179712 5471 33554432000 4194304 4625164 140736290233040 18446744073709551615 4479584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=195488 CPUtime=0.02 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 70 0 0 0 2 0 0 0 25 0 4 0 748574275 200179712 5471 33554432000 4194304 4625164 140736290233040 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=195488 CPUtime=0.28 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1459 0 0 0 28 0 0 0 18 0 4 0 748574275 200179712 5471 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 195488

[startup+0.70083 s]
/proc/loadavg: 10.14 10.07 8.21 8/514 30966
/proc/meminfo: memFree=13839576/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=198100 CPUtime=2.06 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 9536 0 0 0 205 1 0 0 25 0 4 0 748574274 202854400 5941 33554432000 4194304 4625164 140736290233040 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 49525 5941 345 106 0 45028 0
[pid=30966/tid=30967] ppid=30964 vsize=198100 CPUtime=0.66 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1992 0 0 0 66 0 0 0 25 0 4 0 748574275 202854400 5941 33554432000 4194304 4625164 140736290233040 18446744073709551615 4288950 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=198100 CPUtime=0.02 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 70 0 0 0 2 0 0 0 25 0 4 0 748574275 202854400 5941 33554432000 4194304 4625164 140736290233040 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=198100 CPUtime=0.68 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1567 0 0 0 68 0 0 0 18 0 4 0 748574275 202854400 5941 33554432000 4194304 4625164 140736290233040 18446744073709551615 4555482 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 198100

[startup+1.50069 s]
/proc/loadavg: 10.13 10.07 8.22 11/518 30970
/proc/meminfo: memFree=13814504/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=203432 CPUtime=4.44 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 11612 0 0 0 443 1 0 0 25 0 4 0 748574274 208314368 7698 33554432000 4194304 4625164 140736290233040 18446744073709551615 4509465 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 50858 7698 345 106 0 46361 0
[pid=30966/tid=30967] ppid=30964 vsize=203432 CPUtime=1.44 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 2303 0 0 0 144 0 0 0 25 0 4 0 748574275 208314368 7698 33554432000 4194304 4625164 140736290233040 18446744073709551615 4375232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=203432 CPUtime=0.15 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1259 0 0 0 15 0 0 0 25 0 4 0 748574275 208314368 7698 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=203432 CPUtime=1.42 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 2042 0 0 0 142 0 0 0 20 0 4 0 748574275 208314368 7698 33554432000 4194304 4625164 140736290233040 18446744073709551615 4548692 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 203432

[startup+3.10043 s]
/proc/loadavg: 10.13 10.07 8.22 11/518 30970
/proc/meminfo: memFree=13804708/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=208508 CPUtime=9.21 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 18727 0 0 0 919 2 0 0 25 0 4 0 748574274 213512192 9898 33554432000 4194304 4625164 140736290233040 18446744073709551615 4329097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 52127 9898 345 106 0 47630 0
[pid=30966/tid=30967] ppid=30964 vsize=208508 CPUtime=3.02 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 3576 0 0 0 302 0 0 0 25 0 4 0 748574275 213512192 9898 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=208508 CPUtime=0.95 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 1749 0 0 0 95 0 0 0 25 0 4 0 748574275 213512192 9898 33554432000 4194304 4625164 140736290233040 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=208508 CPUtime=3.01 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 6735 0 0 0 301 0 0 0 25 0 4 0 748574275 213512192 9898 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 208508

[startup+6.30089 s]
/proc/loadavg: 10.12 10.07 8.23 11/518 30970
/proc/meminfo: memFree=13767976/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=210048 CPUtime=18.76 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 24791 0 0 0 1872 4 0 0 25 0 4 0 748574274 215089152 13246 33554432000 4194304 4625164 140736290233040 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 52512 13246 346 106 0 48015 0
[pid=30966/tid=30967] ppid=30964 vsize=210048 CPUtime=6.16 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 5414 0 0 0 615 1 0 0 25 0 4 0 748574275 215089152 13246 33554432000 4194304 4625164 140736290233040 18446744073709551615 4464009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=210048 CPUtime=2.55 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 2916 0 0 0 255 0 0 0 25 0 4 0 748574275 215089152 13246 33554432000 4194304 4625164 140736290233040 18446744073709551615 4288780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=210048 CPUtime=6.22 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 9089 0 0 0 621 1 0 0 25 0 4 0 748574275 215089152 13246 33554432000 4194304 4625164 140736290233040 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (KiB) 210048

[startup+12.7008 s]
/proc/loadavg: 9.79 10.00 8.22 7/512 31043
/proc/meminfo: memFree=15914116/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=212956 CPUtime=41.46 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 37661 0 0 0 4136 10 0 0 25 0 4 0 748574274 218066944 20009 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30966/statm: 53239 20009 352 106 0 48742 0
[pid=30966/tid=30967] ppid=30964 vsize=212956 CPUtime=12.45 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 8281 0 0 0 1242 3 0 0 25 0 4 0 748574275 218066944 20009 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=212956 CPUtime=7.55 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 4930 0 0 0 754 1 0 0 25 0 4 0 748574275 218066944 20009 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=212956 CPUtime=12.61 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 15018 0 0 0 1258 3 0 0 25 0 4 0 748574275 218066944 20009 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 212956

[startup+25.5007 s]
/proc/loadavg: 9.75 9.98 8.23 12/518 31091
/proc/meminfo: memFree=15634844/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=254756 CPUtime=84.63 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 64461 0 0 0 8448 15 0 0 25 0 4 0 748574274 260870144 36065 33554432000 4194304 4625164 140736290233040 18446744073709551615 4508843 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 63689 36065 411 106 0 59192 0
[pid=30966/tid=30967] ppid=30964 vsize=254756 CPUtime=22.12 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 17601 0 0 0 2207 5 0 0 25 0 4 0 748574275 260870144 36065 33554432000 4194304 4625164 140736290233040 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=254756 CPUtime=17.42 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 12009 0 0 0 1740 2 0 0 25 0 4 0 748574275 260870144 36065 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=254756 CPUtime=23.71 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 23977 0 0 0 2366 5 0 0 25 0 4 0 748574275 260870144 36065 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 84.63
Current children cumulated vsize (KiB) 254756

[startup+51.1004 s]
/proc/loadavg: 9.84 9.98 8.28 12/518 31093
/proc/meminfo: memFree=15607040/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=257076 CPUtime=173.57 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 85814 0 0 0 17337 20 0 0 25 0 4 0 748574274 263245824 41685 33554432000 4194304 4625164 140736290233040 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 64269 41685 404 106 0 59772 0
[pid=30966/tid=30967] ppid=30964 vsize=257076 CPUtime=47.28 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 18523 0 0 0 4723 5 0 0 25 0 4 0 748574275 263245824 41685 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=257076 CPUtime=30.01 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 12410 0 0 0 2999 2 0 0 25 0 4 0 748574275 263245824 41685 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=257076 CPUtime=49.3 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 42367 0 0 0 4921 9 0 0 25 0 4 0 748574275 263245824 41685 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 173.57
Current children cumulated vsize (KiB) 257076

[startup+102.32 s]
/proc/loadavg: 10.02 10.01 8.38 11/518 31093
/proc/meminfo: memFree=15454968/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=445092 CPUtime=332.12 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 188935 0 0 0 33175 37 0 0 25 0 4 0 748574274 455774208 67264 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 111273 67264 366 106 0 106776 0
[pid=30966/tid=30967] ppid=30964 vsize=445092 CPUtime=91.68 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 42166 0 0 0 9158 10 0 0 25 0 4 0 748574275 455774208 67264 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351884 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=445092 CPUtime=60.18 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 18017 0 0 0 6014 4 0 0 25 0 4 0 748574275 455774208 67264 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=445092 CPUtime=82.19 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 112638 0 0 0 8200 19 0 0 25 0 4 0 748574275 455774208 67264 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 332.12
Current children cumulated vsize (KiB) 445092

[startup+162.301 s]
/proc/loadavg: 10.04 10.02 8.49 11/518 31095
/proc/meminfo: memFree=15342724/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=445092 CPUtime=511.04 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 338099 0 0 0 51045 59 0 0 25 0 4 0 748574274 455774208 75988 33554432000 4194304 4625164 140736290233040 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 111273 75988 596 106 0 106776 0
[pid=30966/tid=30967] ppid=30964 vsize=445092 CPUtime=129.33 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 43295 0 0 0 12923 10 0 0 25 0 4 0 748574275 455774208 75988 33554432000 4194304 4625164 140736290233040 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=445092 CPUtime=113.05 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 24222 0 0 0 11300 5 0 0 25 0 4 0 748574275 455774208 75988 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=445092 CPUtime=112.04 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 253826 0 0 0 11165 39 0 0 25 0 4 0 748574275 455774208 75988 33554432000 4194304 4625164 140736290233040 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 511.04
Current children cumulated vsize (KiB) 445092

[startup+222.301 s]
/proc/loadavg: 10.20 10.07 8.60 12/518 31097
/proc/meminfo: memFree=15215456/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=529748 CPUtime=689.97 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 505432 0 0 0 68912 85 0 0 25 0 4 0 748574274 542461952 89310 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 132437 89310 708 106 0 127940 0
[pid=30966/tid=30967] ppid=30964 vsize=529748 CPUtime=189.33 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 55360 0 0 0 18921 12 0 0 25 0 4 0 748574275 542461952 89310 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=529748 CPUtime=171.99 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 24936 0 0 0 17193 6 0 0 25 0 4 0 748574275 542461952 89310 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=529748 CPUtime=142.04 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 402619 0 0 0 14143 61 0 0 25 0 4 0 748574275 542461952 89310 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 689.97
Current children cumulated vsize (KiB) 529748

[startup+282.301 s]
/proc/loadavg: 10.16 10.09 8.69 11/518 31099
/proc/meminfo: memFree=15132212/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=464212 CPUtime=868.95 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 649322 0 0 0 86786 109 0 0 25 0 4 0 748574274 475353088 90817 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 116053 90817 557 106 0 111556 0
[pid=30966/tid=30967] ppid=30964 vsize=464212 CPUtime=242.83 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 57828 0 0 0 24270 13 0 0 25 0 4 0 748574275 475353088 90817 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=464212 CPUtime=216.07 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 25383 0 0 0 21601 6 0 0 25 0 4 0 748574275 475353088 90817 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=464212 CPUtime=172.07 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 541730 0 0 0 17124 83 0 0 25 0 4 0 748574275 475353088 90817 33554432000 4194304 4625164 140736290233040 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 868.95
Current children cumulated vsize (KiB) 464212

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

[startup+307.101 s]
/proc/loadavg: 10.24 10.11 8.74 12/518 31099
/proc/meminfo: memFree=14879604/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=950.55 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 756388 0 0 0 94930 125 0 0 25 0 4 0 748574274 770240512 144658 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 144658 1533 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=257.25 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 25706 19 0 0 25 0 4 0 748574275 770240512 144658 33554432000 4194304 4625164 140736290233040 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=236.07 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27808 0 0 0 23601 6 0 0 25 0 4 0 748574275 770240512 144658 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=194.96 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 571556 0 0 0 19409 87 0 0 25 0 4 0 748574275 770240512 144658 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 950.55
Current children cumulated vsize (KiB) 752188

[startup+313.52 s]
/proc/loadavg: 10.22 10.11 8.74 12/518 31099
/proc/meminfo: memFree=14862860/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=972.85 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 764995 0 0 0 97159 126 0 0 25 0 4 0 748574274 770240512 145277 33554432000 4194304 4625164 140736290233040 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 145277 1462 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=260.3 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26011 19 0 0 25 0 4 0 748574275 770240512 145277 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=242.49 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27812 0 0 0 24243 6 0 0 25 0 4 0 748574275 770240512 145277 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=201.37 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579180 0 0 0 20049 88 0 0 25 0 4 0 748574275 770240512 145277 33554432000 4194304 4625164 140736290233040 18446744073709551615 4546837 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 972.85
Current children cumulated vsize (KiB) 752188

[startup+316.701 s]
/proc/loadavg: 10.20 10.11 8.75 11/518 31099
/proc/meminfo: memFree=14854432/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=982.94 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 765793 0 0 0 98168 126 0 0 25 0 4 0 748574274 770240512 145956 33554432000 4194304 4625164 140736290233040 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 145956 1454 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=261.71 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26152 19 0 0 25 0 4 0 748574275 770240512 145956 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=244.78 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27813 0 0 0 24472 6 0 0 25 0 4 0 748574275 770240512 145956 33554432000 4194304 4625164 140736290233040 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=204.57 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579194 0 0 0 20369 88 0 0 25 0 4 0 748574275 770240512 145956 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 982.94
Current children cumulated vsize (KiB) 752188

[startup+318.301 s]
/proc/loadavg: 10.20 10.11 8.75 12/518 31099
/proc/meminfo: memFree=14857656/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=987.7 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 766205 0 0 0 98643 127 0 0 25 0 4 0 748574274 770240512 146305 33554432000 4194304 4625164 140736290233040 18446744073709551615 4512075 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 146305 1454 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=262.5 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26231 19 0 0 25 0 4 0 748574275 770240512 146305 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=245.57 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27814 0 0 0 24551 6 0 0 25 0 4 0 748574275 770240512 146305 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=206.15 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579200 0 0 0 20527 88 0 0 25 0 4 0 748574275 770240512 146305 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 987.7
Current children cumulated vsize (KiB) 752188

[startup+319.101 s]
/proc/loadavg: 10.20 10.11 8.75 12/518 31099
/proc/meminfo: memFree=14856912/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=990.09 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 766299 0 0 0 98882 127 0 0 25 0 4 0 748574274 770240512 146387 33554432000 4194304 4625164 140736290233040 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 146387 1454 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=262.9 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26271 19 0 0 25 0 4 0 748574275 770240512 146387 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=245.97 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27814 0 0 0 24591 6 0 0 25 0 4 0 748574275 770240512 146387 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=206.95 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579200 0 0 0 20607 88 0 0 25 0 4 0 748574275 770240512 146387 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 990.09
Current children cumulated vsize (KiB) 752188

[startup+319.9 s]
/proc/loadavg: 10.20 10.11 8.75 12/518 31099
/proc/meminfo: memFree=14856912/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=752188 CPUtime=992.49 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 766702 0 0 0 99122 127 0 0 25 0 4 0 748574274 770240512 146733 33554432000 4194304 4625164 140736290233040 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 188047 146733 1454 106 0 183550 0
[pid=30966/tid=30967] ppid=30964 vsize=752188 CPUtime=263.3 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26311 19 0 0 25 0 4 0 748574275 770240512 146733 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=752188 CPUtime=246.37 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27814 0 0 0 24631 6 0 0 25 0 4 0 748574275 770240512 146733 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=752188 CPUtime=207.75 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579200 0 0 0 20687 88 0 0 25 0 4 0 748574275 770240512 146733 33554432000 4194304 4625164 140736290233040 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 992.49
Current children cumulated vsize (KiB) 752188

[startup+320.3 s]
/proc/loadavg: 10.20 10.11 8.75 12/518 31099
/proc/meminfo: memFree=14854928/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=780396 CPUtime=993.69 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 782330 0 0 0 99241 128 0 0 25 0 4 0 748574274 799125504 148272 33554432000 4194304 4625164 140736290233040 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 195099 148272 1454 106 0 190602 0
[pid=30966/tid=30967] ppid=30964 vsize=780396 CPUtime=263.43 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26324 19 0 0 25 0 4 0 748574275 799125504 148272 33554432000 4194304 4625164 140736290233040 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=780396 CPUtime=246.64 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27815 0 0 0 24658 6 0 0 25 0 4 0 748574275 799125504 148272 33554432000 4194304 4625164 140736290233040 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=780396 CPUtime=208.15 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579201 0 0 0 20727 88 0 0 25 0 4 0 748574275 799125504 148273 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 993.69
Current children cumulated vsize (KiB) 780396

[startup+320.4 s]
/proc/loadavg: 10.20 10.11 8.75 12/518 31099
/proc/meminfo: memFree=14854928/32951124 swapFree=45193380/67111528
[pid=30966] ppid=30964 vsize=780396 CPUtime=993.99 cores=0,2,4,6
/proc/30966/stat : 30966 (SArTagnan) R 30964 30966 30701 0 -1 4202496 782390 0 0 0 99271 128 0 0 25 0 4 0 748574274 799125504 148330 33554432000 4194304 4625164 140736290233040 18446744073709551615 4365352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30966/statm: 195099 148330 1453 106 0 190602 0
[pid=30966/tid=30967] ppid=30964 vsize=780396 CPUtime=263.44 cores=0,2,4,6
/proc/30966/task/30967/stat : 30967 (SArTagnan) R 30964 30966 30701 0 -1 4202560 89417 0 0 0 26325 19 0 0 25 0 4 0 748574275 799125504 148330 33554432000 4194304 4625164 140736290233040 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30968] ppid=30964 vsize=780396 CPUtime=246.73 cores=0,2,4,6
/proc/30966/task/30968/stat : 30968 (SArTagnan) R 30964 30966 30701 0 -1 4202560 27815 0 0 0 24667 6 0 0 25 0 4 0 748574275 799125504 148330 33554432000 4194304 4625164 140736290233040 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30966/tid=30969] ppid=30964 vsize=780396 CPUtime=208.25 cores=0,2,4,6
/proc/30966/task/30969/stat : 30969 (SArTagnan) R 30964 30966 30701 0 -1 4202560 579201 0 0 0 20737 88 0 0 25 0 4 0 748574275 799125504 148330 33554432000 4194304 4625164 140736290233040 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 993.99
Current children cumulated vsize (KiB) 780396

Child status: 20
Real time (s): 320.461
CPU time (s): 994.132
CPU user time (s): 992.819
CPU system time (s): 1.3128
CPU usage (%): 310.219
Max. virtual memory (cumulated for all children) (KiB): 780396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 992.819
system time used= 1.3128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782488
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= 3392
involuntary context switches= 9662

runsolver used 1.55576 second user time and 3.9544 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-17 00:03:56
IDJOB=3386296
IDBENCH=88025
IDSOLVER=1871
FILE ID=node118/3386296-1305583436
RUNJOBID= node118-1305582131-30719
PBS_JOBID= 13350301
Free space on /tmp= 73044 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net60-40-10.shuffled.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386296-1305583436/watcher-3386296-1305583436 -o /tmp/evaluation-result-3386296-1305583436/solver-3386296-1305583436 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386296-1305583436.cnf -threads=4

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

MD5SUM BENCH= 532245ed9a95eef41b179dba56b78f57
RANDOM SEED=685466423

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13839608 kB
Buffers:        320916 kB
Cached:        5046532 kB
SwapCached:      22068 kB
Active:       16024736 kB
Inactive:      2742780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13839608 kB
SwapTotal:    67111528 kB
SwapFree:     45193380 kB
Dirty:             400 kB
Writeback:           0 kB
AnonPages:    13390768 kB
Mapped:          27800 kB
Slab:           160536 kB
PageTables:     113144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 165127452 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= 73136 MiB
End job on node118 at 2011-05-17 00:09:17