Trace number 3281217

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.47 1202.19

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark202.908
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

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-3281217-1304039984/watcher-3281217-1304039984 -o /tmp/evaluation-result-3281217-1304039984/solver-3281217-1304039984 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3281217-1304039984.cnf -threads=4 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.31 4.92 5.51 3/177 32398
/proc/meminfo: memFree=20017616/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=18348 CPUtime=0 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 405 0 0 0 0 0 0 0 22 0 1 0 515598129 18788352 342 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278879488 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32398/statm: 4587 342 290 105 0 91 0

[startup+0.105507 s]
/proc/loadavg: 4.31 4.92 5.51 3/177 32398
/proc/meminfo: memFree=20017616/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=56908 CPUtime=0.1 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 10721 0 0 0 9 1 0 0 23 0 1 0 515598129 58273792 8237 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278577079 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32398/statm: 14227 8256 303 105 0 9731 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 56908

[startup+0.20049 s]
/proc/loadavg: 4.31 4.92 5.51 3/177 32398
/proc/meminfo: memFree=20017616/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=305088 CPUtime=0.45 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 22263 0 0 0 43 2 0 0 24 0 4 0 515598129 312410112 17206 33554432000 4194304 4623224 140737082212960 18446744073709551615 4358880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 76272 17206 334 105 0 71776 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 305088

[startup+0.300475 s]
/proc/loadavg: 4.31 4.92 5.51 3/177 32398
/proc/meminfo: memFree=20017616/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=305088 CPUtime=0.85 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 22400 0 0 0 83 2 0 0 24 0 4 0 515598129 312410112 17189 33554432000 4194304 4623224 140737082212960 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 76272 17189 335 105 0 71776 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 305088

[startup+0.700403 s]
/proc/loadavg: 4.31 4.92 5.51 3/177 32398
/proc/meminfo: memFree=20017616/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=306424 CPUtime=2.45 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 23351 0 0 0 243 2 0 0 25 0 4 0 515598129 313778176 17475 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 76606 17475 342 105 0 72110 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 306424

[startup+1.50026 s]
/proc/loadavg: 4.31 4.92 5.51 9/184 32405
/proc/meminfo: memFree=19901920/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=306424 CPUtime=5.64 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 23589 0 0 0 562 2 0 0 25 0 4 0 515598129 313778176 17713 33554432000 4194304 4623224 140737082212960 18446744073709551615 4488969 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 76606 17713 343 105 0 72110 0
[pid=32398/tid=32403] ppid=32396 vsize=306424 CPUtime=1.37 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 2491 0 0 0 137 0 0 0 25 0 4 0 515598140 313778176 17713 33554432000 4194304 4623224 140737082212960 18446744073709551615 4366665 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=306424 CPUtime=1.38 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 2458 0 0 0 138 0 0 0 25 0 4 0 515598140 313778176 17713 33554432000 4194304 4623224 140737082212960 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=306424 CPUtime=1.38 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 2608 0 0 0 138 0 0 0 25 0 4 0 515598140 313778176 17713 33554432000 4194304 4623224 140737082212960 18446744073709551615 4364280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 306424

[startup+3.10098 s]
/proc/loadavg: 4.31 4.92 5.51 9/184 32405
/proc/meminfo: memFree=19896588/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=310436 CPUtime=12.04 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 26362 0 0 0 1201 3 0 0 25 0 4 0 515598129 317886464 18484 33554432000 4194304 4623224 140737082212960 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 77609 18484 343 105 0 73113 0
[pid=32398/tid=32403] ppid=32396 vsize=310436 CPUtime=2.97 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 3719 0 0 0 297 0 0 0 25 0 4 0 515598140 317886464 18484 33554432000 4194304 4623224 140737082212960 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=310436 CPUtime=2.98 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 3917 0 0 0 298 0 0 0 25 0 4 0 515598140 317886464 18484 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=310436 CPUtime=2.97 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 2673 0 0 0 297 0 0 0 25 0 4 0 515598140 317886464 18484 33554432000 4194304 4623224 140737082212960 18446744073709551615 4553403 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 310436

[startup+6.30041 s]
/proc/loadavg: 4.68 4.99 5.52 9/184 32405
/proc/meminfo: memFree=19685056/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=391356 CPUtime=24.8 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 83487 0 0 0 2470 10 0 0 25 0 4 0 515598129 400748544 46689 33554432000 4194304 4623224 140737082212960 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 97839 46689 378 105 0 93343 0
[pid=32398/tid=32403] ppid=32396 vsize=391356 CPUtime=6.17 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 13739 0 0 0 615 2 0 0 25 0 4 0 515598140 400748544 46689 33554432000 4194304 4623224 140737082212960 18446744073709551615 4377031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=391356 CPUtime=6.17 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 12999 0 0 0 615 2 0 0 25 0 4 0 515598140 400748544 46689 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278534649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=391356 CPUtime=6.15 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 13248 0 0 0 614 1 0 0 25 0 4 0 515598140 400748544 46689 33554432000 4194304 4623224 140737082212960 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 391356

[startup+12.7003 s]
/proc/loadavg: 4.95 5.04 5.54 9/184 32405
/proc/meminfo: memFree=19670468/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=399876 CPUtime=50.37 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 108981 0 0 0 5023 14 0 0 25 0 4 0 515598129 409473024 48904 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 99969 48904 380 105 0 95473 0
[pid=32398/tid=32403] ppid=32396 vsize=399876 CPUtime=12.57 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 17906 0 0 0 1254 3 0 0 25 0 4 0 515598140 409473024 48904 33554432000 4194304 4623224 140737082212960 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=399876 CPUtime=12.57 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 13373 0 0 0 1255 2 0 0 25 0 4 0 515598140 409473024 48904 33554432000 4194304 4623224 140737082212960 18446744073709551615 4330665 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=399876 CPUtime=12.52 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 34180 0 0 0 1249 3 0 0 25 0 4 0 515598140 409473024 48904 33554432000 4194304 4623224 140737082212960 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 399876

[startup+25.501 s]
/proc/loadavg: 5.62 5.18 5.58 9/184 32406
/proc/meminfo: memFree=19611804/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=416156 CPUtime=101.51 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 206139 0 0 0 10123 28 0 0 25 0 4 0 515598129 426143744 57316 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 104039 57316 348 105 0 99543 0
[pid=32398/tid=32403] ppid=32396 vsize=416156 CPUtime=25.37 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 20994 0 0 0 2533 4 0 0 25 0 4 0 515598140 426143744 57316 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=416156 CPUtime=25.37 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 18221 0 0 0 2534 3 0 0 25 0 4 0 515598140 426143744 57316 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=416156 CPUtime=25.24 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 123184 0 0 0 2509 15 0 0 25 0 4 0 515598140 426143744 57316 33554432000 4194304 4623224 140737082212960 18446744073709551615 4550519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 416156

[startup+51.1004 s]
/proc/loadavg: 6.49 5.42 5.64 9/184 32406
/proc/meminfo: memFree=19455744/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=448792 CPUtime=203.77 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 423072 0 0 0 20309 68 0 0 25 0 4 0 515598129 459563008 79390 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 112198 79390 344 105 0 107702 0
[pid=32398/tid=32403] ppid=32396 vsize=448792 CPUtime=50.97 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 33367 0 0 0 5091 6 0 0 25 0 4 0 515598140 459563008 79390 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=448792 CPUtime=50.97 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 30766 0 0 0 5086 11 0 0 25 0 4 0 515598140 459563008 79390 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=448792 CPUtime=50.72 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 311118 0 0 0 5027 45 0 0 25 0 4 0 515598140 459563008 79390 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 448792

[startup+102.3 s]
/proc/loadavg: 7.41 5.83 5.77 9/184 32408
/proc/meminfo: memFree=19146848/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=776544 CPUtime=408.29 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 645505 0 0 0 40721 108 0 0 25 0 4 0 515598129 795181056 129901 33554432000 4194304 4623224 140737082212960 18446744073709551615 4507421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 194136 129901 344 105 0 189640 0
[pid=32398/tid=32403] ppid=32396 vsize=776544 CPUtime=102.16 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 75372 0 0 0 10204 12 0 0 25 0 4 0 515598140 795181056 129901 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=776544 CPUtime=102.16 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 69240 0 0 0 10194 22 0 0 25 0 4 0 515598140 795181056 129901 33554432000 4194304 4623224 140737082212960 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=776544 CPUtime=101.64 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 451071 0 0 0 10097 67 0 0 25 0 4 0 515598140 795181056 129901 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.29
Current children cumulated vsize (KiB) 776544

[startup+162.301 s]
/proc/loadavg: 7.92 6.26 5.92 9/184 32409
/proc/meminfo: memFree=18889540/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=952508 CPUtime=647.8 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 788813 0 0 0 64636 144 0 0 25 0 4 0 515598129 975368192 183240 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 238127 183240 346 105 0 233631 0
[pid=32398/tid=32403] ppid=32396 vsize=952508 CPUtime=162.12 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 118234 0 0 0 16186 26 0 0 25 0 4 0 515598140 975368192 183240 33554432000 4194304 4623224 140737082212960 18446744073709551615 4463033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=952508 CPUtime=162 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 104294 0 0 0 16166 34 0 0 25 0 4 0 515598140 975368192 183240 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=952508 CPUtime=161.37 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 511624 0 0 0 16061 76 0 0 25 0 4 0 515598140 975368192 183240 33554432000 4194304 4623224 140737082212960 18446744073709551615 4545431 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 952508

[startup+222.307 s]
/proc/loadavg: 7.97 6.57 6.05 9/184 32411
/proc/meminfo: memFree=18615116/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=1084260 CPUtime=887.34 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 1061070 0 0 0 88536 198 0 0 25 0 4 0 515598129 1110282240 207114 33554432000 4194304 4623224 140737082212960 18446744073709551615 4360115 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 271065 207114 345 105 0 266569 0
[pid=32398/tid=32403] ppid=32396 vsize=1084260 CPUtime=222.07 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 131698 0 0 0 22172 35 0 0 19 0 4 0 515598140 1110282240 207114 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278537537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1084260 CPUtime=221.58 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 111001 0 0 0 22117 41 0 0 25 0 4 0 515598140 1110282240 207114 33554432000 4194304 4623224 140737082212960 18446744073709551615 4467877 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1084260 CPUtime=221.38 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 762337 0 0 0 22025 113 0 0 25 0 4 0 515598140 1110282240 207114 33554432000 4194304 4623224 140737082212960 18446744073709551615 4278234 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.34
Current children cumulated vsize (KiB) 1084260

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.08 7.74 6.84 9/184 32424
/proc/meminfo: memFree=15413712/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=2537588 CPUtime=2804.64 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 4283971 0 0 0 279718 746 0 0 25 0 4 0 515598129 2598490112 525120 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 634397 525120 865 105 0 629901 0
[pid=32398/tid=32403] ppid=32396 vsize=2537588 CPUtime=701.97 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 181721 0 0 0 70114 83 0 0 25 0 4 0 515598140 2598490112 525120 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=2537588 CPUtime=699 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 168632 0 0 0 69826 74 0 0 25 0 4 0 515598140 2598490112 525120 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=2537588 CPUtime=701.36 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 3365567 0 0 0 69629 507 0 0 25 0 4 0 515598140 2598490112 525120 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.64
Current children cumulated vsize (KiB) 2537588

[startup+762.301 s]
/proc/loadavg: 8.07 7.80 6.91 9/184 32425
/proc/meminfo: memFree=15181572/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=2668660 CPUtime=3044.34 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 4608151 0 0 0 303629 805 0 0 25 0 4 0 515598129 2732707840 545682 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 667165 545682 866 105 0 662669 0
[pid=32398/tid=32403] ppid=32396 vsize=2668660 CPUtime=761.98 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 188488 0 0 0 76104 94 0 0 25 0 4 0 515598140 2732707840 545682 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=2668660 CPUtime=758.68 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 169328 0 0 0 75793 75 0 0 25 0 4 0 515598140 2732707840 545682 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=2668660 CPUtime=761.37 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 3674064 0 0 0 75585 552 0 0 25 0 4 0 515598140 2732707840 545682 33554432000 4194304 4623224 140737082212960 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.34
Current children cumulated vsize (KiB) 2668660

[startup+822.3 s]
/proc/loadavg: 8.06 7.85 6.98 9/184 32427
/proc/meminfo: memFree=14954516/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=2774988 CPUtime=3283.99 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 4961407 0 0 0 327535 864 0 0 25 0 4 0 515598129 2841587712 575088 33554432000 4194304 4623224 140737082212960 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 693747 575088 874 105 0 689251 0
[pid=32398/tid=32403] ppid=32396 vsize=2774988 CPUtime=821.97 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 194998 0 0 0 82096 101 0 0 25 0 4 0 515598140 2841587712 575088 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=2774988 CPUtime=818.35 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 178613 0 0 0 81755 80 0 0 25 0 4 0 515598140 2841587712 575088 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=2774988 CPUtime=821.36 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 4007655 0 0 0 81539 597 0 0 25 0 4 0 515598140 2841587712 575088 33554432000 4194304 4623224 140737082212960 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.99
Current children cumulated vsize (KiB) 2774988

[startup+882.307 s]
/proc/loadavg: 8.06 7.89 7.05 9/184 32428
/proc/meminfo: memFree=14739476/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=2840524 CPUtime=3523.69 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 5304838 0 0 0 351445 924 0 0 25 0 4 0 515598129 2908696576 595974 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 710131 595974 865 105 0 705635 0
[pid=32398/tid=32403] ppid=32396 vsize=2840524 CPUtime=881.97 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 200416 0 0 0 88089 108 0 0 25 0 4 0 515598140 2908696576 595974 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=2840524 CPUtime=878.03 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 182653 0 0 0 87719 84 0 0 25 0 4 0 515598140 2908696576 595974 33554432000 4194304 4623224 140737082212960 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=2840524 CPUtime=881.36 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 4337931 0 0 0 87491 645 0 0 25 0 4 0 515598140 2908696576 595974 33554432000 4194304 4623224 140737082212960 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.69
Current children cumulated vsize (KiB) 2840524

[startup+942.301 s]
/proc/loadavg: 8.13 7.93 7.11 9/184 32430
/proc/meminfo: memFree=14536104/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=2840524 CPUtime=3763.34 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 5627835 0 0 0 375354 980 0 0 25 0 4 0 515598129 2908696576 616006 33554432000 4194304 4623224 140737082212960 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32398/statm: 710131 616006 867 105 0 705635 0
[pid=32398/tid=32403] ppid=32396 vsize=2840524 CPUtime=941.96 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 203696 0 0 0 94085 111 0 0 25 0 4 0 515598140 2908696576 616006 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=2840524 CPUtime=937.7 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 186599 0 0 0 93681 89 0 0 25 0 4 0 515598140 2908696576 616006 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=2840524 CPUtime=941.37 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 4651022 0 0 0 93444 693 0 0 25 0 4 0 515598140 2908696576 616006 33554432000 4194304 4623224 140737082212960 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.34
Current children cumulated vsize (KiB) 2840524

[startup+1002.3 s]
/proc/loadavg: 8.18 7.98 7.18 9/184 32432
/proc/meminfo: memFree=13954784/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=3491812 CPUtime=4002.89 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 6176631 0 0 0 399198 1091 0 0 18 0 4 0 515598129 3575615488 744149 33554432000 4194304 4623224 140737082212960 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32398/statm: 872953 744149 875 105 0 868457 0
[pid=32398/tid=32403] ppid=32396 vsize=3491812 CPUtime=1001.94 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 233900 0 0 0 100071 123 0 0 18 0 4 0 515598140 3575615488 744149 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278540833 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=3491812 CPUtime=997.36 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 224554 0 0 0 99624 112 0 0 18 0 4 0 515598140 3575615488 744150 33554432000 4194304 4623224 140737082212960 18446744073709551615 4278485 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=3491812 CPUtime=1001.34 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 4960859 0 0 0 99395 739 0 0 19 0 4 0 515598140 3575615488 744150 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.89
Current children cumulated vsize (KiB) 3491812

[startup+1062.3 s]
/proc/loadavg: 8.19 8.01 7.24 9/184 32433
/proc/meminfo: memFree=12731388/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=4944388 CPUtime=4242.21 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 7208041 0 0 0 422972 1249 0 0 25 0 4 0 515598129 5063053312 1008809 33554432000 4194304 4623224 140737082212960 18446744073709551615 237278535637 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32398/statm: 1236097 1008809 345 105 0 1231601 0
[pid=32398/tid=32403] ppid=32396 vsize=4944388 CPUtime=1061.56 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 275773 0 0 0 106020 136 0 0 25 0 4 0 515598140 5063053312 1008809 33554432000 4194304 4623224 140737082212960 18446744073709551615 4278229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=4944388 CPUtime=1057.24 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 288295 0 0 0 105590 134 0 0 25 0 4 0 515598140 5063053312 1008809 33554432000 4194304 4623224 140737082212960 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=4944388 CPUtime=1061.19 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 5190541 0 0 0 105342 777 0 0 25 0 4 0 515598140 5063053312 1008809 33554432000 4194304 4623224 140737082212960 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.21
Current children cumulated vsize (KiB) 4944388

[startup+1122.3 s]
/proc/loadavg: 8.12 8.02 7.29 9/184 32435
/proc/meminfo: memFree=12585184/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=5042920 CPUtime=4481.89 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 7261397 0 0 0 446932 1257 0 0 25 0 4 0 515598129 5163950080 1023360 33554432000 4194304 4623224 140737082212960 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32398/statm: 1260730 1023360 345 105 0 1256234 0
[pid=32398/tid=32403] ppid=32396 vsize=5042920 CPUtime=1121.56 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 278985 0 0 0 112020 136 0 0 25 0 4 0 515598140 5163950080 1023360 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=5042920 CPUtime=1117.24 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 333143 0 0 0 111584 140 0 0 25 0 4 0 515598140 5163950080 1023360 33554432000 4194304 4623224 140737082212960 18446744073709551615 4290004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=5042920 CPUtime=1120.87 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 5195837 0 0 0 111309 778 0 0 25 0 4 0 515598140 5163950080 1023360 33554432000 4194304 4623224 140737082212960 18446744073709551615 4354975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4481.89
Current children cumulated vsize (KiB) 5042920

[startup+1182.3 s]
/proc/loadavg: 8.09 8.03 7.33 9/184 32436
/proc/meminfo: memFree=12503824/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=5068884 CPUtime=4721.56 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 7268144 0 0 0 470897 1259 0 0 25 0 4 0 515598129 5190537216 1030106 33554432000 4194304 4623224 140737082212960 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32398/statm: 1267221 1030106 345 105 0 1262725 0
[pid=32398/tid=32403] ppid=32396 vsize=5068884 CPUtime=1181.56 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 279171 0 0 0 118020 136 0 0 25 0 4 0 515598140 5190537216 1030106 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=5068884 CPUtime=1177.24 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 333192 0 0 0 117584 140 0 0 25 0 4 0 515598140 5190537216 1030106 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=5068884 CPUtime=1180.55 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 5202305 0 0 0 117275 780 0 0 25 0 4 0 515598140 5190537216 1030106 33554432000 4194304 4623224 140737082212960 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.56
Current children cumulated vsize (KiB) 5068884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.06 8.03 7.35 5/179 32438
/proc/meminfo: memFree=15881376/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=5078712 CPUtime=4800.27 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) R 32396 32398 31281 0 -1 4202496 7271773 0 0 0 478767 1260 0 0 25 0 4 0 515598129 5200601088 1033735 33554432000 4194304 4623224 140737082212960 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32398/statm: 1269678 1033735 345 105 0 1265182 0
[pid=32398/tid=32403] ppid=32396 vsize=5078712 CPUtime=1201.27 cores=0,2,4,6
/proc/32398/task/32403/stat : 32403 (SArTagnan) R 32396 32398 31281 0 -1 4202560 279174 0 0 0 119991 136 0 0 25 0 4 0 515598140 5200601088 1033735 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=5078712 CPUtime=1196.95 cores=0,2,4,6
/proc/32398/task/32404/stat : 32404 (SArTagnan) R 32396 32398 31281 0 -1 4202560 333192 0 0 0 119555 140 0 0 25 0 4 0 515598140 5200601088 1033735 33554432000 4194304 4623224 140737082212960 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=5078712 CPUtime=1200.14 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4202560 5204751 0 0 0 119233 781 0 0 25 0 4 0 515598140 5200601088 1033735 33554432000 4194304 4623224 140737082212960 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 5078712

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

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

[startup+1202.11 s]
/proc/loadavg: 8.06 8.03 7.35 5/179 32438
/proc/meminfo: memFree=15881376/32950904 swapFree=67082284/67111528
[pid=32398] ppid=32396 vsize=0 CPUtime=4800.39 cores=0,2,4,6
/proc/32398/stat : 32398 (SArTagnan) Z 32396 32398 31281 0 -1 4203548 7271773 0 0 0 478769 1270 0 0 25 0 2 0 515598129 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32398/statm: 0 0 0 0 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=0 CPUtime=1200.25 cores=0,2,4,6
/proc/32398/task/32405/stat : 32405 (SArTagnan) R 32396 32398 31281 0 -1 4203588 5204751 0 0 0 119234 791 0 0 25 0 2 0 515598140 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.19
CPU time (s): 4800.47
CPU user time (s): 4787.7
CPU system time (s): 12.7751
CPU usage (%): 399.311
Max. virtual memory (cumulated for all children) (KiB): 5858712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.7
system time used= 12.7751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7271773
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= 86533
involuntary context switches= 19203

runsolver used 2.03169 second user time and 4.44632 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 03:19:44
IDJOB=3281217
IDBENCH=20536
IDSOLVER=1656
FILE ID=node121/3281217-1304039984
RUNJOBID= node121-1304039984-32378
PBS_JOBID= 13170331
Free space on /tmp= 72648 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281217-1304039984/watcher-3281217-1304039984 -o /tmp/evaluation-result-3281217-1304039984/solver-3281217-1304039984 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3281217-1304039984.cnf -threads=4

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=1738563804

node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      20018020 kB
Buffers:       2178448 kB
Cached:       10188472 kB
SwapCached:       2776 kB
Active:        9099976 kB
Inactive:      3313764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20018020 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            8280 kB
Writeback:           0 kB
AnonPages:       43592 kB
Mapped:          13920 kB
Slab:           454716 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   218696 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= 72648 MiB
End job on node121 at 2011-04-29 03:39:48