Trace number 3258176

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.34 1201.8

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
MD5SUM399c54da7337981a88a374a67e87ba30
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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3258176-1304053438/watcher-3258176-1304053438 -o /tmp/evaluation-result-3258176-1304053438/solver-3258176-1304053438 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3258176-1304053438.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: 7.86 8.00 7.33 5/180 13810
/proc/meminfo: memFree=13939120/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=23824 CPUtime=0 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 546 0 0 0 0 0 0 0 25 0 1 0 497759434 24395776 457 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726404864 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13810/statm: 5956 457 297 105 0 1460 0

[startup+0.056487 s]
/proc/loadavg: 7.86 8.00 7.33 5/180 13810
/proc/meminfo: memFree=13939120/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=69484 CPUtime=0.05 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 4941 0 0 0 5 0 0 0 25 0 4 0 497759434 71151616 3089 33554432000 4194304 4623224 140735657911296 18446744073709551615 47191085434802 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 17371 3089 302 105 0 12875 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 69484

[startup+0.10044 s]
/proc/loadavg: 7.86 8.00 7.33 5/180 13810
/proc/meminfo: memFree=13939120/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=202804 CPUtime=0.22 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 6102 0 0 0 22 0 0 0 25 0 4 0 497759434 207671296 4119 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726072322 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 50701 4119 339 105 0 46205 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202804

[startup+0.300403 s]
/proc/loadavg: 7.86 8.00 7.33 5/180 13810
/proc/meminfo: memFree=13939120/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=268604 CPUtime=1.02 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 8254 0 0 0 101 1 0 0 25 0 4 0 497759434 275050496 6271 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 67151 6271 344 105 0 62655 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 268604

[startup+0.700329 s]
/proc/loadavg: 7.86 8.00 7.33 5/180 13810
/proc/meminfo: memFree=13939120/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=275400 CPUtime=2.62 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 11062 0 0 0 261 1 0 0 25 0 4 0 497759434 282009600 8912 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 68850 8912 344 105 0 64354 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 275400

[startup+1.50118 s]
/proc/loadavg: 7.86 8.00 7.33 9/184 13814
/proc/meminfo: memFree=13899208/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=284476 CPUtime=5.82 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 16213 0 0 0 580 2 0 0 25 0 4 0 497759434 291303424 12991 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510635 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 71119 12991 344 105 0 66623 0
[pid=13810/tid=13812] ppid=13808 vsize=284476 CPUtime=1.44 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1918 0 0 0 144 0 0 0 25 0 4 0 497759439 291303424 12991 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=284476 CPUtime=1.43 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 2998 0 0 0 143 0 0 0 25 0 4 0 497759439 291303424 12991 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376749 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=284476 CPUtime=1.43 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 2005 0 0 0 143 0 0 0 25 0 4 0 497759439 291303424 12991 33554432000 4194304 4623224 140735657911296 18446744073709551615 4549326 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 284476

[startup+3.10088 s]
/proc/loadavg: 7.86 8.00 7.33 9/184 13814
/proc/meminfo: memFree=13881972/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=293996 CPUtime=12.21 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 26451 0 0 0 1217 4 0 0 25 0 4 0 497759434 301051904 17462 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 73499 17462 346 105 0 69003 0
[pid=13810/tid=13812] ppid=13808 vsize=293996 CPUtime=3.03 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 2988 0 0 0 303 0 0 0 25 0 4 0 497759439 301051904 17462 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=293996 CPUtime=3.03 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 4929 0 0 0 302 1 0 0 25 0 4 0 497759439 301051904 17462 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=293996 CPUtime=3.02 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 6736 0 0 0 301 1 0 0 25 0 4 0 497759439 301051904 17462 33554432000 4194304 4623224 140735657911296 18446744073709551615 4559312 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 293996

[startup+6.30027 s]
/proc/loadavg: 7.87 8.00 7.33 9/184 13814
/proc/meminfo: memFree=13849256/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=308796 CPUtime=24.99 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 51090 0 0 0 2489 10 0 0 25 0 4 0 497759434 316207104 22981 33554432000 4194304 4623224 140735657911296 18446744073709551615 4511665 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 77199 22981 344 105 0 72703 0
[pid=13810/tid=13812] ppid=13808 vsize=308796 CPUtime=6.23 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 4725 0 0 0 623 0 0 0 25 0 4 0 497759439 316207104 22981 33554432000 4194304 4623224 140735657911296 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=308796 CPUtime=6.23 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 7164 0 0 0 621 2 0 0 25 0 4 0 497759439 316207104 22981 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=308796 CPUtime=6.2 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 23691 0 0 0 616 4 0 0 25 0 4 0 497759439 316207104 22981 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 308796

[startup+12.7011 s]
/proc/loadavg: 7.88 8.00 7.33 9/184 13814
/proc/meminfo: memFree=13814616/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=335892 CPUtime=50.56 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 79263 0 0 0 5039 17 0 0 25 0 4 0 497759434 343953408 32242 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 83973 32242 344 105 0 79477 0
[pid=13810/tid=13812] ppid=13808 vsize=335892 CPUtime=12.63 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 7372 0 0 0 1262 1 0 0 25 0 4 0 497759439 343953408 32242 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=335892 CPUtime=12.63 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 9377 0 0 0 1260 3 0 0 25 0 4 0 497759439 343953408 32242 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=335892 CPUtime=12.57 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 34392 0 0 0 1250 7 0 0 25 0 4 0 497759439 343953408 32242 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 335892

[startup+25.5006 s]
/proc/loadavg: 7.99 8.02 7.35 9/184 13814
/proc/meminfo: memFree=13730916/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=361576 CPUtime=101.69 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 125093 0 0 0 10138 31 0 0 25 0 4 0 497759434 370253824 51635 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 90394 51635 344 105 0 85898 0
[pid=13810/tid=13812] ppid=13808 vsize=361576 CPUtime=25.43 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 12395 0 0 0 2539 4 0 0 25 0 4 0 497759439 370253824 51635 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=361576 CPUtime=25.43 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 17223 0 0 0 2533 10 0 0 25 0 4 0 497759439 370253824 51635 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376820 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=361576 CPUtime=25.3 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 40583 0 0 0 2522 8 0 0 25 0 4 0 497759439 370253824 51635 33554432000 4194304 4623224 140735657911296 18446744073709551615 4363781 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 361576

[startup+51.1008 s]
/proc/loadavg: 8.05 8.03 7.37 9/184 13846
/proc/meminfo: memFree=14708564/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=543940 CPUtime=203.95 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 283504 0 0 0 20332 63 0 0 25 0 4 0 497759434 556994560 88814 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 135985 88814 560 105 0 131489 0
[pid=13810/tid=13812] ppid=13808 vsize=543940 CPUtime=51.04 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 19824 0 0 0 5097 7 0 0 25 0 4 0 497759439 556994560 88814 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=543940 CPUtime=51.03 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 26352 0 0 0 5086 17 0 0 25 0 4 0 497759439 556994560 88814 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=543940 CPUtime=50.76 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 127995 0 0 0 5053 23 0 0 25 0 4 0 497759439 556994560 88814 33554432000 4194304 4623224 140735657911296 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 543940

[startup+102.307 s]
/proc/loadavg: 8.13 8.06 7.41 9/184 13847
/proc/meminfo: memFree=14288080/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=808096 CPUtime=408.49 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 381215 0 0 0 40756 93 0 0 25 0 4 0 497759434 827490304 140482 33554432000 4194304 4623224 140735657911296 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 202024 140482 665 105 0 197528 0
[pid=13810/tid=13812] ppid=13808 vsize=808096 CPUtime=102.24 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 30663 0 0 0 10214 10 0 0 25 0 4 0 497759439 827490304 140482 33554432000 4194304 4623224 140735657911296 18446744073709551615 4463959 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=808096 CPUtime=102.24 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 38018 0 0 0 10193 31 0 0 25 0 4 0 497759439 827490304 140482 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=808096 CPUtime=101.68 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 143777 0 0 0 10143 25 0 0 25 0 4 0 497759439 827490304 140482 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 808096

[startup+162.301 s]
/proc/loadavg: 8.05 8.04 7.44 9/184 13849
/proc/meminfo: memFree=13972472/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=971588 CPUtime=648.15 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 486464 0 0 0 64695 120 0 0 25 0 4 0 497759434 994906112 177330 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 242897 177330 511 105 0 238401 0
[pid=13810/tid=13812] ppid=13808 vsize=971588 CPUtime=162.23 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 44857 0 0 0 16203 20 0 0 25 0 4 0 497759439 994906112 177330 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=971588 CPUtime=162.23 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 46870 0 0 0 16187 36 0 0 25 0 4 0 497759439 994906112 177330 33554432000 4194304 4623224 140735657911296 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=971588 CPUtime=161.36 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 149726 0 0 0 16109 27 0 0 25 0 4 0 497759439 994906112 177330 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.15
Current children cumulated vsize (KiB) 971588

[startup+222.3 s]
/proc/loadavg: 8.13 8.06 7.49 9/184 13851
/proc/meminfo: memFree=13720108/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=1198452 CPUtime=887.81 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 988030 0 0 0 88578 203 0 0 25 0 4 0 497759434 1227214848 218410 33554432000 4194304 4623224 140735657911296 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 299613 218410 420 105 0 295117 0
[pid=13810/tid=13812] ppid=13808 vsize=1198452 CPUtime=222.22 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 51114 0 0 0 22199 23 0 0 25 0 4 0 497759439 1227214848 218410 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=1198452 CPUtime=222.23 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 54630 0 0 0 22176 47 0 0 25 0 4 0 497759439 1227214848 218410 33554432000 4194304 4623224 140735657911296 18446744073709551615 4485053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=1198452 CPUtime=221.03 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 536568 0 0 0 22018 85 0 0 25 0 4 0 497759439 1227214848 218410 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.81
Current children cumulated vsize (KiB) 1198452

[startup+282.301 s]

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

[pid=13810] ppid=13808 vsize=1903468 CPUtime=2805.26 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2530768 0 0 0 280045 481 0 0 25 0 4 0 497759434 1949151232 387833 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 475867 387833 344 105 0 471371 0
[pid=13810/tid=13812] ppid=13808 vsize=1903468 CPUtime=702.24 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 78087 0 0 0 70187 37 0 0 25 0 4 0 497759439 1949151232 387833 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357583 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=1903468 CPUtime=702.25 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 85057 0 0 0 70149 76 0 0 25 0 4 0 497759439 1949151232 387833 33554432000 4194304 4623224 140735657911296 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=1903468 CPUtime=698.42 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1706123 0 0 0 69576 266 0 0 25 0 4 0 497759439 1949151232 387833 33554432000 4194304 4623224 140735657911296 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 1903468

[startup+762.307 s]
/proc/loadavg: 8.02 8.06 7.73 9/184 13865
/proc/meminfo: memFree=12080296/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2245288 CPUtime=3044.96 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2726725 0 0 0 303985 511 0 0 25 0 4 0 497759434 2299174912 422617 33554432000 4194304 4623224 140735657911296 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 561322 422617 344 105 0 556826 0
[pid=13810/tid=13812] ppid=13808 vsize=2245288 CPUtime=762.25 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 78449 0 0 0 76187 38 0 0 25 0 4 0 497759439 2299174912 422617 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2245288 CPUtime=762.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 87854 0 0 0 76145 81 0 0 25 0 4 0 497759439 2299174912 422617 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2245288 CPUtime=758.1 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1710887 0 0 0 75543 267 0 0 25 0 4 0 497759439 2299174912 422617 33554432000 4194304 4623224 140735657911296 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 2245288

[startup+822.301 s]
/proc/loadavg: 8.04 8.06 7.75 9/184 13867
/proc/meminfo: memFree=11975720/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2263768 CPUtime=3284.62 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2740852 0 0 0 327942 520 0 0 25 0 4 0 497759434 2318098432 436440 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 565942 436440 344 105 0 561446 0
[pid=13810/tid=13812] ppid=13808 vsize=2263768 CPUtime=822.25 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 78863 0 0 0 82187 38 0 0 25 0 4 0 497759439 2318098432 436440 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2263768 CPUtime=822.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 91117 0 0 0 82139 87 0 0 25 0 4 0 497759439 2318098432 436440 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2263768 CPUtime=817.78 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1715711 0 0 0 81509 269 0 0 25 0 4 0 497759439 2318098432 436440 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.62
Current children cumulated vsize (KiB) 2263768

[startup+882.301 s]
/proc/loadavg: 8.12 8.08 7.77 9/184 13868
/proc/meminfo: memFree=11877252/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2315720 CPUtime=3524.31 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2769648 0 0 0 351906 525 0 0 25 0 4 0 497759434 2371297280 449432 33554432000 4194304 4623224 140735657911296 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 578930 449432 344 105 0 574434 0
[pid=13810/tid=13812] ppid=13808 vsize=2315720 CPUtime=882.25 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 95255 0 0 0 88185 40 0 0 25 0 4 0 497759439 2371297280 449432 33554432000 4194304 4623224 140735657911296 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2315720 CPUtime=882.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 91518 0 0 0 88139 87 0 0 25 0 4 0 497759439 2371297280 449432 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2315720 CPUtime=877.45 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1721133 0 0 0 87476 269 0 0 25 0 4 0 497759439 2371297280 449432 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 2315720

[startup+942.3 s]
/proc/loadavg: 8.12 8.08 7.79 9/184 13870
/proc/meminfo: memFree=11776516/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2355760 CPUtime=3763.99 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2795494 0 0 0 375864 535 0 0 25 0 4 0 497759434 2412298240 464509 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 588940 464509 344 105 0 584444 0
[pid=13810/tid=13812] ppid=13808 vsize=2355760 CPUtime=942.25 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 96097 0 0 0 94185 40 0 0 25 0 4 0 497759439 2412298240 464509 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2355760 CPUtime=942.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 104140 0 0 0 94132 94 0 0 25 0 4 0 497759439 2412298240 464509 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2355760 CPUtime=937.12 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1726247 0 0 0 93442 270 0 0 25 0 4 0 497759439 2412298240 464509 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 2355760

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 7.81 9/184 13871
/proc/meminfo: memFree=11661804/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2375532 CPUtime=4003.67 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2810726 0 0 0 399825 542 0 0 25 0 4 0 497759434 2432544768 478630 33554432000 4194304 4623224 140735657911296 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 593883 478630 344 105 0 589387 0
[pid=13810/tid=13812] ppid=13808 vsize=2375532 CPUtime=1002.26 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 96569 0 0 0 100185 41 0 0 25 0 4 0 497759439 2432544768 478630 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2375532 CPUtime=1002.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 105483 0 0 0 100130 96 0 0 25 0 4 0 497759439 2432544768 478630 33554432000 4194304 4623224 140735657911296 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2375532 CPUtime=996.8 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1731301 0 0 0 99408 272 0 0 25 0 4 0 497759439 2432544768 478630 33554432000 4194304 4623224 140735657911296 18446744073709551615 4330719 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 2375532

[startup+1062.3 s]
/proc/loadavg: 8.14 8.09 7.83 9/184 13873
/proc/meminfo: memFree=11560220/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2459252 CPUtime=4243.35 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2860312 0 0 0 423782 553 0 0 25 0 4 0 497759434 2518274048 493587 33554432000 4194304 4623224 140735657911296 18446744073709551615 4517501 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 614813 493587 344 105 0 610317 0
[pid=13810/tid=13812] ppid=13808 vsize=2459252 CPUtime=1062.26 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 96912 0 0 0 106185 41 0 0 25 0 4 0 497759439 2518274048 493587 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2459252 CPUtime=1062.26 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 107570 0 0 0 106126 100 0 0 25 0 4 0 497759439 2518274048 493587 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2459252 CPUtime=1056.48 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1736085 0 0 0 105375 273 0 0 25 0 4 0 497759439 2518274048 493587 33554432000 4194304 4623224 140735657911296 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 2459252

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 7.84 9/184 13875
/proc/meminfo: memFree=11465576/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2480016 CPUtime=4483.03 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2911794 0 0 0 447737 566 0 0 25 0 4 0 497759434 2539536384 507489 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 620004 507489 344 105 0 615508 0
[pid=13810/tid=13812] ppid=13808 vsize=2480016 CPUtime=1122.26 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 97195 0 0 0 112185 41 0 0 25 0 4 0 497759439 2539536384 507489 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2480016 CPUtime=1122.27 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 108800 0 0 0 112125 102 0 0 25 0 4 0 497759439 2539536384 507489 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2480016 CPUtime=1116.15 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1741149 0 0 0 111341 274 0 0 25 0 4 0 497759439 2539536384 507489 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 2480016

[startup+1182.3 s]
/proc/loadavg: 8.14 8.11 7.86 9/184 13876
/proc/meminfo: memFree=11354328/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2499368 CPUtime=4722.71 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2969165 0 0 0 471687 584 0 0 25 0 4 0 497759434 2559352832 524372 33554432000 4194304 4623224 140735657911296 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 624842 524372 344 105 0 620346 0
[pid=13810/tid=13812] ppid=13808 vsize=2499368 CPUtime=1182.26 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 97456 0 0 0 118185 41 0 0 25 0 4 0 497759439 2559352832 524372 33554432000 4194304 4623224 140735657911296 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2499368 CPUtime=1182.27 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 111569 0 0 0 118119 108 0 0 25 0 4 0 497759439 2559352832 524372 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2499368 CPUtime=1175.83 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1746024 0 0 0 117308 275 0 0 25 0 4 0 497759439 2559352832 524372 33554432000 4194304 4623224 140735657911296 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 2499368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.10 7.86 9/184 13877
/proc/meminfo: memFree=11320960/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2505796 CPUtime=4800.22 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2983668 0 0 0 479434 588 0 0 25 0 4 0 497759434 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 626449 528753 344 105 0 621953 0
[pid=13810/tid=13812] ppid=13808 vsize=2505796 CPUtime=1201.67 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 97645 0 0 0 120125 42 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2505796 CPUtime=1201.68 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 112011 0 0 0 120059 109 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2505796 CPUtime=1195.12 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1747666 0 0 0 119236 276 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 2505796

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 8.10 7.86 9/184 13877
/proc/meminfo: memFree=11320960/32951124 swapFree=67111528/67111528
[pid=13810] ppid=13808 vsize=2505796 CPUtime=4800.22 cores=1,3,5,7
/proc/13810/stat : 13810 (SArTagnan) R 13808 13810 13667 0 -1 4202496 2983668 0 0 0 479434 588 0 0 25 0 4 0 497759434 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13810/statm: 626449 528753 344 105 0 621953 0
[pid=13810/tid=13812] ppid=13808 vsize=2505796 CPUtime=1201.67 cores=1,3,5,7
/proc/13810/task/13812/stat : 13812 (SArTagnan) R 13808 13810 13667 0 -1 4202560 97645 0 0 0 120125 42 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=2505796 CPUtime=1201.68 cores=1,3,5,7
/proc/13810/task/13813/stat : 13813 (SArTagnan) R 13808 13810 13667 0 -1 4202560 112011 0 0 0 120059 109 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=2505796 CPUtime=1195.12 cores=1,3,5,7
/proc/13810/task/13814/stat : 13814 (SArTagnan) R 13808 13810 13667 0 -1 4202560 1747666 0 0 0 119236 276 0 0 25 0 4 0 497759439 2565935104 528753 33554432000 4194304 4623224 140735657911296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 2505796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.8
CPU time (s): 4800.34
CPU user time (s): 4794.37
CPU system time (s): 5.97409
CPU usage (%): 399.429
Max. virtual memory (cumulated for all children) (KiB): 2873932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.37
system time used= 5.97409
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2983668
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= 1385
involuntary context switches= 29809

runsolver used 1.81572 second user time and 4.74728 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 07:03:58
IDJOB=3258176
IDBENCH=71308
IDSOLVER=1656
FILE ID=node141/3258176-1304053438
RUNJOBID= node141-1304052234-13686
PBS_JOBID= 13170418
Free space on /tmp= 71420 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258176-1304053438/watcher-3258176-1304053438 -o /tmp/evaluation-result-3258176-1304053438/solver-3258176-1304053438 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3258176-1304053438.cnf -threads=4

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

MD5SUM BENCH= 399c54da7337981a88a374a67e87ba30
RANDOM SEED=819110449

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.806
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.806
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.84
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.806
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.806
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.806
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:      13939276 kB
Buffers:       1625260 kB
Cached:       15534844 kB
SwapCached:          0 kB
Active:        9195824 kB
Inactive:      9231560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13939276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:     1267112 kB
Mapped:          15456 kB
Slab:           518524 kB
PageTables:       7252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1591800 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= 71420 MiB
End job on node141 at 2011-04-29 07:24:02