Trace number 3438556

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)? (TO) 40000.6 5012.48

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
MD5SUM601a386973128161e9173e2bdf583672
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.38564
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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: 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-3438556-1306919626/watcher-3438556-1306919626 -o /tmp/evaluation-result-3438556-1306919626/solver-3438556-1306919626 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438556-1306919626.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: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=20592 CPUtime=0 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 784 0 0 0 0 0 0 0 24 0 1 0 803562994 21086208 529 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640859392 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/8087/statm: 5148 529 296 106 0 651 0
[pid=8087/tid=8088] ppid=8085 vsize=59876 CPUtime=0 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) D 8085 8087 8061 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 803562996 61313024 2073 33554432000 4194304 4625164 140733742945456 18446744073709551615 253635891432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=59876 CPUtime=0 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 803562996 61313024 2073 33554432000 4194304 4625164 140733742945456 18446744073709551615 47115993335724 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=59876 CPUtime=0 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) D 8085 8087 8061 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 803562996 61313024 2073 33554432000 4194304 4625164 140733742945456 18446744073709551615 253635891432 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0552469 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=428808 CPUtime=0.12 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) D 8085 8087 8061 0 -1 4202496 3111 0 0 0 12 0 0 0 25 0 8 0 803562994 439099392 2554 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640902839 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 107202 2554 346 106 0 102705 0
[pid=8087/tid=8088] ppid=8085 vsize=428808 CPUtime=0.02 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) D 8085 8087 8061 0 -1 4202560 62 0 0 0 2 0 0 0 18 0 8 0 803562996 439099392 2554 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640556299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=428808 CPUtime=0.02 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 48 0 0 0 2 0 0 0 18 0 8 0 803562996 439099392 2554 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640556299 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=428808 CPUtime=0.01 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) D 8085 8087 8061 0 -1 4202560 61 0 0 0 1 0 0 0 25 0 8 0 803562996 439099392 2554 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 428808

[startup+0.238863 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=433008 CPUtime=1.06 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 7207 0 0 0 105 1 0 0 18 0 8 0 803562994 443400192 6039 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 108252 6039 352 106 0 103755 0
[pid=8087/tid=8088] ppid=8085 vsize=433008 CPUtime=0.1 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 552 0 0 0 10 0 0 0 17 0 8 0 803562996 443400192 6039 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=433744 CPUtime=0.12 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 486 0 0 0 12 0 0 0 18 0 8 0 803562996 444153856 6188 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=433744 CPUtime=0.13 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 403 0 0 0 13 0 0 0 25 0 8 0 803562996 444153856 6188 33554432000 4194304 4625164 140733742945456 18446744073709551615 253656843291 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 433008

[startup+0.456431 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=439708 CPUtime=2.35 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 11703 0 0 0 234 1 0 0 18 0 8 0 803562994 450260992 8816 33554432000 4194304 4625164 140733742945456 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 109927 8816 352 106 0 105430 0
[pid=8087/tid=8088] ppid=8085 vsize=439708 CPUtime=0.31 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 826 0 0 0 31 0 0 0 17 0 8 0 803562996 450260992 8816 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=439708 CPUtime=0.32 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 1125 0 0 0 32 0 0 0 18 0 8 0 803562996 450260992 8816 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=439708 CPUtime=0.17 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 453 0 0 0 17 0 0 0 25 0 8 0 803562996 450260992 8816 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640556729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 439708

[startup+1.33548 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=517916 CPUtime=9.37 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 23832 0 0 0 933 4 0 0 19 0 8 0 803562994 530345984 16402 33554432000 4194304 4625164 140733742945456 18446744073709551615 4512138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 128887 16407 356 106 0 124390 0
[pid=8087/tid=8088] ppid=8085 vsize=515548 CPUtime=1.19 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 1780 0 0 0 119 0 0 0 18 0 8 0 803562996 527921152 16407 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=515548 CPUtime=1.2 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2439 0 0 0 120 0 0 0 18 0 8 0 803562996 527921152 16407 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=515548 CPUtime=1.04 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4257 0 0 0 104 0 0 0 25 0 8 0 803562996 527921152 16407 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 517916

[startup+1.53616 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 8087
/proc/meminfo: memFree=21436164/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=520352 CPUtime=10.97 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 27496 0 0 0 1093 4 0 0 19 0 8 0 803562994 532840448 17497 33554432000 4194304 4625164 140733742945456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 130088 17497 355 106 0 125591 0
[pid=8087/tid=8088] ppid=8085 vsize=520352 CPUtime=1.39 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2015 0 0 0 139 0 0 0 18 0 8 0 803562996 532840448 17497 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352133 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=520352 CPUtime=1.4 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2523 0 0 0 140 0 0 0 18 0 8 0 803562996 532840448 17498 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=520352 CPUtime=1.24 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 5956 0 0 0 124 0 0 0 25 0 8 0 803562996 532840448 17498 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 520352

[startup+3.12187 s]
/proc/loadavg: 2.48 2.12 2.03 9/551 8095
/proc/meminfo: memFree=21341496/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=531312 CPUtime=23.62 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 41725 0 0 0 2355 7 0 0 24 0 8 0 803562994 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 132828 23400 361 106 0 128331 0
[pid=8087/tid=8088] ppid=8085 vsize=531312 CPUtime=2.97 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4138 0 0 0 297 0 0 0 21 0 8 0 803562996 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=531312 CPUtime=2.98 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2760 0 0 0 298 0 0 0 21 0 8 0 803562996 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=531312 CPUtime=2.82 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 11444 0 0 0 281 1 0 0 25 0 8 0 803562996 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4579312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=531312 CPUtime=3 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 3973 0 0 0 300 0 0 0 24 0 8 0 803562997 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=531312 CPUtime=3.03 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2466 0 0 0 303 0 0 0 23 0 8 0 803562997 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339554 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=531312 CPUtime=2.83 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 2808 0 0 0 283 0 0 0 23 0 8 0 803562997 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=531312 CPUtime=2.85 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 3078 0 0 0 285 0 0 0 20 0 8 0 803562997 544063488 23400 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.62
Current children cumulated vsize (KiB) 531312

[startup+6.30129 s]
/proc/loadavg: 2.92 2.21 2.06 9/551 8095
/proc/meminfo: memFree=21310396/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=541980 CPUtime=49.08 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 65955 0 0 0 4896 12 0 0 25 0 8 0 803562994 554987520 31362 33554432000 4194304 4625164 140733742945456 18446744073709551615 4360561 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 135495 31364 365 106 0 130998 0
[pid=8087/tid=8088] ppid=8085 vsize=541980 CPUtime=6.18 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6701 0 0 0 617 1 0 0 25 0 8 0 803562996 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=541980 CPUtime=6.18 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4152 0 0 0 617 1 0 0 25 0 8 0 803562996 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=541980 CPUtime=6.03 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 22980 0 0 0 600 3 0 0 25 0 8 0 803562996 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=541980 CPUtime=6.2 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4292 0 0 0 620 0 0 0 25 0 8 0 803562997 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4466334 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=541980 CPUtime=6.23 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 3805 0 0 0 623 0 0 0 25 0 8 0 803562997 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4452898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=541980 CPUtime=5.97 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4130 0 0 0 597 0 0 0 25 0 8 0 803562997 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 253640517394 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=541980 CPUtime=6.04 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 4417 0 0 0 604 0 0 0 25 0 8 0 803562997 554987520 31372 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.08
Current children cumulated vsize (KiB) 541980

[startup+12.7011 s]
/proc/loadavg: 3.33 2.31 2.10 9/551 8095
/proc/meminfo: memFree=21250888/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=586492 CPUtime=100.08 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 114842 0 0 0 9989 19 0 0 25 0 8 0 803562994 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 146623 47388 385 106 0 142126 0
[pid=8087/tid=8088] ppid=8085 vsize=586492 CPUtime=12.55 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 10692 0 0 0 1254 1 0 0 25 0 8 0 803562996 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=586492 CPUtime=12.56 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6266 0 0 0 1255 1 0 0 22 0 8 0 803562996 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=586492 CPUtime=12.4 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 50824 0 0 0 1234 6 0 0 25 0 8 0 803562996 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=586492 CPUtime=12.58 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6770 0 0 0 1257 1 0 0 25 0 8 0 803562997 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=586492 CPUtime=12.61 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6112 0 0 0 1260 1 0 0 25 0 8 0 803562997 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=586492 CPUtime=12.25 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 5998 0 0 0 1224 1 0 0 25 0 8 0 803562997 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=586492 CPUtime=12.43 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6296 0 0 0 1242 1 0 0 25 0 8 0 803562997 600567808 47388 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (KiB) 586492

[startup+25.5008 s]
/proc/loadavg: 4.05 2.50 2.16 9/551 8095
/proc/meminfo: memFree=21194416/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=614144 CPUtime=202.21 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 205103 0 0 0 20186 35 0 0 25 0 8 0 803562994 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 153536 60893 440 106 0 149039 0
[pid=8087/tid=8088] ppid=8085 vsize=614144 CPUtime=25.36 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 15378 0 0 0 2533 3 0 0 25 0 8 0 803562996 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=614144 CPUtime=25.35 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 9173 0 0 0 2534 1 0 0 25 0 8 0 803562996 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=614144 CPUtime=25.21 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 115772 0 0 0 2505 16 0 0 25 0 8 0 803562996 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=614144 CPUtime=25.37 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 9648 0 0 0 2536 1 0 0 25 0 8 0 803562997 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=614144 CPUtime=25.39 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 9032 0 0 0 2538 1 0 0 25 0 8 0 803562997 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=614144 CPUtime=24.8 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 8514 0 0 0 2478 2 0 0 25 0 8 0 803562997 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=614144 CPUtime=25.22 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 6773 0 0 0 2521 1 0 0 25 0 8 0 803562997 628883456 60893 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.21
Current children cumulated vsize (KiB) 614144

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

[pid=8087/tid=8090] ppid=8085 vsize=4049164 CPUtime=4662.08 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 32471549 0 0 0 461570 4638 0 0 25 0 8 0 803562996 4146343936 754954 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4049164 CPUtime=4662.28 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 155948 0 0 0 466193 35 0 0 25 0 8 0 803562997 4146343936 754954 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4049164 CPUtime=4660.08 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 83407 0 0 0 465982 26 0 0 25 0 8 0 803562997 4146343936 754954 33554432000 4194304 4625164 140733742945456 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4049164 CPUtime=4583.11 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 60226 0 0 0 458262 49 0 0 25 0 8 0 803562997 4146343936 754954 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4049164 CPUtime=4661.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70682 0 0 0 466172 20 0 0 25 0 8 0 803562997 4146343936 754954 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352102 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37206.9
Current children cumulated vsize (KiB) 4049164

[startup+4722.3 s]
/proc/loadavg: 8.14 8.09 8.01 9/551 8233
/proc/meminfo: memFree=18400152/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=3983628 CPUtime=37685.7 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 36270416 0 0 0 3763209 5363 0 0 25 0 8 0 803562994 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 995907 759738 430 106 0 991410 0
[pid=8087/tid=8088] ppid=8085 vsize=3983628 CPUtime=4722.27 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 190161 0 0 0 472191 36 0 0 25 0 8 0 803562996 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=3983628 CPUtime=4712.74 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 89402 0 0 0 471236 38 0 0 25 0 8 0 803562996 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=3983628 CPUtime=4722.08 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 33124662 0 0 0 467480 4728 0 0 25 0 8 0 803562996 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=3983628 CPUtime=4722.28 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156112 0 0 0 472193 35 0 0 25 0 8 0 803562997 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=3983628 CPUtime=4720.06 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 83622 0 0 0 471980 26 0 0 25 0 8 0 803562997 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=3983628 CPUtime=4641.96 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 60229 0 0 0 464147 49 0 0 25 0 8 0 803562997 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=3983628 CPUtime=4721.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70741 0 0 0 472172 20 0 0 25 0 8 0 803562997 4079235072 759738 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37685.7
Current children cumulated vsize (KiB) 3983628

[startup+4782.3 s]
/proc/loadavg: 8.05 8.07 8.00 9/551 8234
/proc/meminfo: memFree=18344460/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=4049164 CPUtime=38164.6 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 36926534 0 0 0 3811007 5452 0 0 25 0 8 0 803562994 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 1012291 771415 409 106 0 1007794 0
[pid=8087/tid=8088] ppid=8085 vsize=4049164 CPUtime=4782.28 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 190713 0 0 0 478191 37 0 0 25 0 8 0 803562996 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=4049164 CPUtime=4772.74 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 89423 0 0 0 477236 38 0 0 25 0 8 0 803562996 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=4049164 CPUtime=4782.08 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 33697006 0 0 0 473406 4802 0 0 25 0 8 0 803562996 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4049164 CPUtime=4782.29 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156513 0 0 0 478194 35 0 0 25 0 8 0 803562997 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4049164 CPUtime=4780.05 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 83852 0 0 0 477979 26 0 0 25 0 8 0 803562997 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4049164 CPUtime=4700.83 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 60892 0 0 0 470033 50 0 0 25 0 8 0 803562997 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4049164 CPUtime=4781.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70797 0 0 0 478172 20 0 0 25 0 8 0 803562997 4146343936 771415 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38164.6
Current children cumulated vsize (KiB) 4049164

[startup+4842.3 s]
/proc/loadavg: 8.02 8.06 8.00 9/551 8236
/proc/meminfo: memFree=18325584/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=4049164 CPUtime=38643.4 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 37534169 0 0 0 3858807 5534 0 0 25 0 8 0 803562994 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 1012291 774442 366 106 0 1007794 0
[pid=8087/tid=8088] ppid=8085 vsize=4049164 CPUtime=4842.28 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 190823 0 0 0 484191 37 0 0 25 0 8 0 803562996 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=4049164 CPUtime=4832.74 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 90111 0 0 0 483235 39 0 0 25 0 8 0 803562996 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=4049164 CPUtime=4841.69 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 34277982 0 0 0 479291 4878 0 0 25 0 8 0 803562996 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4049164 CPUtime=4842.29 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156570 0 0 0 484194 35 0 0 25 0 8 0 803562997 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4049164 CPUtime=4840.02 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 83994 0 0 0 483976 26 0 0 25 0 8 0 803562997 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4049164 CPUtime=4760.06 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 60915 0 0 0 475956 50 0 0 25 0 8 0 803562997 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4049164 CPUtime=4841.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70868 0 0 0 484172 20 0 0 25 0 8 0 803562997 4146343936 774442 33554432000 4194304 4625164 140733742945456 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38643.4
Current children cumulated vsize (KiB) 4049164

[startup+4902.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/551 8238
/proc/meminfo: memFree=18311340/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=4054052 CPUtime=39122.3 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 38065833 0 0 0 3906612 5619 0 0 25 0 8 0 803562994 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 1013513 780290 411 106 0 1009016 0
[pid=8087/tid=8088] ppid=8085 vsize=4054052 CPUtime=4902.28 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 190916 0 0 0 490191 37 0 0 25 0 8 0 803562996 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4330855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=4054052 CPUtime=4892.74 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 90300 0 0 0 489235 39 0 0 25 0 8 0 803562996 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=4054052 CPUtime=4900.59 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 34795982 0 0 0 485099 4960 0 0 25 0 8 0 803562996 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4054052 CPUtime=4902.3 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156760 0 0 0 490194 36 0 0 25 0 8 0 803562997 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4054052 CPUtime=4900.01 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 84093 0 0 0 489975 26 0 0 25 0 8 0 803562997 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4318636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4054052 CPUtime=4820.06 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 60915 0 0 0 481956 50 0 0 25 0 8 0 803562997 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4054052 CPUtime=4901.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70911 0 0 0 490172 20 0 0 25 0 8 0 803562997 4151349248 780290 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39122.3
Current children cumulated vsize (KiB) 4054052

[startup+4962.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/551 8239
/proc/meminfo: memFree=18306616/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=4054052 CPUtime=39601.2 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 38619074 0 0 0 3954408 5708 0 0 25 0 8 0 803562994 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 1013513 781007 359 106 0 1009016 0
[pid=8087/tid=8088] ppid=8085 vsize=4054052 CPUtime=4962.28 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 191070 0 0 0 496191 37 0 0 25 0 8 0 803562996 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4488068 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=4054052 CPUtime=4952.75 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 91327 0 0 0 495235 40 0 0 25 0 8 0 803562996 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=4054052 CPUtime=4959.45 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 35282810 0 0 0 490908 5037 0 0 25 0 8 0 803562996 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4054052 CPUtime=4962.3 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156761 0 0 0 496194 36 0 0 25 0 8 0 803562997 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4054052 CPUtime=4959.99 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 84229 0 0 0 495973 26 0 0 25 0 8 0 803562997 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4054052 CPUtime=4880.07 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 61183 0 0 0 487956 51 0 0 25 0 8 0 803562997 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4054052 CPUtime=4961.92 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 70987 0 0 0 496172 20 0 0 25 0 8 0 803562997 4151349248 781007 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39601.2
Current children cumulated vsize (KiB) 4054052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.3 s]
/proc/loadavg: 8.02 8.05 8.00 9/551 8240
/proc/meminfo: memFree=18267540/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=4176872 CPUtime=40000.3 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) R 8085 8087 8061 0 -1 4202496 39031100 0 0 0 3994253 5777 0 0 25 0 8 0 803562994 4277116928 790856 33554432000 4194304 4625164 140733742945456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 1044218 790856 357 106 0 1039721 0
[pid=8087/tid=8088] ppid=8085 vsize=4176872 CPUtime=5012.3 cores=0-7
/proc/8087/task/8088/stat : 8088 (SArTagnan) R 8085 8087 8061 0 -1 4202560 191178 0 0 0 501193 37 0 0 25 0 8 0 803562996 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8087/tid=8089] ppid=8085 vsize=4176872 CPUtime=5002.77 cores=0-7
/proc/8087/task/8089/stat : 8089 (SArTagnan) R 8085 8087 8061 0 -1 4202560 92506 0 0 0 500236 41 0 0 25 0 8 0 803562996 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=4176872 CPUtime=5008.52 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4202560 35660596 0 0 0 495753 5099 0 0 25 0 8 0 803562996 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8087/tid=8092] ppid=8085 vsize=4176872 CPUtime=5012.32 cores=0-7
/proc/8087/task/8092/stat : 8092 (SArTagnan) R 8085 8087 8061 0 -1 4202560 156926 0 0 0 501196 36 0 0 25 0 8 0 803562997 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8087/tid=8093] ppid=8085 vsize=4176872 CPUtime=5010 cores=0-7
/proc/8087/task/8093/stat : 8093 (SArTagnan) R 8085 8087 8061 0 -1 4202560 84302 0 0 0 500974 26 0 0 25 0 8 0 803562997 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8087/tid=8094] ppid=8085 vsize=4176872 CPUtime=4930.09 cores=0-7
/proc/8087/task/8094/stat : 8094 (SArTagnan) R 8085 8087 8061 0 -1 4202560 61183 0 0 0 492958 51 0 0 25 0 8 0 803562997 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8087/tid=8095] ppid=8085 vsize=4176872 CPUtime=5011.95 cores=0-7
/proc/8087/task/8095/stat : 8095 (SArTagnan) R 8085 8087 8061 0 -1 4202560 71008 0 0 0 501174 21 0 0 25 0 8 0 803562997 4277116928 790857 33554432000 4194304 4625164 140733742945456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.3
Current children cumulated vsize (KiB) 4176872

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

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

[startup+5012.43 s]
/proc/loadavg: 8.02 8.05 8.00 2/546 8241
/proc/meminfo: memFree=20156288/32951124 swapFree=53733252/67111528
[pid=8087] ppid=8085 vsize=0 CPUtime=40000.5 cores=0-7
/proc/8087/stat : 8087 (SArTagnan) Z 8085 8087 8061 0 -1 4203548 39031102 0 0 0 3994265 5788 0 0 25 0 2 0 803562994 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8087/statm: 0 0 0 0 0 0 0
[pid=8087/tid=8090] ppid=8085 vsize=0 CPUtime=5008.64 cores=0-7
/proc/8087/task/8090/stat : 8090 (SArTagnan) R 8085 8087 8061 0 -1 4203588 35660597 0 0 0 495753 5111 0 0 25 0 2 0 803562996 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.48
CPU time (s): 40000.6
CPU user time (s): 39942.7
CPU system time (s): 57.9222
CPU usage (%): 798.02
Max. virtual memory (cumulated for all children) (KiB): 4493696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39942.7
system time used= 57.9222
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39031102
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= 23518
involuntary context switches= 124881

runsolver used 25.8221 second user time and 69.2415 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-01 11:13:46
IDJOB=3438556
IDBENCH=71570
IDSOLVER=1936
FILE ID=node106/3438556-1306919626
RUNJOBID= node106-1306919626-8075
PBS_JOBID= 13488540
Free space on /tmp= 73712 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438556-1306919626/watcher-3438556-1306919626 -o /tmp/evaluation-result-3438556-1306919626/solver-3438556-1306919626 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438556-1306919626.cnf -threads=8

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

MD5SUM BENCH= 601a386973128161e9173e2bdf583672
RANDOM SEED=1239053445

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21436444 kB
Buffers:        363936 kB
Cached:        5761304 kB
SwapCached:      22744 kB
Active:        5658340 kB
Inactive:      5524832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21436444 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            1176 kB
Writeback:           0 kB
AnonPages:     5054648 kB
Mapped:          25308 kB
Slab:           181496 kB
PageTables:      78360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167519736 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= 73712 MiB
End job on node106 at 2011-06-01 12:37:20