Trace number 3386110

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) 4800.47 1204.92

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
MD5SUMd6877629cc818d7e31dc245fb95f0588
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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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-3386110-1305578562/watcher-3386110-1305578562 -o /tmp/evaluation-result-3386110-1305578562/solver-3386110-1305578562 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386110-1305578562.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: 8.87 9.07 9.13 6/462 17069
/proc/meminfo: memFree=13951792/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=26784 CPUtime=0.01 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 1051 0 0 0 1 0 0 0 25 0 1 0 650272374 27426816 601 33554432000 4194304 4625164 140733514268368 18446744073709551615 255106768640 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17069/statm: 6696 601 296 106 0 2199 0

[startup+0.018794 s]
/proc/loadavg: 8.87 9.07 9.13 6/462 17069
/proc/meminfo: memFree=13951792/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=26784 CPUtime=0.01 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 1095 0 0 0 1 0 0 0 25 0 1 0 650272374 27426816 645 33554432000 4194304 4625164 140733514268368 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17069/statm: 6696 645 296 106 0 2199 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26784

[startup+0.104186 s]
/proc/loadavg: 8.87 9.07 9.13 6/462 17069
/proc/meminfo: memFree=13951792/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=207108 CPUtime=0.14 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6874 0 0 0 13 1 0 0 25 0 4 0 650272374 212078592 4545 33554432000 4194304 4625164 140733514268368 18446744073709551615 255106812087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 51777 4570 333 106 0 47280 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 207108

[startup+0.300743 s]
/proc/loadavg: 8.87 9.07 9.13 6/462 17069
/proc/meminfo: memFree=13951792/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=277392 CPUtime=0.93 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 10760 0 0 0 92 1 0 0 25 0 4 0 650272374 284049408 7585 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 69348 7585 342 106 0 64851 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 277392

[startup+0.700673 s]
/proc/loadavg: 8.87 9.07 9.13 6/462 17069
/proc/meminfo: memFree=13951792/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=281148 CPUtime=2.53 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 15007 0 0 0 251 2 0 0 25 0 4 0 650272374 287895552 11018 33554432000 4194304 4625164 140733514268368 18446744073709551615 4509184 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 70287 11018 342 106 0 65790 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 281148

[startup+1.50053 s]
/proc/loadavg: 8.87 9.07 9.13 10/466 17073
/proc/meminfo: memFree=13897828/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=287680 CPUtime=5.71 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 21054 0 0 0 567 4 0 0 25 0 4 0 650272374 294584320 15843 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512032 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 71920 15843 343 106 0 67423 0
[pid=17069/tid=17071] ppid=17067 vsize=287680 CPUtime=1.41 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 2533 0 0 0 141 0 0 0 25 0 4 0 650272382 294584320 15843 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=287680 CPUtime=1.4 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 4090 0 0 0 139 1 0 0 25 0 4 0 650272382 294584320 15843 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=287680 CPUtime=1.4 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 1669 0 0 0 140 0 0 0 25 0 4 0 650272382 294584320 15843 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334603 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 287680

[startup+3.10025 s]
/proc/loadavg: 8.87 9.07 9.13 10/466 17073
/proc/meminfo: memFree=13873960/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=302064 CPUtime=12.09 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 28190 0 0 0 1204 5 0 0 25 0 4 0 650272374 309313536 22979 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 75516 22979 343 106 0 71019 0
[pid=17069/tid=17071] ppid=17067 vsize=302064 CPUtime=3.01 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5698 0 0 0 300 1 0 0 25 0 4 0 650272382 309313536 22979 33554432000 4194304 4625164 140733514268368 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=302064 CPUtime=3 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5983 0 0 0 299 1 0 0 25 0 4 0 650272382 309313536 22979 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=302064 CPUtime=2.98 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 2623 0 0 0 298 0 0 0 25 0 4 0 650272382 309313536 22979 33554432000 4194304 4625164 140733514268368 18446744073709551615 4579343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 302064

[startup+6.30069 s]
/proc/loadavg: 8.88 9.06 9.13 10/466 17074
/proc/meminfo: memFree=13827708/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=313760 CPUtime=24.85 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 47537 0 0 0 2475 10 0 0 25 0 4 0 650272374 321290240 29786 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 78440 29786 343 106 0 73943 0
[pid=17069/tid=17071] ppid=17067 vsize=313760 CPUtime=6.2 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 7451 0 0 0 619 1 0 0 25 0 4 0 650272382 321290240 29786 33554432000 4194304 4625164 140733514268368 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=313760 CPUtime=6.2 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 9651 0 0 0 617 3 0 0 25 0 4 0 650272382 321290240 29786 33554432000 4194304 4625164 140733514268368 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=313760 CPUtime=6.13 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 13090 0 0 0 611 2 0 0 25 0 4 0 650272382 321290240 29786 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 313760

[startup+12.7006 s]
/proc/loadavg: 8.89 9.06 9.13 11/466 17074
/proc/meminfo: memFree=13752376/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=349560 CPUtime=50.34 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 85648 0 0 0 5016 18 0 0 25 0 4 0 650272374 357949440 43773 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 87390 43773 343 106 0 82893 0
[pid=17069/tid=17071] ppid=17067 vsize=349560 CPUtime=12.61 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 11918 0 0 0 1257 4 0 0 25 0 4 0 650272382 357949440 43773 33554432000 4194304 4625164 140733514268368 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=349560 CPUtime=12.59 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 16877 0 0 0 1255 4 0 0 25 0 4 0 650272382 357949440 43773 33554432000 4194304 4625164 140733514268368 18446744073709551615 4467400 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=349560 CPUtime=12.42 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 34265 0 0 0 1237 5 0 0 25 0 4 0 650272382 357949440 43773 33554432000 4194304 4625164 140733514268368 18446744073709551615 4547603 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 349560

[startup+25.5003 s]
/proc/loadavg: 8.92 9.06 9.12 10/466 17074
/proc/meminfo: memFree=13632856/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=380568 CPUtime=101.34 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 163817 0 0 0 10098 36 0 0 25 0 4 0 650272374 389701632 60942 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 95142 60942 343 106 0 90645 0
[pid=17069/tid=17071] ppid=17067 vsize=380568 CPUtime=25.41 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 17793 0 0 0 2535 6 0 0 25 0 4 0 650272382 389701632 60942 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=380568 CPUtime=25.39 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 25456 0 0 0 2530 9 0 0 25 0 4 0 650272382 389701632 60942 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=380568 CPUtime=25.02 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 89876 0 0 0 2487 15 0 0 25 0 4 0 650272382 389701632 60942 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334248 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 380568

[startup+51.1008 s]
/proc/loadavg: 9.15 9.10 9.13 10/466 17075
/proc/meminfo: memFree=13411672/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=648400 CPUtime=203.34 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 385994 0 0 0 20251 83 0 0 25 0 4 0 650272374 663961600 102366 33554432000 4194304 4625164 140733514268368 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 162100 102366 343 106 0 157603 0
[pid=17069/tid=17071] ppid=17067 vsize=648400 CPUtime=51 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 29275 0 0 0 5086 14 0 0 25 0 4 0 650272382 663961600 102366 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=648400 CPUtime=51 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 40698 0 0 0 5082 18 0 0 25 0 4 0 650272382 663961600 102366 33554432000 4194304 4625164 140733514268368 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=648400 CPUtime=50.23 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 239644 0 0 0 4984 39 0 0 25 0 4 0 650272382 663961600 102366 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 648400

[startup+102.318 s]
/proc/loadavg: 9.18 9.11 9.14 10/466 17076
/proc/meminfo: memFree=13032560/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=948272 CPUtime=407.41 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 833381 0 0 0 40570 171 0 0 25 0 4 0 650272374 971030528 169888 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 237068 169888 346 106 0 232571 0
[pid=17069/tid=17071] ppid=17067 vsize=948272 CPUtime=102.22 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 43027 0 0 0 10202 20 0 0 25 0 4 0 650272382 971030528 169888 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=948272 CPUtime=102.21 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 67782 0 0 0 10180 41 0 0 25 0 4 0 650272382 971030528 169888 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=948272 CPUtime=100.64 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 567783 0 0 0 9976 88 0 0 25 0 4 0 650272382 971030528 169888 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.41
Current children cumulated vsize (KiB) 948272

[startup+162.3 s]
/proc/loadavg: 9.14 9.12 9.13 10/466 17078
/proc/meminfo: memFree=12691548/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=1216068 CPUtime=646.41 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 1197228 0 0 0 64392 249 0 0 25 0 4 0 650272374 1245253632 226965 33554432000 4194304 4625164 140733514268368 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 304017 226965 346 106 0 299520 0
[pid=17069/tid=17071] ppid=17067 vsize=1216068 CPUtime=162.2 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 59538 0 0 0 16187 33 0 0 25 0 4 0 650272382 1245253632 226965 33554432000 4194304 4625164 140733514268368 18446744073709551615 4467632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=1216068 CPUtime=162.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 83986 0 0 0 16165 54 0 0 25 0 4 0 650272382 1245253632 226965 33554432000 4194304 4625164 140733514268368 18446744073709551615 255106427334 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=1216068 CPUtime=159.71 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 826265 0 0 0 15841 130 0 0 25 0 4 0 650272382 1245253632 226965 33554432000 4194304 4625164 140733514268368 18446744073709551615 4339569 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.41
Current children cumulated vsize (KiB) 1216068

[startup+222.301 s]
/proc/loadavg: 9.08 9.11 9.13 10/466 17079
/proc/meminfo: memFree=12430524/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=1249132 CPUtime=885.47 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 1661215 0 0 0 88211 336 0 0 25 0 4 0 650272374 1279111168 267272 33554432000 4194304 4625164 140733514268368 18446744073709551615 4393080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 312283 267272 343 106 0 307786 0
[pid=17069/tid=17071] ppid=17067 vsize=1249132 CPUtime=222.2 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 64889 0 0 0 22184 36 0 0 25 0 4 0 650272382 1279111168 267272 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=1249132 CPUtime=222.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 107559 0 0 0 22146 73 0 0 25 0 4 0 650272382 1279111168 267272 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=1249132 CPUtime=218.77 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 1243733 0 0 0 21685 192 0 0 25 0 4 0 650272382 1279111168 267272 33554432000 4194304 4625164 140733514268368 18446744073709551615 4469375 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 885.47
Current children cumulated vsize (KiB) 1249132

[startup+282.301 s]

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

[pid=17069] ppid=17067 vsize=2153532 CPUtime=2559.07 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 4219317 0 0 0 255115 792 0 0 25 0 4 0 650272374 2205216768 445120 33554432000 4194304 4625164 140733514268368 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 538383 445120 349 106 0 533886 0
[pid=17069/tid=17071] ppid=17067 vsize=2153532 CPUtime=635.91 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 89608 0 0 0 63541 50 0 0 25 0 4 0 650272382 2205216768 445120 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2153532 CPUtime=642.2 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 114538 0 0 0 64139 81 0 0 25 0 4 0 650272382 2205216768 445120 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2153532 CPUtime=638.62 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 3457954 0 0 0 63287 575 0 0 25 0 4 0 650272382 2205216768 445120 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2559.07
Current children cumulated vsize (KiB) 2153532

[startup+702.3 s]
/proc/loadavg: 9.17 9.16 9.12 10/466 17092
/proc/meminfo: memFree=10835156/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2156824 CPUtime=2798.1 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 4602743 0 0 0 278955 855 0 0 25 0 4 0 650272374 2208587776 459316 33554432000 4194304 4625164 140733514268368 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 539206 459316 349 106 0 534709 0
[pid=17069/tid=17071] ppid=17067 vsize=2156824 CPUtime=694.97 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 90101 0 0 0 69447 50 0 0 25 0 4 0 650272382 2208587776 459316 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2156824 CPUtime=702.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 114870 0 0 0 70138 81 0 0 25 0 4 0 650272382 2208587776 459316 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2156824 CPUtime=698.61 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 3831858 0 0 0 69226 635 0 0 25 0 4 0 650272382 2208587776 459316 33554432000 4194304 4625164 140733514268368 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2798.1
Current children cumulated vsize (KiB) 2156824

[startup+762.318 s]
/proc/loadavg: 9.06 9.13 9.11 10/466 17094
/proc/meminfo: memFree=10642688/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2487800 CPUtime=3037.21 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 4947099 0 0 0 302814 907 0 0 25 0 4 0 650272374 2547507200 495208 33554432000 4194304 4625164 140733514268368 18446744073709551615 4393055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 621950 495208 349 106 0 617453 0
[pid=17069/tid=17071] ppid=17067 vsize=2487800 CPUtime=754.05 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 90533 0 0 0 75354 51 0 0 25 0 4 0 650272382 2547507200 495208 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2487800 CPUtime=762.2 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 118153 0 0 0 76139 81 0 0 25 0 4 0 650272382 2547507200 495208 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2487800 CPUtime=758.61 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 3984181 0 0 0 75197 664 0 0 25 0 4 0 650272382 2547507200 495208 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3037.21
Current children cumulated vsize (KiB) 2487800

[startup+822.3 s]
/proc/loadavg: 9.06 9.11 9.10 10/466 17095
/proc/meminfo: memFree=10477640/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2487800 CPUtime=3276.22 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 5231811 0 0 0 326665 957 0 0 25 0 4 0 650272374 2547507200 505127 33554432000 4194304 4625164 140733514268368 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 621950 505127 343 106 0 617453 0
[pid=17069/tid=17071] ppid=17067 vsize=2487800 CPUtime=813.12 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 90966 0 0 0 81261 51 0 0 25 0 4 0 650272382 2547507200 505127 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2487800 CPUtime=822.18 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 118412 0 0 0 82137 81 0 0 25 0 4 0 650272382 2547507200 505127 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2487800 CPUtime=818.59 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 4263111 0 0 0 81147 712 0 0 25 0 4 0 650272382 2547507200 505127 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3276.22
Current children cumulated vsize (KiB) 2487800

[startup+882.301 s]
/proc/loadavg: 9.10 9.12 9.10 10/466 17097
/proc/meminfo: memFree=10352256/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2487800 CPUtime=3515.3 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 5618807 0 0 0 350508 1022 0 0 25 0 4 0 650272374 2547507200 517654 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 621950 517654 343 106 0 617453 0
[pid=17069/tid=17071] ppid=17067 vsize=2487800 CPUtime=872.18 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 91330 0 0 0 87167 51 0 0 25 0 4 0 650272382 2547507200 517654 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2487800 CPUtime=882.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 118709 0 0 0 88137 82 0 0 25 0 4 0 650272382 2547507200 517654 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2487800 CPUtime=878.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 4643039 0 0 0 87085 775 0 0 25 0 4 0 650272382 2547507200 517654 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.3
Current children cumulated vsize (KiB) 2487800

[startup+942.3 s]
/proc/loadavg: 9.04 9.10 9.09 10/466 17098
/proc/meminfo: memFree=10244120/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2553744 CPUtime=3754.38 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6020907 0 0 0 374349 1089 0 0 25 0 4 0 650272374 2615033856 533251 33554432000 4194304 4625164 140733514268368 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 638436 533251 343 106 0 633939 0
[pid=17069/tid=17071] ppid=17067 vsize=2553744 CPUtime=931.27 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 91598 0 0 0 93076 51 0 0 25 0 4 0 650272382 2615033856 533251 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2553744 CPUtime=942.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 118891 0 0 0 94137 82 0 0 25 0 4 0 650272382 2615033856 533251 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2553744 CPUtime=938.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5020801 0 0 0 93023 837 0 0 25 0 4 0 650272382 2615033856 533251 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3754.38
Current children cumulated vsize (KiB) 2553744

[startup+1002.3 s]
/proc/loadavg: 9.16 9.12 9.10 10/466 17100
/proc/meminfo: memFree=10013476/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2588284 CPUtime=3993.45 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6436075 0 0 0 398182 1163 0 0 25 0 4 0 650272374 2650402816 545770 33554432000 4194304 4625164 140733514268368 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 647071 545770 343 106 0 642574 0
[pid=17069/tid=17071] ppid=17067 vsize=2588284 CPUtime=990.34 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 91877 0 0 0 98982 52 0 0 25 0 4 0 650272382 2650402816 545770 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2588284 CPUtime=1002.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 119257 0 0 0 100137 82 0 0 25 0 4 0 650272382 2650402816 545770 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2588284 CPUtime=998.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5382407 0 0 0 98959 901 0 0 25 0 4 0 650272382 2650402816 545770 33554432000 4194304 4625164 140733514268368 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3993.45
Current children cumulated vsize (KiB) 2588284

[startup+1062.3 s]
/proc/loadavg: 9.13 9.11 9.09 10/466 17102
/proc/meminfo: memFree=9909916/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2660572 CPUtime=4232.54 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6816138 0 0 0 422025 1229 0 0 25 0 4 0 650272374 2724425728 558616 33554432000 4194304 4625164 140733514268368 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17069/statm: 665143 558616 343 106 0 660646 0
[pid=17069/tid=17071] ppid=17067 vsize=2660572 CPUtime=1049.42 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 92168 0 0 0 104890 52 0 0 25 0 4 0 650272382 2724425728 558616 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2660572 CPUtime=1062.19 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 119429 0 0 0 106137 82 0 0 25 0 4 0 650272382 2724425728 558616 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2660572 CPUtime=1058.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5716548 0 0 0 104903 957 0 0 25 0 4 0 650272382 2724425728 558616 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4232.54
Current children cumulated vsize (KiB) 2660572

[startup+1122.3 s]
/proc/loadavg: 9.31 9.15 9.10 11/466 17112
/proc/meminfo: memFree=9839908/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2660572 CPUtime=4471.57 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6895937 0 0 0 445912 1245 0 0 25 0 4 0 650272374 2724425728 561039 33554432000 4194304 4625164 140733514268368 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17069/statm: 665143 561039 343 106 0 660646 0
[pid=17069/tid=17071] ppid=17067 vsize=2660572 CPUtime=1109.27 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 92445 0 0 0 110875 52 0 0 25 0 4 0 650272382 2724425728 561039 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2660572 CPUtime=1122.17 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 119695 0 0 0 112135 82 0 0 25 0 4 0 650272382 2724425728 561039 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2660572 CPUtime=1118.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5789283 0 0 0 110889 971 0 0 25 0 4 0 650272382 2724425728 561039 33554432000 4194304 4625164 140733514268368 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4471.57
Current children cumulated vsize (KiB) 2660572

[startup+1182.3 s]
/proc/loadavg: 9.32 9.17 9.11 10/466 17114
/proc/meminfo: memFree=9781216/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2660572 CPUtime=4710.65 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6897509 0 0 0 469819 1246 0 0 25 0 4 0 650272374 2724425728 562472 33554432000 4194304 4625164 140733514268368 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17069/statm: 665143 562472 343 106 0 660646 0
[pid=17069/tid=17071] ppid=17067 vsize=2660572 CPUtime=1169.27 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 92741 0 0 0 116875 52 0 0 25 0 4 0 650272382 2724425728 562472 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2660572 CPUtime=1182.17 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 119893 0 0 0 118135 82 0 0 25 0 4 0 650272382 2724425728 562472 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2660572 CPUtime=1178.6 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5789364 0 0 0 116889 971 0 0 25 0 4 0 650272382 2724425728 562472 33554432000 4194304 4625164 140733514268368 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4710.65
Current children cumulated vsize (KiB) 2660572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 9.21 9.16 9.10 10/466 17115
/proc/meminfo: memFree=9758524/32951124 swapFree=67111348/67111528
[pid=17069] ppid=17067 vsize=2690396 CPUtime=4800.35 cores=1,3,5,7
/proc/17069/stat : 17069 (SArTagnan) R 17067 17069 16929 0 -1 4202496 6914070 0 0 0 478787 1248 0 0 25 0 4 0 650272374 2754965504 564085 33554432000 4194304 4625164 140733514268368 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17069/statm: 672599 564085 343 106 0 668102 0
[pid=17069/tid=17071] ppid=17067 vsize=2690396 CPUtime=1191.79 cores=1,3,5,7
/proc/17069/task/17071/stat : 17071 (SArTagnan) R 17067 17069 16929 0 -1 4202560 92836 0 0 0 119127 52 0 0 25 0 4 0 650272382 2754965504 564085 33554432000 4194304 4625164 140733514268368 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17069/tid=17072] ppid=17067 vsize=2690396 CPUtime=1204.69 cores=1,3,5,7
/proc/17069/task/17072/stat : 17072 (SArTagnan) R 17067 17069 16929 0 -1 4202560 135767 0 0 0 120385 84 0 0 25 0 4 0 650272382 2754965504 564085 33554432000 4194304 4625164 140733514268368 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17069/tid=17073] ppid=17067 vsize=2690396 CPUtime=1201.11 cores=1,3,5,7
/proc/17069/task/17073/stat : 17073 (SArTagnan) R 17067 17069 16929 0 -1 4202560 5789366 0 0 0 119140 971 0 0 25 0 4 0 650272382 2754965504 564085 33554432000 4194304 4625164 140733514268368 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 2690396

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): 1204.92
CPU time (s): 4800.47
CPU user time (s): 4787.9
CPU system time (s): 12.5711
CPU usage (%): 398.407
Max. virtual memory (cumulated for all children) (KiB): 3112932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.9
system time used= 12.5711
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6914070
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= 2878
involuntary context switches= 29699

runsolver used 4.84926 second user time and 13.7999 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-16 22:42:42
IDJOB=3386110
IDBENCH=71423
IDSOLVER=1871
FILE ID=node144/3386110-1305578562
RUNJOBID= node144-1305577260-16948
PBS_JOBID= 13350220
Free space on /tmp= 73260 MiB

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

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

MD5SUM BENCH= d6877629cc818d7e31dc245fb95f0588
RANDOM SEED=1295749902

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13952072 kB
Buffers:        330828 kB
Cached:        4108860 kB
SwapCached:          0 kB
Active:       15775596 kB
Inactive:      2848768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13952072 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            4276 kB
Writeback:           0 kB
AnonPages:    14184252 kB
Mapped:          38412 kB
Slab:           246268 kB
PageTables:      62348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 137387376 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= 73260 MiB
End job on node144 at 2011-05-16 23:02:49