Trace number 3439546

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 2174.06 273.08

General information on the benchmark

NameSAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
MD5SUM32f22e9ac89bf164b7f5db6bef950d03
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2174.06
Satisfiable
(Un)Satisfiability was proved
Number of variables36304
Number of clauses1711065
Sum of the clauses size3450220
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21706958
Number of clauses of size 30
Number of clauses of size 45
Number of clauses of size 57
Number of clauses of size over 54095

Solver Data 

2173.30/272.98	
2173.30/272.98	s UNSATISFIABLE
2173.30/272.98	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: 977)

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-3439546-1306965434/watcher-3439546-1306965434 -o /tmp/evaluation-result-3439546-1306965434/solver-3439546-1306965434 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439546-1306965434.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.31 8.14 8.02 2/528 895
/proc/meminfo: memFree=21764420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=21472 CPUtime=0 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 929 0 0 0 0 0 0 0 23 0 1 0 788959802 21987328 867 33554432000 4194304 4625164 140735490485168 18446744073709551615 4295708 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/895/statm: 5368 878 291 106 0 871 0

[startup+0.033949 s]
/proc/loadavg: 8.31 8.14 8.02 2/528 895
/proc/meminfo: memFree=21764420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=63368 CPUtime=0.03 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 2116 0 0 0 3 0 0 0 23 0 1 0 788959802 64888832 1377 33554432000 4194304 4625164 140735490485168 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/895/statm: 15842 1377 296 106 0 11345 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 63368

[startup+0.100932 s]
/proc/loadavg: 8.31 8.14 8.02 2/528 895
/proc/meminfo: memFree=21764420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=66940 CPUtime=0.09 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 4457 0 0 0 9 0 0 0 23 0 1 0 788959802 68546560 2005 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/895/statm: 16735 2005 296 106 0 12238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66940

[startup+0.300886 s]
/proc/loadavg: 8.31 8.14 8.02 2/528 895
/proc/meminfo: memFree=21764420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=90580 CPUtime=0.29 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 9839 0 0 0 28 1 0 0 25 0 1 0 788959802 92753920 4348 33554432000 4194304 4625164 140735490485168 18446744073709551615 212039352789 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/895/statm: 22645 4368 296 106 0 18148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90580

[startup+0.700809 s]
/proc/loadavg: 8.31 8.14 8.02 2/528 895
/proc/meminfo: memFree=21764420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=613172 CPUtime=0.98 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 61999 0 0 0 90 8 0 0 25 0 8 0 788959802 627888128 49670 33554432000 4194304 4625164 140735490485168 18446744073709551615 4503515 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 153293 49671 340 106 0 148796 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 613172

[startup+1.50064 s]
/proc/loadavg: 8.29 8.14 8.02 9/536 903
/proc/meminfo: memFree=21499252/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=713356 CPUtime=7.32 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 107240 0 0 0 718 14 0 0 25 0 8 0 788959802 730476544 91066 33554432000 4194304 4625164 140735490485168 18446744073709551615 4390626 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 178339 91067 432 106 0 173842 0
[pid=895/tid=897] ppid=893 vsize=713356 CPUtime=0.84 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 5327 0 0 0 83 1 0 0 19 0 8 0 788959866 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288889 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=713356 CPUtime=0.84 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 2737 0 0 0 84 0 0 0 25 0 8 0 788959866 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=713356 CPUtime=0.81 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 3648 0 0 0 81 0 0 0 25 0 8 0 788959866 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4334923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=713356 CPUtime=0.84 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 4710 0 0 0 83 1 0 0 18 0 8 0 788959867 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=713356 CPUtime=0.78 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 6417 0 0 0 78 0 0 0 25 0 8 0 788959867 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4329483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=713356 CPUtime=0.83 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 4175 0 0 0 83 0 0 0 18 0 8 0 788959867 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=713356 CPUtime=0.83 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 6253 0 0 0 83 0 0 0 18 0 8 0 788959867 730476544 91067 33554432000 4194304 4625164 140735490485168 18446744073709551615 4330580 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 713356

[startup+3.10035 s]
/proc/loadavg: 8.29 8.14 8.02 9/536 903
/proc/meminfo: memFree=21377528/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=746412 CPUtime=20.1 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 119197 0 0 0 1994 16 0 0 25 0 8 0 788959802 764325888 100274 33554432000 4194304 4625164 140735490485168 18446744073709551615 4390900 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 186603 100274 417 106 0 182106 0
[pid=895/tid=897] ppid=893 vsize=746412 CPUtime=2.44 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 5850 0 0 0 243 1 0 0 22 0 8 0 788959866 764325888 100274 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=746412 CPUtime=2.44 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 2979 0 0 0 244 0 0 0 25 0 8 0 788959866 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=746412 CPUtime=2.41 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 3896 0 0 0 241 0 0 0 25 0 8 0 788959866 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=746412 CPUtime=2.44 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 4946 0 0 0 243 1 0 0 22 0 8 0 788959867 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=746412 CPUtime=2.36 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 6865 0 0 0 236 0 0 0 25 0 8 0 788959867 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=746412 CPUtime=2.44 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 4427 0 0 0 243 1 0 0 22 0 8 0 788959867 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 212055639067 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=746412 CPUtime=2.43 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 6636 0 0 0 243 0 0 0 22 0 8 0 788959867 764325888 100275 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (KiB) 746412

[startup+6.30078 s]
/proc/loadavg: 8.29 8.14 8.02 9/536 903
/proc/meminfo: memFree=21313420/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=767032 CPUtime=45.65 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 150916 0 0 0 4543 22 0 0 25 0 8 0 788959802 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4390864 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 191758 115999 398 106 0 187261 0
[pid=895/tid=897] ppid=893 vsize=767032 CPUtime=5.64 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 8349 0 0 0 563 1 0 0 25 0 8 0 788959866 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=767032 CPUtime=5.64 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 3309 0 0 0 564 0 0 0 25 0 8 0 788959866 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=767032 CPUtime=5.61 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 7775 0 0 0 560 1 0 0 25 0 8 0 788959866 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=767032 CPUtime=5.63 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 7396 0 0 0 562 1 0 0 25 0 8 0 788959867 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=767032 CPUtime=5.51 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 9395 0 0 0 550 1 0 0 25 0 8 0 788959867 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=767032 CPUtime=5.63 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 6893 0 0 0 562 1 0 0 25 0 8 0 788959867 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=767032 CPUtime=5.63 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 9118 0 0 0 563 0 0 0 25 0 8 0 788959867 785440768 115999 33554432000 4194304 4625164 140735490485168 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.65
Current children cumulated vsize (KiB) 767032

[startup+12.7006 s]
/proc/loadavg: 8.32 8.15 8.03 9/536 903
/proc/meminfo: memFree=21254056/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=849168 CPUtime=96.71 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 218611 0 0 0 9639 32 0 0 25 0 8 0 788959802 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4512887 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 212292 128724 387 106 0 207795 0
[pid=895/tid=897] ppid=893 vsize=849168 CPUtime=12.04 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 15657 0 0 0 1201 3 0 0 25 0 8 0 788959866 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=849168 CPUtime=12.04 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 9803 0 0 0 1203 1 0 0 25 0 8 0 788959866 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316710 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=849168 CPUtime=12 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 18432 0 0 0 1198 2 0 0 25 0 8 0 788959866 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=849168 CPUtime=12.03 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 14667 0 0 0 1201 2 0 0 25 0 8 0 788959867 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=849168 CPUtime=11.78 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 16441 0 0 0 1176 2 0 0 25 0 8 0 788959867 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4349602 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=849168 CPUtime=12.04 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 14177 0 0 0 1201 3 0 0 25 0 8 0 788959867 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4278661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=849168 CPUtime=12.03 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 16432 0 0 0 1202 1 0 0 25 0 8 0 788959867 869548032 128724 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.71
Current children cumulated vsize (KiB) 849168

[startup+25.5014 s]
/proc/loadavg: 8.27 8.14 8.03 9/536 904
/proc/meminfo: memFree=21150752/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=980240 CPUtime=198.89 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 251837 0 0 0 19850 39 0 0 25 0 8 0 788959802 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 245060 154289 349 106 0 240563 0
[pid=895/tid=897] ppid=893 vsize=980240 CPUtime=24.84 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 20003 0 0 0 2481 3 0 0 25 0 8 0 788959866 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=980240 CPUtime=24.84 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 14206 0 0 0 2483 1 0 0 25 0 8 0 788959866 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=980240 CPUtime=24.81 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 23755 0 0 0 2478 3 0 0 25 0 8 0 788959866 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=980240 CPUtime=24.84 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 19991 0 0 0 2481 3 0 0 25 0 8 0 788959867 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=980240 CPUtime=24.34 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 20718 0 0 0 2431 3 0 0 25 0 8 0 788959867 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=980240 CPUtime=24.83 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 18424 0 0 0 2479 4 0 0 25 0 8 0 788959867 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=980240 CPUtime=24.84 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 18243 0 0 0 2482 2 0 0 25 0 8 0 788959867 1003765760 154289 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (KiB) 980240

[startup+51.1008 s]
/proc/loadavg: 8.24 8.14 8.03 9/536 905
/proc/meminfo: memFree=20942596/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=1253496 CPUtime=403.2 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 343926 0 0 0 40263 57 0 0 25 0 8 0 788959802 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 313374 206731 399 106 0 308877 0
[pid=895/tid=897] ppid=893 vsize=1253496 CPUtime=50.44 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 26211 0 0 0 5040 4 0 0 25 0 8 0 788959866 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=1253496 CPUtime=50.43 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 20274 0 0 0 5041 2 0 0 25 0 8 0 788959866 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=1253496 CPUtime=50.39 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 43309 0 0 0 5033 6 0 0 25 0 8 0 788959866 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4554631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=1253496 CPUtime=50.44 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 26332 0 0 0 5039 5 0 0 25 0 8 0 788959867 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=1253496 CPUtime=49.48 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 26870 0 0 0 4943 5 0 0 25 0 8 0 788959867 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=1253496 CPUtime=50.43 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 24498 0 0 0 5038 5 0 0 25 0 8 0 788959867 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=1253496 CPUtime=50.43 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 24098 0 0 0 5040 3 0 0 25 0 8 0 788959867 1283579904 206731 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288789 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 403.2

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

/proc/loadavg: 8.05 8.11 8.03 10/536 920
/proc/meminfo: memFree=20063808/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2366212 CPUtime=2037.62 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1256285 0 0 0 203553 209 0 0 25 0 8 0 788959802 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 591553 428626 357 106 0 587056 0
[pid=895/tid=897] ppid=893 vsize=2366212 CPUtime=255.22 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 51058 0 0 0 25512 10 0 0 25 0 8 0 788959866 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2366212 CPUtime=255.18 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 48302 0 0 0 25510 8 0 0 25 0 8 0 788959866 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2366212 CPUtime=255.13 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 453331 0 0 0 25442 71 0 0 25 0 8 0 788959866 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4559744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2366212 CPUtime=255.21 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 75790 0 0 0 25506 15 0 0 25 0 8 0 788959867 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2366212 CPUtime=250.55 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 52960 0 0 0 25043 12 0 0 25 0 8 0 788959867 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4278640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2366212 CPUtime=255.23 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51474 0 0 0 25511 12 0 0 25 0 8 0 788959867 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2366212 CPUtime=255.21 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58557 0 0 0 25510 11 0 0 25 0 8 0 788959867 2423001088 428626 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2037.62
Current children cumulated vsize (KiB) 2366212

[startup+262.301 s]
/proc/loadavg: 8.04 8.11 8.03 9/536 920
/proc/meminfo: memFree=20026460/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2366212 CPUtime=2088.7 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1277645 0 0 0 208658 212 0 0 25 0 8 0 788959802 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 591553 433448 357 106 0 587056 0
[pid=895/tid=897] ppid=893 vsize=2366212 CPUtime=261.63 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 51380 0 0 0 26152 11 0 0 25 0 8 0 788959866 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2366212 CPUtime=261.59 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 48836 0 0 0 26150 9 0 0 25 0 8 0 788959866 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2366212 CPUtime=261.53 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 469816 0 0 0 26080 73 0 0 25 0 8 0 788959866 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2366212 CPUtime=261.61 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76346 0 0 0 26146 15 0 0 25 0 8 0 788959867 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2366212 CPUtime=256.83 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 52973 0 0 0 25671 12 0 0 25 0 8 0 788959867 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2366212 CPUtime=261.63 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51486 0 0 0 26151 12 0 0 25 0 8 0 788959867 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2366212 CPUtime=261.61 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58687 0 0 0 26150 11 0 0 25 0 8 0 788959867 2423001088 433448 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2088.7
Current children cumulated vsize (KiB) 2366212

[startup+268.701 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19994712/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2366212 CPUtime=2139.78 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1298810 0 0 0 213762 216 0 0 25 0 8 0 788959802 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 591553 441544 357 106 0 587056 0
[pid=895/tid=897] ppid=893 vsize=2366212 CPUtime=268.02 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 51738 0 0 0 26791 11 0 0 25 0 8 0 788959866 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352562 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2366212 CPUtime=267.98 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 49302 0 0 0 26789 9 0 0 25 0 8 0 788959866 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2366212 CPUtime=267.92 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 484059 0 0 0 26717 75 0 0 25 0 8 0 788959866 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2366212 CPUtime=268.01 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76629 0 0 0 26785 16 0 0 25 0 8 0 788959867 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2366212 CPUtime=263.11 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 52996 0 0 0 26299 12 0 0 25 0 8 0 788959867 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2366212 CPUtime=268.03 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51615 0 0 0 26791 12 0 0 25 0 8 0 788959867 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 212039322659 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2366212 CPUtime=268.01 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58699 0 0 0 26790 11 0 0 25 0 8 0 788959867 2423001088 441544 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2139.78
Current children cumulated vsize (KiB) 2366212

[startup+270.301 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19985536/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2394024 CPUtime=2152.56 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1322304 0 0 0 215036 220 0 0 25 0 8 0 788959802 2451480576 446317 33554432000 4194304 4625164 140735490485168 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 598506 446317 357 106 0 594009 0
[pid=895/tid=897] ppid=893 vsize=2394024 CPUtime=269.62 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 66033 0 0 0 26949 13 0 0 25 0 8 0 788959866 2451480576 446317 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2394024 CPUtime=269.58 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 49429 0 0 0 26949 9 0 0 25 0 8 0 788959866 2451480576 446317 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2394024 CPUtime=269.52 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 490655 0 0 0 26876 76 0 0 25 0 8 0 788959866 2451480576 446321 33554432000 4194304 4625164 140735490485168 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2394024 CPUtime=269.61 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76629 0 0 0 26945 16 0 0 25 0 8 0 788959867 2451480576 446321 33554432000 4194304 4625164 140735490485168 18446744073709551615 4317995 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2394024 CPUtime=264.69 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 52996 0 0 0 26457 12 0 0 25 0 8 0 788959867 2451480576 446321 33554432000 4194304 4625164 140735490485168 18446744073709551615 4349179 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2394024 CPUtime=269.63 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51703 0 0 0 26951 12 0 0 25 0 8 0 788959867 2451480576 446321 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2394024 CPUtime=269.61 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58701 0 0 0 26950 11 0 0 25 0 8 0 788959867 2451480576 446322 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2152.56
Current children cumulated vsize (KiB) 2394024

[startup+271.9 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19969044/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2394024 CPUtime=2165.32 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1332100 0 0 0 216310 222 0 0 25 0 8 0 788959802 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 598506 447715 357 106 0 594009 0
[pid=895/tid=897] ppid=893 vsize=2394024 CPUtime=271.22 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 66163 0 0 0 27109 13 0 0 25 0 8 0 788959866 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2394024 CPUtime=271.18 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 49432 0 0 0 27109 9 0 0 25 0 8 0 788959866 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316752 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2394024 CPUtime=271.12 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 496031 0 0 0 27035 77 0 0 25 0 8 0 788959866 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4547328 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2394024 CPUtime=271.21 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76629 0 0 0 27105 16 0 0 25 0 8 0 788959867 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2394024 CPUtime=266.25 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 53005 0 0 0 26613 12 0 0 25 0 8 0 788959867 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4319248 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2394024 CPUtime=271.23 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51760 0 0 0 27111 12 0 0 25 0 8 0 788959867 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2394024 CPUtime=271.21 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58703 0 0 0 27110 11 0 0 25 0 8 0 788959867 2451480576 447715 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2165.32
Current children cumulated vsize (KiB) 2394024

[startup+272.701 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19953544/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2394024 CPUtime=2171.75 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1340415 0 0 0 216951 224 0 0 25 0 8 0 788959802 2451480576 452795 33554432000 4194304 4625164 140735490485168 18446744073709551615 4360200 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 598506 452795 357 106 0 594009 0
[pid=895/tid=897] ppid=893 vsize=2394024 CPUtime=272.04 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 66253 0 0 0 27191 13 0 0 25 0 8 0 788959866 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2394024 CPUtime=272 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 49434 0 0 0 27191 9 0 0 25 0 8 0 788959866 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2394024 CPUtime=271.94 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 499599 0 0 0 27117 77 0 0 25 0 8 0 788959866 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2394024 CPUtime=272.03 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76629 0 0 0 27187 16 0 0 25 0 8 0 788959867 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2394024 CPUtime=267.05 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 53010 0 0 0 26693 12 0 0 25 0 8 0 788959867 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4318490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2394024 CPUtime=272.05 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51813 0 0 0 27193 12 0 0 25 0 8 0 788959867 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351644 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2394024 CPUtime=272.03 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58717 0 0 0 27192 11 0 0 25 0 8 0 788959867 2451480576 452816 33554432000 4194304 4625164 140735490485168 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2171.75
Current children cumulated vsize (KiB) 2394024

[startup+272.901 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19953544/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=2394024 CPUtime=2173.3 cores=0-7
/proc/895/stat : 895 (SArTagnan) R 893 895 590 0 -1 4202496 1343096 0 0 0 217106 224 0 0 25 0 8 0 788959802 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4391840 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 598506 453602 357 106 0 594009 0
[pid=895/tid=897] ppid=893 vsize=2394024 CPUtime=272.22 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4202560 66269 0 0 0 27209 13 0 0 25 0 8 0 788959866 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4334224 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=895/tid=898] ppid=893 vsize=2394024 CPUtime=272.18 cores=0-7
/proc/895/task/898/stat : 898 (SArTagnan) R 893 895 590 0 -1 4202560 49434 0 0 0 27209 9 0 0 25 0 8 0 788959866 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=895/tid=899] ppid=893 vsize=2394024 CPUtime=272.13 cores=0-7
/proc/895/task/899/stat : 899 (SArTagnan) R 893 895 590 0 -1 4202560 501112 0 0 0 27135 78 0 0 25 0 8 0 788959866 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=895/tid=900] ppid=893 vsize=2394024 CPUtime=272.21 cores=0-7
/proc/895/task/900/stat : 900 (SArTagnan) R 893 895 590 0 -1 4202560 76629 0 0 0 27205 16 0 0 25 0 8 0 788959867 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4316714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=895/tid=901] ppid=893 vsize=2394024 CPUtime=267.23 cores=0-7
/proc/895/task/901/stat : 901 (SArTagnan) R 893 895 590 0 -1 4202560 53010 0 0 0 26711 12 0 0 25 0 8 0 788959867 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4437234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=895/tid=902] ppid=893 vsize=2394024 CPUtime=272.23 cores=0-7
/proc/895/task/902/stat : 902 (SArTagnan) R 893 895 590 0 -1 4202560 51842 0 0 0 27211 12 0 0 25 0 8 0 788959867 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4317312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=895/tid=903] ppid=893 vsize=2394024 CPUtime=272.21 cores=0-7
/proc/895/task/903/stat : 903 (SArTagnan) R 893 895 590 0 -1 4202560 58717 0 0 0 27210 11 0 0 25 0 8 0 788959867 2451480576 453602 33554432000 4194304 4625164 140735490485168 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2173.3
Current children cumulated vsize (KiB) 2394024

[startup+273.001 s]
/proc/loadavg: 8.04 8.10 8.03 9/536 920
/proc/meminfo: memFree=19953544/32951124 swapFree=50328308/67111528
[pid=895] ppid=893 vsize=0 CPUtime=2173.98 cores=0-7
/proc/895/stat : 895 (SArTagnan) Z 893 895 590 0 -1 4203548 1343593 0 0 0 217172 226 0 0 25 0 2 0 788959802 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/895/statm: 0 0 0 0 0 0 0
[pid=895/tid=897] ppid=893 vsize=0 CPUtime=272.32 cores=0-7
/proc/895/task/897/stat : 897 (SArTagnan) R 893 895 590 0 -1 4203588 66269 0 0 0 27217 15 0 0 25 0 2 0 788959866 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2173.98
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 273.08
CPU time (s): 2174.06
CPU user time (s): 2171.72
CPU system time (s): 2.34064
CPU usage (%): 796.128
Max. virtual memory (cumulated for all children) (KiB): 2449624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2171.72
system time used= 2.34064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1343593
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= 4942
involuntary context switches= 9025

runsolver used 1.47278 second user time and 3.50047 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-01 23:57:15
IDJOB=3439546
IDBENCH=85764
IDSOLVER=1936
FILE ID=node146/3439546-1306965434
RUNJOBID= node146-1306960404-614
PBS_JOBID= 13497605
Free space on /tmp= 73620 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439546-1306965434/watcher-3439546-1306965434 -o /tmp/evaluation-result-3439546-1306965434/solver-3439546-1306965434 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439546-1306965434.cnf -threads=8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 32f22e9ac89bf164b7f5db6bef950d03
RANDOM SEED=741649413

node146.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.830
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.66
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.830
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.830
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.830
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.86
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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:     32951124 kB
MemFree:      21764328 kB
Buffers:        161728 kB
Cached:         287012 kB
SwapCached:       9256 kB
Active:       10640064 kB
Inactive:       247552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21764328 kB
SwapTotal:    67111528 kB
SwapFree:     50328308 kB
Dirty:           24724 kB
Writeback:           0 kB
AnonPages:    10437008 kB
Mapped:          27432 kB
Slab:           127096 kB
PageTables:      97340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160669060 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= 73620 MiB
End job on node146 at 2011-06-02 00:01:49