Trace number 3386115

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) 4092.94 1300.09

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
MD5SUMe033e9c916da557514299cce9ca2468f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386115-1305578207/watcher-3386115-1305578207 -o /tmp/evaluation-result-3386115-1305578207/solver-3386115-1305578207 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386115-1305578207.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 11.11 11.05 9.12 8/393 3719
/proc/meminfo: memFree=11598076/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=23900 CPUtime=0 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 597 0 0 0 0 0 0 0 25 0 1 0 669418721 24473600 473 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122332720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3719/statm: 5975 473 296 106 0 1478 0

[startup+0.0172151 s]
/proc/loadavg: 11.11 11.05 9.12 8/393 3719
/proc/meminfo: memFree=11598076/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=24772 CPUtime=0.01 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 1188 0 0 0 1 0 0 0 25 0 1 0 669418721 25366528 627 33554432000 4194304 4625164 140735832006720 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3719/statm: 6193 627 296 106 0 1696 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24772

[startup+0.108528 s]
/proc/loadavg: 11.11 11.05 9.12 8/393 3719
/proc/meminfo: memFree=11598076/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=200848 CPUtime=0.16 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 5233 0 0 0 16 0 0 0 25 0 4 0 669418721 205668352 3381 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122757303 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 50212 3381 333 106 0 45715 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 200848

[startup+0.300167 s]
/proc/loadavg: 11.11 11.05 9.12 8/393 3719
/proc/meminfo: memFree=11598076/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=269208 CPUtime=0.73 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 7128 0 0 0 73 0 0 0 25 0 4 0 669418721 275668992 5276 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122411127 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 67302 5276 333 106 0 62805 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 269208

[startup+0.701097 s]
/proc/loadavg: 11.11 11.05 9.12 8/393 3719
/proc/meminfo: memFree=11598076/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=274096 CPUtime=1.94 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 9982 0 0 0 193 1 0 0 25 0 4 0 669418721 280674304 8130 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122411127 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 68524 8130 333 106 0 64027 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 274096

[startup+1.50095 s]
/proc/loadavg: 11.11 11.05 9.12 13/397 3723
/proc/meminfo: memFree=11540020/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=306188 CPUtime=4.32 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 38567 0 0 0 427 5 0 0 25 0 4 0 669418721 313536512 24146 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122375201 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 76547 24146 337 106 0 72050 0
[pid=3719/tid=3721] ppid=3717 vsize=306188 CPUtime=1.43 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 3509 0 0 0 142 1 0 0 25 0 4 0 669418726 313536512 24146 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=306188 CPUtime=1.12 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 3982 0 0 0 112 0 0 0 19 0 4 0 669418726 313536512 24146 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=306188 CPUtime=1.42 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 1901 0 0 0 142 0 0 0 25 0 4 0 669418726 313536512 24146 33554432000 4194304 4625164 140735832006720 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 306188

[startup+3.10066 s]
/proc/loadavg: 11.10 11.04 9.13 13/397 3723
/proc/meminfo: memFree=11453648/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=318672 CPUtime=9.11 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 51062 0 0 0 904 7 0 0 25 0 4 0 669418721 326320128 30174 33554432000 4194304 4625164 140735832006720 18446744073709551615 4276102 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 79668 30174 421 106 0 75171 0
[pid=3719/tid=3721] ppid=3717 vsize=318672 CPUtime=3.03 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 3737 0 0 0 302 1 0 0 25 0 4 0 669418726 326320128 30174 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=318672 CPUtime=2.2 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 5523 0 0 0 220 0 0 0 21 0 4 0 669418726 326320128 30174 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=318672 CPUtime=3 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2923 0 0 0 300 0 0 0 25 0 4 0 669418726 326320128 30174 33554432000 4194304 4625164 140735832006720 18446744073709551615 228138697755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 318672

[startup+6.30108 s]
/proc/loadavg: 11.10 11.04 9.13 13/397 3723
/proc/meminfo: memFree=11425832/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=325268 CPUtime=18.67 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 55244 0 0 0 1858 9 0 0 25 0 4 0 669418721 333074432 33061 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 81317 33061 418 106 0 76820 0
[pid=3719/tid=3721] ppid=3717 vsize=325268 CPUtime=6.22 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 5298 0 0 0 621 1 0 0 25 0 4 0 669418726 333074432 33061 33554432000 4194304 4625164 140735832006720 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=325268 CPUtime=3.8 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 6967 0 0 0 379 1 0 0 25 0 4 0 669418726 333074432 33061 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=325268 CPUtime=6.16 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 4024 0 0 0 616 0 0 0 25 0 4 0 669418726 333074432 33061 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351801 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.67
Current children cumulated vsize (KiB) 325268

[startup+12.7009 s]
/proc/loadavg: 11.09 11.04 9.15 13/397 3724
/proc/meminfo: memFree=11380968/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=334848 CPUtime=37.78 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 77668 0 0 0 3766 12 0 0 25 0 4 0 669418721 342884352 39085 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 83712 39085 440 106 0 79215 0
[pid=3719/tid=3721] ppid=3717 vsize=334848 CPUtime=12.63 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 8194 0 0 0 1261 2 0 0 25 0 4 0 669418726 342884352 39085 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=334848 CPUtime=6.8 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 9181 0 0 0 678 2 0 0 25 0 4 0 669418726 342884352 39085 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=334848 CPUtime=12.48 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 21316 0 0 0 1245 3 0 0 25 0 4 0 669418726 342884352 39085 33554432000 4194304 4625164 140735832006720 18446744073709551615 4579325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.78
Current children cumulated vsize (KiB) 334848

[startup+25.5006 s]
/proc/loadavg: 11.22 11.07 9.18 13/397 3724
/proc/meminfo: memFree=11323928/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=346516 CPUtime=76.02 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 117146 0 0 0 7583 19 0 0 25 0 4 0 669418721 354832384 46357 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 86629 46357 433 106 0 82132 0
[pid=3719/tid=3721] ppid=3717 vsize=346516 CPUtime=25.42 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 11228 0 0 0 2540 2 0 0 25 0 4 0 669418726 354832384 46357 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=346516 CPUtime=12.9 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 11692 0 0 0 1288 2 0 0 25 0 4 0 669418726 354832384 46357 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=346516 CPUtime=25.11 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 55218 0 0 0 2503 8 0 0 25 0 4 0 669418726 354832384 46357 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 76.02
Current children cumulated vsize (KiB) 346516

[startup+51.101 s]
/proc/loadavg: 11.20 11.08 9.23 13/397 3725
/proc/meminfo: memFree=11232644/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=419424 CPUtime=152.49 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 158163 0 0 0 15222 27 0 0 25 0 4 0 669418721 429490176 56072 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512015 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 104856 56072 346 106 0 100359 0
[pid=3719/tid=3721] ppid=3717 vsize=419424 CPUtime=43.43 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 16657 0 0 0 4340 3 0 0 25 0 4 0 669418726 429490176 56072 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=419424 CPUtime=25.55 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 14390 0 0 0 2551 4 0 0 25 0 4 0 669418726 429490176 56072 33554432000 4194304 4625164 140735832006720 18446744073709551615 4288719 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=419424 CPUtime=48.88 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 86225 0 0 0 4875 13 0 0 25 0 4 0 669418726 429490176 56072 33554432000 4194304 4625164 140735832006720 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 152.49
Current children cumulated vsize (KiB) 419424

[startup+102.315 s]
/proc/loadavg: 11.18 11.10 9.34 13/397 3726
/proc/meminfo: memFree=11018204/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=479112 CPUtime=315.07 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 379483 0 0 0 31444 63 0 0 25 0 4 0 669418721 490610688 80995 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 119778 80995 553 106 0 115281 0
[pid=3719/tid=3721] ppid=3717 vsize=479112 CPUtime=89.3 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 26913 0 0 0 8925 5 0 0 25 0 4 0 669418726 490610688 80995 33554432000 4194304 4625164 140735832006720 18446744073709551615 228122371905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=479112 CPUtime=50.91 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 22675 0 0 0 5082 9 0 0 25 0 4 0 669418726 490610688 80995 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=479112 CPUtime=89.95 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 286761 0 0 0 8954 41 0 0 25 0 4 0 669418726 490610688 80995 33554432000 4194304 4625164 140735832006720 18446744073709551615 4334488 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 315.07
Current children cumulated vsize (KiB) 479112

[startup+162.301 s]
/proc/loadavg: 11.15 11.11 9.45 13/397 3728
/proc/meminfo: memFree=10764600/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=677244 CPUtime=496.29 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 772748 0 0 0 49507 122 0 0 25 0 4 0 669418721 693497856 120662 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 169311 120662 352 106 0 164814 0
[pid=3719/tid=3721] ppid=3717 vsize=677244 CPUtime=128 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 38278 0 0 0 12791 9 0 0 25 0 4 0 669418726 693497856 120662 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=677244 CPUtime=94.33 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 30924 0 0 0 9419 14 0 0 25 0 4 0 669418726 693497856 120662 33554432000 4194304 4625164 140735832006720 18446744073709551615 4462528 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=677244 CPUtime=129.27 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 596014 0 0 0 12845 82 0 0 25 0 4 0 669418726 693497856 120662 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 496.29
Current children cumulated vsize (KiB) 677244

[startup+222.301 s]
/proc/loadavg: 11.14 11.11 9.56 13/397 3729
/proc/meminfo: memFree=10607448/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=827256 CPUtime=675.53 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 1043483 0 0 0 67386 167 0 0 25 0 4 0 669418721 847110144 145550 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3719/statm: 206814 145550 441 106 0 202317 0
[pid=3719/tid=3721] ppid=3717 vsize=827256 CPUtime=158.19 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 41393 0 0 0 15806 13 0 0 25 0 4 0 669418726 847110144 145550 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=827256 CPUtime=153.56 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 35992 0 0 0 15341 15 0 0 25 0 4 0 669418726 847110144 145550 33554432000 4194304 4625164 140735832006720 18446744073709551615 4465239 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=827256 CPUtime=159.21 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 812223 0 0 0 15806 115 0 0 25 0 4 0 669418726 847110144 145550 33554432000 4194304 4625164 140735832006720 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 675.53
Current children cumulated vsize (KiB) 827256

[startup+282.301 s]

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

[pid=3719] ppid=3717 vsize=1700460 CPUtime=2109.51 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3384111 0 0 0 210424 527 0 0 25 0 4 0 669418721 1741271040 320350 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 425115 320350 693 106 0 420618 0
[pid=3719/tid=3721] ppid=3717 vsize=1700460 CPUtime=573.16 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 64731 0 0 0 57293 23 0 0 25 0 4 0 669418726 1741271040 320350 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1700460 CPUtime=473.43 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 59849 0 0 0 47306 37 0 0 25 0 4 0 669418726 1741271040 320350 33554432000 4194304 4625164 140735832006720 18446744073709551615 4288719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1700460 CPUtime=449.77 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2680186 0 0 0 44597 380 0 0 25 0 4 0 669418726 1741271040 320350 33554432000 4194304 4625164 140735832006720 18446744073709551615 4288755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2109.51
Current children cumulated vsize (KiB) 1700460

[startup+762.315 s]
/proc/loadavg: 10.24 10.46 9.93 12/396 3744
/proc/meminfo: memFree=10126124/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=1765996 CPUtime=2288.75 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3689208 0 0 0 228299 576 0 0 25 0 4 0 669418721 1808379904 338380 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 441499 338380 693 106 0 437002 0
[pid=3719/tid=3721] ppid=3717 vsize=1765996 CPUtime=633.05 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 64998 0 0 0 63282 23 0 0 25 0 4 0 669418726 1808379904 338380 33554432000 4194304 4625164 140735832006720 18446744073709551615 4488068 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1765996 CPUtime=516.32 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 62280 0 0 0 51592 40 0 0 25 0 4 0 669418726 1808379904 338380 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1765996 CPUtime=489.94 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2958396 0 0 0 48573 421 0 0 25 0 4 0 669418726 1808379904 338380 33554432000 4194304 4625164 140735832006720 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2288.75
Current children cumulated vsize (KiB) 1765996

[startup+822.3 s]
/proc/loadavg: 10.19 10.40 9.94 12/396 3745
/proc/meminfo: memFree=10043032/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=1776828 CPUtime=2485.92 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3719304 0 0 0 247999 593 0 0 25 0 4 0 669418721 1819471872 353191 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 444207 353191 451 106 0 439710 0
[pid=3719/tid=3721] ppid=3717 vsize=1776828 CPUtime=693.04 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 65260 0 0 0 69281 23 0 0 25 0 4 0 669418726 1819471872 353191 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1776828 CPUtime=563.63 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 69750 0 0 0 56310 53 0 0 25 0 4 0 669418726 1819471872 353191 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1776828 CPUtime=529.09 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2972340 0 0 0 52486 423 0 0 25 0 4 0 669418726 1819471872 353191 33554432000 4194304 4625164 140735832006720 18446744073709551615 4554604 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2485.92
Current children cumulated vsize (KiB) 1776828

[startup+882.301 s]
/proc/loadavg: 10.07 10.33 9.94 12/396 3747
/proc/meminfo: memFree=9950860/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=1788472 CPUtime=2695.16 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3746223 0 0 0 268915 601 0 0 25 0 4 0 669418721 1831395328 370408 33554432000 4194304 4625164 140735832006720 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 447118 370408 447 106 0 442621 0
[pid=3719/tid=3721] ppid=3717 vsize=1788472 CPUtime=753.04 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 65550 0 0 0 75281 23 0 0 25 0 4 0 669418726 1831395328 370408 33554432000 4194304 4625164 140735832006720 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1788472 CPUtime=622.85 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 71885 0 0 0 62229 56 0 0 25 0 4 0 669418726 1831395328 370408 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1788472 CPUtime=559.1 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2975332 0 0 0 55486 424 0 0 25 0 4 0 669418726 1831395328 370408 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2695.16
Current children cumulated vsize (KiB) 1788472

[startup+942.301 s]
/proc/loadavg: 10.13 10.29 9.95 12/396 3748
/proc/meminfo: memFree=9887460/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=1865280 CPUtime=2904.39 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3789368 0 0 0 289826 613 0 0 25 0 4 0 669418721 1910046720 380848 33554432000 4194304 4625164 140735832006720 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 466320 380848 447 106 0 461823 0
[pid=3719/tid=3721] ppid=3717 vsize=1865280 CPUtime=813.04 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 65767 0 0 0 81281 23 0 0 25 0 4 0 669418726 1910046720 380848 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1865280 CPUtime=682.08 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 74465 0 0 0 68148 60 0 0 25 0 4 0 669418726 1910046720 380848 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1865280 CPUtime=589.11 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2978210 0 0 0 58486 425 0 0 25 0 4 0 669418726 1910046720 380848 33554432000 4194304 4625164 140735832006720 18446744073709551615 4334461 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2904.39
Current children cumulated vsize (KiB) 1865280

[startup+1002.3 s]
/proc/loadavg: 10.14 10.27 9.96 12/396 3750
/proc/meminfo: memFree=9791080/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=1876148 CPUtime=3099.61 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 3814410 0 0 0 309342 619 0 0 25 0 4 0 669418721 1921175552 390991 33554432000 4194304 4625164 140735832006720 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 469037 390991 443 106 0 464540 0
[pid=3719/tid=3721] ppid=3717 vsize=1876148 CPUtime=873.05 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 66023 0 0 0 87282 23 0 0 25 0 4 0 669418726 1921175552 390991 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=1876148 CPUtime=741.3 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 75978 0 0 0 74068 62 0 0 25 0 4 0 669418726 1921175552 390991 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=1876148 CPUtime=619.11 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2980999 0 0 0 61485 426 0 0 25 0 4 0 669418726 1921175552 390991 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3099.61
Current children cumulated vsize (KiB) 1876148

[startup+1062.3 s]
/proc/loadavg: 10.14 10.25 9.97 12/396 3752
/proc/meminfo: memFree=9639888/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=2277788 CPUtime=3278.83 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 4057884 0 0 0 327233 650 0 0 25 0 4 0 669418721 2332454912 421489 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3719/statm: 569447 421489 443 106 0 564950 0
[pid=3719/tid=3721] ppid=3717 vsize=2277788 CPUtime=933.05 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 83416 0 0 0 93280 25 0 0 25 0 4 0 669418726 2332454912 421489 33554432000 4194304 4625164 140735832006720 18446744073709551615 4330859 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=2277788 CPUtime=799.72 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 76809 0 0 0 79908 64 0 0 25 0 4 0 669418726 2332454912 421489 33554432000 4194304 4625164 140735832006720 18446744073709551615 4463787 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=2277788 CPUtime=650 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2984228 0 0 0 64574 426 0 0 25 0 4 0 669418726 2332454912 421489 33554432000 4194304 4625164 140735832006720 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.83
Current children cumulated vsize (KiB) 2277788

[startup+1122.3 s]
/proc/loadavg: 10.18 10.24 9.99 12/396 3753
/proc/meminfo: memFree=9532460/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=2299596 CPUtime=3473.07 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 4098024 0 0 0 346649 658 0 0 25 0 4 0 669418721 2354786304 439087 33554432000 4194304 4625164 140735832006720 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3719/statm: 574899 439087 436 106 0 570402 0
[pid=3719/tid=3721] ppid=3717 vsize=2299596 CPUtime=993 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 83664 0 0 0 99275 25 0 0 25 0 4 0 669418726 2354786304 439087 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=2299596 CPUtime=830.81 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 77306 0 0 0 83016 65 0 0 25 0 4 0 669418726 2354786304 439087 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=2299596 CPUtime=709.19 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2989880 0 0 0 70491 428 0 0 25 0 4 0 669418726 2354786304 439087 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3473.07
Current children cumulated vsize (KiB) 2299596

[startup+1182.3 s]
/proc/loadavg: 10.14 10.22 10.00 12/396 3755
/proc/meminfo: memFree=9453304/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=2320412 CPUtime=3682.3 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 4134212 0 0 0 367564 666 0 0 25 0 4 0 669418721 2376101888 452540 33554432000 4194304 4625164 140735832006720 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3719/statm: 580103 452540 430 106 0 575606 0
[pid=3719/tid=3721] ppid=3717 vsize=2320412 CPUtime=1053 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 84009 0 0 0 105275 25 0 0 25 0 4 0 669418726 2376101888 452540 33554432000 4194304 4625164 140735832006720 18446744073709551615 4488051 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=2320412 CPUtime=860.82 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 77392 0 0 0 86017 65 0 0 25 0 4 0 669418726 2376101888 452540 33554432000 4194304 4625164 140735832006720 18446744073709551615 4288743 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=2320412 CPUtime=769.19 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 2995318 0 0 0 76490 429 0 0 25 0 4 0 669418726 2376101888 452540 33554432000 4194304 4625164 140735832006720 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3682.3
Current children cumulated vsize (KiB) 2320412

[startup+1242.3 s]
/proc/loadavg: 10.12 10.21 10.01 13/396 3756
/proc/meminfo: memFree=9374900/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=2342808 CPUtime=3891.53 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 4145691 0 0 0 388484 669 0 0 25 0 4 0 669418721 2399035392 463510 33554432000 4194304 4625164 140735832006720 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3719/statm: 585702 463510 430 106 0 581205 0
[pid=3719/tid=3721] ppid=3717 vsize=2342808 CPUtime=1113 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 84317 0 0 0 111275 25 0 0 25 0 4 0 669418726 2399035392 463510 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=2342808 CPUtime=890.82 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 77574 0 0 0 89017 65 0 0 25 0 4 0 669418726 2399035392 463510 33554432000 4194304 4625164 140735832006720 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=2342808 CPUtime=829.19 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 3000915 0 0 0 82489 430 0 0 25 0 4 0 669418726 2399035392 463510 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3891.53
Current children cumulated vsize (KiB) 2342808



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.11 10.20 10.01 7/392 3759
/proc/meminfo: memFree=10268568/32951124 swapFree=54427476/67111528
[pid=3719] ppid=3717 vsize=2428508 CPUtime=4092.83 cores=1,3,5,7
/proc/3719/stat : 3719 (SArTagnan) R 3717 3719 3578 0 -1 4202496 4162673 0 0 0 408609 674 0 0 25 0 4 0 669418721 2486792192 474312 33554432000 4194304 4625164 140735832006720 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3719/statm: 607127 474312 429 106 0 602630 0
[pid=3719/tid=3721] ppid=3717 vsize=2428508 CPUtime=1170.71 cores=1,3,5,7
/proc/3719/task/3721/stat : 3721 (SArTagnan) R 3717 3719 3578 0 -1 4202560 84566 0 0 0 117046 25 0 0 25 0 4 0 669418726 2486792192 474312 33554432000 4194304 4625164 140735832006720 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3719/tid=3722] ppid=3717 vsize=2428508 CPUtime=919.74 cores=1,3,5,7
/proc/3719/task/3722/stat : 3722 (SArTagnan) R 3717 3719 3578 0 -1 4202560 78423 0 0 0 91908 66 0 0 25 0 4 0 669418726 2486792192 474312 33554432000 4194304 4625164 140735832006720 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3719/tid=3723] ppid=3717 vsize=2428508 CPUtime=886.9 cores=1,3,5,7
/proc/3719/task/3723/stat : 3723 (SArTagnan) R 3717 3719 3578 0 -1 4202560 3005971 0 0 0 88259 431 0 0 25 0 4 0 669418726 2486792192 474312 33554432000 4194304 4625164 140735832006720 18446744073709551615 4561198 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4092.83
Current children cumulated vsize (KiB) 2428508

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): 1300.09
CPU time (s): 4092.94
CPU user time (s): 4086.13
CPU system time (s): 6.80896
CPU usage (%): 314.82
Max. virtual memory (cumulated for all children) (KiB): 2915696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4086.13
system time used= 6.80896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4162673
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= 3137
involuntary context switches= 35102

runsolver used 4.65929 second user time and 12.0962 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-16 22:36:47
IDJOB=3386115
IDBENCH=71294
IDSOLVER=1871
FILE ID=node138/3386115-1305578207
RUNJOBID= node138-1305576905-3601
PBS_JOBID= 13350210
Free space on /tmp= 73436 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g9.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386115-1305578207/watcher-3386115-1305578207 -o /tmp/evaluation-result-3386115-1305578207/solver-3386115-1305578207 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386115-1305578207.cnf -threads=4

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

MD5SUM BENCH= e033e9c916da557514299cce9ca2468f
RANDOM SEED=979351463

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.82
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.80
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.854
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.854
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.82
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11598232 kB
Buffers:        313528 kB
Cached:        4396484 kB
SwapCached:      18488 kB
Active:       17741164 kB
Inactive:      3324364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11598232 kB
SwapTotal:    67111528 kB
SwapFree:     54427476 kB
Dirty:            4280 kB
Writeback:           0 kB
AnonPages:    16349624 kB
Mapped:          20204 kB
Slab:           135200 kB
PageTables:      86472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 96507528 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= 73436 MiB
End job on node138 at 2011-05-16 22:58:30