Trace number 3257252

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.25 1201.76

General information on the benchmark

Namecrafted/spence/
hard/s113-100.cnf
MD5SUM346cb413e25976ab9ce2952e1d53c865
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark250.158
Satisfiable
(Un)Satisfiability was proved
Number of variables113
Number of clauses236
Sum of the clauses size708
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3236
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257252-1304038554/watcher-3257252-1304038554 -o /tmp/evaluation-result-3257252-1304038554/solver-3257252-1304038554 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3257252-1304038554.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: 8.15 8.10 7.73 5/180 25617
/proc/meminfo: memFree=13490256/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=49208 CPUtime=0.01 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 440 0 0 0 1 0 0 0 25 0 4 0 594086103 50388992 377 33554432000 4194304 4623224 140737460555856 18446744073709551615 46991743608754 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 12302 377 301 105 0 7806 0
[pid=25617/tid=25618] ppid=25615 vsize=49208 CPUtime=0 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 594086104 50388992 377 33554432000 4194304 4623224 140737460555856 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=49208 CPUtime=0 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 594086104 50388992 377 33554432000 4194304 4623224 140737460555856 18446744073709551615 46991743608754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=49208 CPUtime=0 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 594086104 50388992 377 33554432000 4194304 4623224 140737460555856 18446744073709551615 46991743608754 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.155341 s]
/proc/loadavg: 8.15 8.10 7.73 5/180 25617
/proc/meminfo: memFree=13490256/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=248688 CPUtime=0.6 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2355 0 0 0 60 0 0 0 25 0 4 0 594086103 254656512 1857 33554432000 4194304 4623224 140737460555856 18446744073709551615 4517534 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 62172 1857 343 105 0 57676 0
[pid=25617/tid=25618] ppid=25615 vsize=248688 CPUtime=0.14 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 509 0 0 0 14 0 0 0 25 0 4 0 594086104 254656512 1857 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=248688 CPUtime=0.15 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 562 0 0 0 15 0 0 0 25 0 4 0 594086104 254656512 1857 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=248688 CPUtime=0.15 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 532 0 0 0 15 0 0 0 25 0 4 0 594086104 254656512 1857 33554432000 4194304 4623224 140737460555856 18446744073709551615 218880232410 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 248688

[startup+0.200333 s]
/proc/loadavg: 8.15 8.10 7.73 5/180 25617
/proc/meminfo: memFree=13490256/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=249864 CPUtime=0.78 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2912 0 0 0 78 0 0 0 25 0 4 0 594086103 255860736 2142 33554432000 4194304 4623224 140737460555856 18446744073709551615 4416203 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 62466 2142 343 105 0 57970 0
[pid=25617/tid=25618] ppid=25615 vsize=249864 CPUtime=0.19 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 702 0 0 0 19 0 0 0 25 0 4 0 594086104 255860736 2142 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=249864 CPUtime=0.19 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 779 0 0 0 19 0 0 0 25 0 4 0 594086104 255860736 2142 33554432000 4194304 4623224 140737460555856 18446744073709551615 4463048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=249864 CPUtime=0.19 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 650 0 0 0 19 0 0 0 25 0 4 0 594086104 255860736 2142 33554432000 4194304 4623224 140737460555856 18446744073709551615 4560264 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 249864

[startup+0.300316 s]
/proc/loadavg: 8.15 8.10 7.73 5/180 25617
/proc/meminfo: memFree=13490256/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=250324 CPUtime=1.18 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3662 0 0 0 118 0 0 0 25 0 4 0 594086103 256331776 2680 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510175 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 62581 2680 343 105 0 58085 0
[pid=25617/tid=25618] ppid=25615 vsize=250324 CPUtime=0.29 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1022 0 0 0 29 0 0 0 25 0 4 0 594086104 256331776 2680 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=250324 CPUtime=0.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1003 0 0 0 29 0 0 0 25 0 4 0 594086104 256331776 2680 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377477 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=250324 CPUtime=0.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 679 0 0 0 29 0 0 0 25 0 4 0 594086104 256331776 2680 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377147 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 250324

[startup+0.700248 s]
/proc/loadavg: 8.15 8.10 7.73 5/180 25617
/proc/meminfo: memFree=13490256/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=254108 CPUtime=2.78 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 6208 0 0 0 278 0 0 0 25 0 4 0 594086103 260206592 4386 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 63527 4386 343 105 0 59031 0
[pid=25617/tid=25618] ppid=25615 vsize=254108 CPUtime=0.69 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1862 0 0 0 69 0 0 0 25 0 4 0 594086104 260206592 4386 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=254108 CPUtime=0.69 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 2065 0 0 0 69 0 0 0 25 0 4 0 594086104 260206592 4386 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=254108 CPUtime=0.69 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1107 0 0 0 69 0 0 0 25 0 4 0 594086104 260206592 4386 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 254108

[startup+1.50111 s]
/proc/loadavg: 8.15 8.10 7.73 9/184 25621
/proc/meminfo: memFree=13465572/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=257060 CPUtime=5.98 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 9315 0 0 0 597 1 0 0 25 0 4 0 594086103 263229440 6527 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510181 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 64265 6527 349 105 0 59769 0
[pid=25617/tid=25618] ppid=25615 vsize=257060 CPUtime=1.48 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3067 0 0 0 148 0 0 0 25 0 4 0 594086104 263229440 6527 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=257060 CPUtime=1.49 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3242 0 0 0 149 0 0 0 25 0 4 0 594086104 263229440 6527 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=257060 CPUtime=1.49 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1394 0 0 0 149 0 0 0 25 0 4 0 594086104 263229440 6527 33554432000 4194304 4623224 140737460555856 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 257060

[startup+3.10083 s]
/proc/loadavg: 8.14 8.10 7.73 9/184 25621
/proc/meminfo: memFree=13458008/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=265244 CPUtime=12.37 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 18863 0 0 0 1234 3 0 0 25 0 4 0 594086103 271609856 9698 33554432000 4194304 4623224 140737460555856 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 66311 9698 343 105 0 61815 0
[pid=25617/tid=25618] ppid=25615 vsize=265244 CPUtime=3.07 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 4919 0 0 0 307 0 0 0 25 0 4 0 594086104 271609856 9698 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=265244 CPUtime=3.08 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 6079 0 0 0 308 0 0 0 25 0 4 0 594086104 271609856 9698 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=265244 CPUtime=3.08 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 5487 0 0 0 308 0 0 0 25 0 4 0 594086104 271609856 9698 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 265244

[startup+6.30028 s]
/proc/loadavg: 8.14 8.10 7.73 9/184 25621
/proc/meminfo: memFree=13429716/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=277912 CPUtime=25.16 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 46323 0 0 0 2509 7 0 0 25 0 4 0 594086103 284581888 14478 33554432000 4194304 4623224 140737460555856 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 69478 14478 379 105 0 64982 0
[pid=25617/tid=25618] ppid=25615 vsize=277912 CPUtime=6.26 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 7312 0 0 0 625 1 0 0 25 0 4 0 594086104 284581888 14478 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=277912 CPUtime=6.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 8985 0 0 0 628 1 0 0 25 0 4 0 594086104 284581888 14478 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=277912 CPUtime=6.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 26708 0 0 0 625 4 0 0 25 0 4 0 594086104 284581888 14478 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 277912

[startup+12.7012 s]
/proc/loadavg: 8.20 8.11 7.74 9/184 25621
/proc/meminfo: memFree=13405592/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=288352 CPUtime=50.73 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 62468 0 0 0 5062 11 0 0 25 0 4 0 594086103 295272448 21427 33554432000 4194304 4623224 140737460555856 18446744073709551615 4517723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 72088 21427 366 105 0 67592 0
[pid=25617/tid=25618] ppid=25615 vsize=288352 CPUtime=12.62 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 10438 0 0 0 1260 2 0 0 25 0 4 0 594086104 295272448 21427 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=288352 CPUtime=12.69 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 13311 0 0 0 1267 2 0 0 25 0 4 0 594086104 295272448 21427 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=288352 CPUtime=12.68 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 32859 0 0 0 1264 4 0 0 25 0 4 0 594086104 295272448 21427 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550575 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 288352

[startup+25.5009 s]
/proc/loadavg: 8.17 8.10 7.74 9/184 25621
/proc/meminfo: memFree=13355376/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=311148 CPUtime=101.84 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 84287 0 0 0 10170 14 0 0 25 0 4 0 594086103 318615552 33985 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 77787 33985 645 105 0 73291 0
[pid=25617/tid=25618] ppid=25615 vsize=311148 CPUtime=25.35 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 15466 0 0 0 2532 3 0 0 25 0 4 0 594086104 318615552 33985 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=311148 CPUtime=25.49 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 19821 0 0 0 2546 3 0 0 25 0 4 0 594086104 318615552 33985 33554432000 4194304 4623224 140737460555856 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=311148 CPUtime=25.49 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 38317 0 0 0 2543 6 0 0 25 0 4 0 594086104 318615552 33985 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 311148

[startup+51.1005 s]
/proc/loadavg: 8.11 8.10 7.74 9/184 25622
/proc/meminfo: memFree=13294356/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=329408 CPUtime=204.11 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 98478 0 0 0 20389 22 0 0 25 0 4 0 594086103 337313792 43921 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 82352 43921 617 105 0 77856 0
[pid=25617/tid=25618] ppid=25615 vsize=329408 CPUtime=50.81 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 23982 0 0 0 5074 7 0 0 25 0 4 0 594086104 337313792 43921 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=329408 CPUtime=51.09 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 22351 0 0 0 5103 6 0 0 25 0 4 0 594086104 337313792 43921 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377885 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=329408 CPUtime=51.09 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 40561 0 0 0 5103 6 0 0 25 0 4 0 594086104 337313792 43921 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 329408

[startup+102.301 s]
/proc/loadavg: 8.09 8.09 7.76 9/184 25623
/proc/meminfo: memFree=13211008/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=355700 CPUtime=408.64 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 263146 0 0 0 40817 47 0 0 25 0 4 0 594086103 364236800 60645 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 88925 60645 493 105 0 84429 0
[pid=25617/tid=25618] ppid=25615 vsize=355700 CPUtime=101.73 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 36626 0 0 0 10163 10 0 0 25 0 4 0 594086104 364236800 60645 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=355700 CPUtime=102.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 33362 0 0 0 10221 8 0 0 25 0 4 0 594086104 364236800 60645 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=355700 CPUtime=102.3 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 178094 0 0 0 10204 26 0 0 25 0 4 0 594086104 364236800 60645 33554432000 4194304 4623224 140737460555856 18446744073709551615 4577397 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 355700

[startup+162.301 s]

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

[pid=25617] ppid=25615 vsize=917044 CPUtime=2565.64 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 1741004 0 0 0 256246 318 0 0 25 0 4 0 594086103 939053056 165396 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 229261 165396 1183 105 0 224765 0
[pid=25617/tid=25618] ppid=25615 vsize=917044 CPUtime=638.75 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 93223 0 0 0 63838 37 0 0 25 0 4 0 594086104 939053056 165396 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=917044 CPUtime=642.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 110349 0 0 0 64191 38 0 0 25 0 4 0 594086104 939053056 165396 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=917044 CPUtime=642.28 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1479734 0 0 0 63996 232 0 0 25 0 4 0 594086104 939053056 165396 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.64
Current children cumulated vsize (KiB) 917044

[startup+702.301 s]
/proc/loadavg: 8.06 8.02 7.86 9/184 25739
/proc/meminfo: memFree=13537340/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=917044 CPUtime=2805.31 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2008926 0 0 0 280167 364 0 0 25 0 4 0 594086103 939053056 170871 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 229261 170871 1156 105 0 224765 0
[pid=25617/tid=25618] ppid=25615 vsize=917044 CPUtime=698.42 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 95047 0 0 0 69803 39 0 0 25 0 4 0 594086104 939053056 170871 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=917044 CPUtime=702.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 113050 0 0 0 70189 40 0 0 25 0 4 0 594086104 939053056 170871 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=917044 CPUtime=702.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1741978 0 0 0 69955 274 0 0 25 0 4 0 594086104 939053056 170871 33554432000 4194304 4623224 140737460555856 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 917044

[startup+762.301 s]
/proc/loadavg: 8.06 8.03 7.87 9/184 25741
/proc/meminfo: memFree=13424480/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1029296 CPUtime=3044.99 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2285777 0 0 0 304089 410 0 0 25 0 4 0 594086103 1053999104 184661 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 257324 184661 1019 105 0 252828 0
[pid=25617/tid=25618] ppid=25615 vsize=1029296 CPUtime=758.09 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 125558 0 0 0 75764 45 0 0 25 0 4 0 594086104 1053999104 184661 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1029296 CPUtime=762.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 117317 0 0 0 76186 43 0 0 25 0 4 0 594086104 1053999104 184661 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1029296 CPUtime=762.3 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 1983401 0 0 0 75919 311 0 0 25 0 4 0 594086104 1053999104 184661 33554432000 4194304 4623224 140737460555856 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 1029296

[startup+822.301 s]
/proc/loadavg: 8.14 8.05 7.89 9/184 25743
/proc/meminfo: memFree=13281004/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1077300 CPUtime=3284.65 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2553281 0 0 0 328005 460 0 0 25 0 4 0 594086103 1103155200 196948 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 269325 196948 1025 105 0 264829 0
[pid=25617/tid=25618] ppid=25615 vsize=1077300 CPUtime=817.75 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 133562 0 0 0 81727 48 0 0 25 0 4 0 594086104 1103155200 196948 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1077300 CPUtime=822.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 119195 0 0 0 82183 46 0 0 25 0 4 0 594086104 1103155200 196948 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1077300 CPUtime=822.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 2239878 0 0 0 81875 354 0 0 25 0 4 0 594086104 1103155200 196948 33554432000 4194304 4623224 140737460555856 18446744073709551615 4546853 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1077300

[startup+882.307 s]
/proc/loadavg: 8.14 8.07 7.91 9/184 25744
/proc/meminfo: memFree=13193684/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1077300 CPUtime=3524.33 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 2783220 0 0 0 351931 502 0 0 25 0 4 0 594086103 1103155200 200780 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 269325 200780 1089 105 0 264829 0
[pid=25617/tid=25618] ppid=25615 vsize=1077300 CPUtime=877.42 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 134127 0 0 0 87694 48 0 0 25 0 4 0 594086104 1103155200 200780 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1077300 CPUtime=882.3 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 120859 0 0 0 88181 49 0 0 25 0 4 0 594086104 1103155200 200780 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1077300 CPUtime=882.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 2467042 0 0 0 87836 393 0 0 25 0 4 0 594086104 1103155200 200780 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 1077300

[startup+942.3 s]
/proc/loadavg: 8.12 8.07 7.91 9/184 25746
/proc/meminfo: memFree=13102788/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1148784 CPUtime=3763.98 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3072790 0 0 0 375848 550 0 0 25 0 4 0 594086103 1176354816 212563 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 287196 212563 1019 105 0 282700 0
[pid=25617/tid=25618] ppid=25615 vsize=1148784 CPUtime=937.09 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 134563 0 0 0 93661 48 0 0 25 0 4 0 594086104 1176354816 212563 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1148784 CPUtime=942.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 129617 0 0 0 94179 50 0 0 25 0 4 0 594086104 1176354816 212563 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1148784 CPUtime=942.3 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 2733277 0 0 0 93792 438 0 0 25 0 4 0 594086104 1176354816 212563 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 1148784

[startup+1002.3 s]
/proc/loadavg: 8.04 8.05 7.91 9/184 25747
/proc/meminfo: memFree=13036552/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1211860 CPUtime=4003.66 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3322046 0 0 0 399775 591 0 0 25 0 4 0 594086103 1240944640 218105 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 302965 218105 1089 105 0 298469 0
[pid=25617/tid=25618] ppid=25615 vsize=1211860 CPUtime=996.76 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 135030 0 0 0 99627 49 0 0 25 0 4 0 594086104 1240944640 218105 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1211860 CPUtime=1002.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 163252 0 0 0 100175 54 0 0 25 0 4 0 594086104 1240944640 218105 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1211860 CPUtime=1002.3 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 2948183 0 0 0 99755 475 0 0 25 0 4 0 594086104 1240944640 218105 33554432000 4194304 4623224 140737460555856 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 1211860

[startup+1062.3 s]
/proc/loadavg: 8.01 8.04 7.91 9/184 25749
/proc/meminfo: memFree=12981364/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1211860 CPUtime=4243.33 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3598970 0 0 0 423697 636 0 0 25 0 4 0 594086103 1240944640 221586 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 302965 221586 1065 105 0 298469 0
[pid=25617/tid=25618] ppid=25615 vsize=1211860 CPUtime=1056.42 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 136622 0 0 0 105593 49 0 0 25 0 4 0 594086104 1240944640 221586 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1211860 CPUtime=1062.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 164491 0 0 0 106175 54 0 0 25 0 4 0 594086104 1240944640 221586 33554432000 4194304 4623224 140737460555856 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1211860 CPUtime=1062.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3221593 0 0 0 105711 518 0 0 25 0 4 0 594086104 1240944640 221586 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 1211860

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 25751
/proc/meminfo: memFree=12921584/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1211860 CPUtime=4483 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3794960 0 0 0 447631 669 0 0 25 0 4 0 594086103 1240944640 225364 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 302965 225364 1080 105 0 298469 0
[pid=25617/tid=25618] ppid=25615 vsize=1211860 CPUtime=1116.1 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 138605 0 0 0 111559 51 0 0 25 0 4 0 594086104 1240944640 225364 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376668 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1211860 CPUtime=1122.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 164897 0 0 0 112175 54 0 0 25 0 4 0 594086104 1240944640 225364 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1211860 CPUtime=1122.29 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3415140 0 0 0 111680 549 0 0 25 0 4 0 594086104 1240944640 225364 33554432000 4194304 4623224 140737460555856 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 1211860

[startup+1182.3 s]
/proc/loadavg: 8.00 8.02 7.91 9/184 25752
/proc/meminfo: memFree=12863532/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1253656 CPUtime=4722.66 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3931906 0 0 0 471574 692 0 0 25 0 4 0 594086103 1283743744 229055 33554432000 4194304 4623224 140737460555856 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 313414 229055 593 105 0 308918 0
[pid=25617/tid=25618] ppid=25615 vsize=1253656 CPUtime=1175.76 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 140210 0 0 0 117524 52 0 0 25 0 4 0 594086104 1283743744 229055 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1253656 CPUtime=1182.29 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 166327 0 0 0 118173 56 0 0 25 0 4 0 594086104 1283743744 229055 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1253656 CPUtime=1182.3 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3535535 0 0 0 117662 568 0 0 25 0 4 0 594086104 1283743744 229055 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.66
Current children cumulated vsize (KiB) 1253656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.02 7.91 9/184 25753
/proc/meminfo: memFree=12849888/32950928 swapFree=67111528/67111528
[pid=25617] ppid=25615 vsize=1253656 CPUtime=4800.18 cores=0,2,4,6
/proc/25617/stat : 25617 (SArTagnan) R 25615 25617 25497 0 -1 4202496 3992381 0 0 0 479315 703 0 0 25 0 4 0 594086103 1283743744 229095 33554432000 4194304 4623224 140737460555856 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25617/statm: 313414 229095 487 105 0 308918 0
[pid=25617/tid=25618] ppid=25615 vsize=1253656 CPUtime=1195.05 cores=0,2,4,6
/proc/25617/task/25618/stat : 25618 (SArTagnan) R 25615 25617 25497 0 -1 4202560 140403 0 0 0 119453 52 0 0 25 0 4 0 594086104 1283743744 229095 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25617/tid=25619] ppid=25615 vsize=1253656 CPUtime=1201.7 cores=0,2,4,6
/proc/25617/task/25619/stat : 25619 (SArTagnan) R 25615 25617 25497 0 -1 4202560 166784 0 0 0 120114 56 0 0 25 0 4 0 594086104 1283743744 229095 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25617/tid=25620] ppid=25615 vsize=1253656 CPUtime=1201.7 cores=0,2,4,6
/proc/25617/task/25620/stat : 25620 (SArTagnan) R 25615 25617 25497 0 -1 4202560 3595270 0 0 0 119593 577 0 0 25 0 4 0 594086104 1283743744 229095 33554432000 4194304 4623224 140737460555856 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1253656

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.25
CPU user time (s): 4793.17
CPU system time (s): 7.07392
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 1253656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.17
system time used= 7.07392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3992888
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= 654
involuntary context switches= 24449

runsolver used 1.9627 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 02:55:54
IDJOB=3257252
IDBENCH=20442
IDSOLVER=1656
FILE ID=node112/3257252-1304038554
RUNJOBID= node112-1304037872-25515
PBS_JOBID= 13170375
Free space on /tmp= 72560 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT07/crafted/spence/hard/s113-100.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257252-1304038554/watcher-3257252-1304038554 -o /tmp/evaluation-result-3257252-1304038554/solver-3257252-1304038554 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3257252-1304038554.cnf -threads=4

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

MD5SUM BENCH= 346cb413e25976ab9ce2952e1d53c865
RANDOM SEED=1198652325

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.83
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.828
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.67
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.828
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.82
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.828
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	: 5261.27
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.828
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.82
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.828
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13490288 kB
Buffers:       1994244 kB
Cached:       15799176 kB
SwapCached:          0 kB
Active:        8093344 kB
Inactive:     10810008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13490288 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             416 kB
Writeback:           0 kB
AnonPages:     1109368 kB
Mapped:          15400 kB
Slab:           492200 kB
PageTables:       6964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1460276 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= 72564 MiB
End job on node112 at 2011-04-29 03:15:58