Trace number 3259584

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.22 1202

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
MD5SUM118632220c6f3388c45a2582e9a2ac0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark816.061
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses133795
Sum of the clauses size269030
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2133735
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3259584-1304059572/watcher-3259584-1304059572 -o /tmp/evaluation-result-3259584-1304059572/solver-3259584-1304059572 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3259584-1304059572.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: 4.22 6.64 7.49 5/180 11702
/proc/meminfo: memFree=26723488/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=21992 CPUtime=0 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 602 0 0 0 0 0 0 0 22 0 1 0 517555928 22519808 470 33554432000 4194304 4623224 140733251685792 18446744073709551615 251814240000 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11702/statm: 5498 471 297 105 0 1002 0

[startup+0.0277779 s]
/proc/loadavg: 4.22 6.64 7.49 5/180 11702
/proc/meminfo: memFree=26723488/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=23552 CPUtime=0.02 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 1690 0 0 0 2 0 0 0 22 0 1 0 517555928 24117248 778 33554432000 4194304 4623224 140733251685792 18446744073709551615 4584020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11702/statm: 5888 779 297 105 0 1392 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23552

[startup+0.10077 s]
/proc/loadavg: 4.22 6.64 7.49 5/180 11702
/proc/meminfo: memFree=26723488/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=257508 CPUtime=0.29 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 4045 0 0 0 29 0 0 0 24 0 4 0 517555928 263688192 3075 33554432000 4194304 4623224 140733251685792 18446744073709551615 4526848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 64377 3075 343 105 0 59881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 257508

[startup+0.300738 s]
/proc/loadavg: 4.22 6.64 7.49 5/180 11702
/proc/meminfo: memFree=26723488/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=260444 CPUtime=1.09 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 6054 0 0 0 109 0 0 0 25 0 4 0 517555928 266694656 5066 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 65111 5066 344 105 0 60615 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 260444

[startup+0.700669 s]
/proc/loadavg: 4.22 6.64 7.49 5/180 11702
/proc/meminfo: memFree=26723488/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=265928 CPUtime=2.68 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 8981 0 0 0 268 0 0 0 25 0 4 0 517555928 272310272 7629 33554432000 4194304 4623224 140733251685792 18446744073709551615 4501791 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 66482 7629 344 105 0 61986 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 265928

[startup+1.50054 s]
/proc/loadavg: 4.22 6.64 7.49 9/184 11706
/proc/meminfo: memFree=26669704/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=272292 CPUtime=5.88 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 13723 0 0 0 587 1 0 0 25 0 4 0 517555928 278827008 11053 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510023 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 68073 11053 344 105 0 63577 0
[pid=11702/tid=11704] ppid=11700 vsize=272292 CPUtime=1.45 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 2466 0 0 0 145 0 0 0 25 0 4 0 517555932 278827008 11053 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=272292 CPUtime=1.45 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 3361 0 0 0 145 0 0 0 25 0 4 0 517555932 278827008 11053 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376877 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=272292 CPUtime=1.46 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 1737 0 0 0 146 0 0 0 25 0 4 0 517555932 278827008 11053 33554432000 4194304 4623224 140733251685792 18446744073709551615 4577392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 272292

[startup+3.10027 s]
/proc/loadavg: 4.22 6.64 7.49 9/184 11706
/proc/meminfo: memFree=26641556/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=280336 CPUtime=12.27 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 21786 0 0 0 1223 4 0 0 25 0 4 0 517555928 287064064 15699 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 70084 15699 344 105 0 65588 0
[pid=11702/tid=11704] ppid=11700 vsize=280336 CPUtime=3.06 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 3987 0 0 0 305 1 0 0 25 0 4 0 517555932 287064064 15699 33554432000 4194304 4623224 140733251685792 18446744073709551615 4367191 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=280336 CPUtime=3.04 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 5706 0 0 0 302 2 0 0 25 0 4 0 517555932 287064064 15699 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=280336 CPUtime=3.05 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 4361 0 0 0 305 0 0 0 25 0 4 0 517555932 287064064 15699 33554432000 4194304 4623224 140733251685792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 280336

[startup+6.30073 s]
/proc/loadavg: 4.52 6.67 7.49 9/184 11707
/proc/meminfo: memFree=26582340/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=286508 CPUtime=25.06 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 47649 0 0 0 2497 9 0 0 25 0 4 0 517555928 293384192 22880 33554432000 4194304 4623224 140733251685792 18446744073709551615 4516371 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 71627 22880 344 105 0 67131 0
[pid=11702/tid=11704] ppid=11700 vsize=286508 CPUtime=6.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 5988 0 0 0 625 1 0 0 25 0 4 0 517555932 293384192 22880 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=286508 CPUtime=6.22 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 9503 0 0 0 619 3 0 0 25 0 4 0 517555932 293384192 22880 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=286508 CPUtime=6.26 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 23634 0 0 0 623 3 0 0 25 0 4 0 517555932 293384192 22880 33554432000 4194304 4623224 140733251685792 18446744073709551615 4545946 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 286508

[startup+12.7007 s]
/proc/loadavg: 4.80 6.69 7.49 9/184 11707
/proc/meminfo: memFree=26498036/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=305780 CPUtime=50.62 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 96583 0 0 0 5043 19 0 0 25 0 4 0 517555928 313118720 34191 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 76445 34191 344 105 0 71949 0
[pid=11702/tid=11704] ppid=11700 vsize=305780 CPUtime=12.66 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 10067 0 0 0 1264 2 0 0 25 0 4 0 517555932 313118720 34191 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=305780 CPUtime=12.59 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 16983 0 0 0 1253 6 0 0 25 0 4 0 517555932 313118720 34191 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376742 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=305780 CPUtime=12.65 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 58650 0 0 0 1256 9 0 0 25 0 4 0 517555932 313118720 34191 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 305780

[startup+25.5005 s]
/proc/loadavg: 5.51 6.75 7.50 9/184 11707
/proc/meminfo: memFree=26366204/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=333748 CPUtime=101.74 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 201969 0 0 0 10133 41 0 0 25 0 4 0 517555928 341757952 50577 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 83437 50588 344 105 0 78941 0
[pid=11702/tid=11704] ppid=11700 vsize=333748 CPUtime=25.45 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 16255 0 0 0 2540 5 0 0 25 0 4 0 517555932 341757952 50600 33554432000 4194304 4623224 140733251685792 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=333748 CPUtime=25.32 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 26279 0 0 0 2522 10 0 0 25 0 4 0 517555932 341757952 50616 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=333748 CPUtime=25.45 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 147979 0 0 0 2522 23 0 0 25 0 4 0 517555932 341757952 50622 33554432000 4194304 4623224 140733251685792 18446744073709551615 251813937337 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 333748

[startup+51.1012 s]
/proc/loadavg: 6.36 6.85 7.51 9/184 11707
/proc/meminfo: memFree=26186196/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=533144 CPUtime=204.01 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 389380 0 0 0 20323 78 0 0 25 0 4 0 517555928 545939456 79573 33554432000 4194304 4623224 140733251685792 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 133286 79577 377 105 0 128790 0
[pid=11702/tid=11704] ppid=11700 vsize=533144 CPUtime=51.06 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 22026 0 0 0 5097 9 0 0 25 0 4 0 517555932 545939456 79579 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=533144 CPUtime=50.77 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 39259 0 0 0 5061 16 0 0 25 0 4 0 517555932 545939456 79579 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=533144 CPUtime=51.06 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 293407 0 0 0 5060 46 0 0 25 0 4 0 517555932 545939456 79579 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 533144

[startup+102.307 s]
/proc/loadavg: 7.33 7.04 7.54 9/184 11709
/proc/meminfo: memFree=25944492/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=726192 CPUtime=408.54 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 495115 0 0 0 40749 105 0 0 25 0 4 0 517555928 743620608 122323 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 181548 122323 345 105 0 177052 0
[pid=11702/tid=11704] ppid=11700 vsize=726192 CPUtime=102.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 32296 0 0 0 10214 12 0 0 25 0 4 0 517555932 743620608 122323 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=726192 CPUtime=101.68 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 55906 0 0 0 10142 26 0 0 25 0 4 0 517555932 743620608 122323 33554432000 4194304 4623224 140733251685792 18446744073709551615 4378425 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=726192 CPUtime=102.26 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 302981 0 0 0 10178 48 0 0 25 0 4 0 517555932 743620608 122323 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 726192

[startup+162.301 s]
/proc/loadavg: 7.79 7.23 7.57 9/184 11711
/proc/meminfo: memFree=25764160/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=808148 CPUtime=648.19 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 870534 0 0 0 64647 172 0 0 25 0 4 0 517555928 827543552 144261 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 202037 144261 345 105 0 197541 0
[pid=11702/tid=11704] ppid=11700 vsize=808148 CPUtime=162.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 41955 0 0 0 16212 14 0 0 25 0 4 0 517555932 827543552 144261 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=808148 CPUtime=161.36 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 58042 0 0 0 16107 29 0 0 25 0 4 0 517555932 827543552 144261 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=808148 CPUtime=162.25 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 616988 0 0 0 16123 102 0 0 25 0 4 0 517555932 827543552 144261 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376895 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.19
Current children cumulated vsize (KiB) 808148

[startup+222.3 s]
/proc/loadavg: 8.00 7.39 7.60 9/184 11712
/proc/meminfo: memFree=25618184/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=848612 CPUtime=887.86 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 1209373 0 0 0 88551 235 0 0 25 0 4 0 517555928 868978688 168583 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 212153 168583 376 105 0 207657 0
[pid=11702/tid=11704] ppid=11700 vsize=848612 CPUtime=222.25 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 46672 0 0 0 22206 19 0 0 25 0 4 0 517555932 868978688 168583 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=848612 CPUtime=221.03 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 58628 0 0 0 22074 29 0 0 25 0 4 0 517555932 868978688 168583 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=848612 CPUtime=222.25 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 933549 0 0 0 22071 154 0 0 25 0 4 0 517555932 868978688 168583 33554432000 4194304 4623224 140733251685792 18446744073709551615 4545690 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (KiB) 848612

[startup+282.3 s]

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

[pid=11702] ppid=11700 vsize=1832084 CPUtime=2805.25 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 4794515 0 0 0 279657 868 0 0 25 0 4 0 517555928 1876054016 347757 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 458021 347758 344 105 0 453525 0
[pid=11702/tid=11704] ppid=11700 vsize=1832084 CPUtime=702.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 87234 0 0 0 70197 29 0 0 25 0 4 0 517555932 1876054016 347758 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=1832084 CPUtime=698.42 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 93582 0 0 0 69786 56 0 0 25 0 4 0 517555932 1876054016 347758 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=1832084 CPUtime=702.24 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 4063896 0 0 0 69532 692 0 0 25 0 4 0 517555932 1876054016 347758 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.25
Current children cumulated vsize (KiB) 1832084

[startup+762.307 s]
/proc/loadavg: 8.03 7.97 7.81 9/184 11727
/proc/meminfo: memFree=24362204/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=1897848 CPUtime=3044.95 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 5256793 0 0 0 303542 953 0 0 25 0 4 0 517555928 1943396352 362484 33554432000 4194304 4623224 140733251685792 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 474462 362484 344 105 0 469966 0
[pid=11702/tid=11704] ppid=11700 vsize=1897848 CPUtime=762.28 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 87738 0 0 0 76198 30 0 0 25 0 4 0 517555932 1943396352 362485 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=1897848 CPUtime=758.09 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 94799 0 0 0 75752 57 0 0 25 0 4 0 517555932 1943396352 362485 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=1897848 CPUtime=762.24 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 4516895 0 0 0 75452 772 0 0 25 0 4 0 517555932 1943396352 362486 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.95
Current children cumulated vsize (KiB) 1897848

[startup+822.301 s]
/proc/loadavg: 8.01 7.97 7.82 9/184 11728
/proc/meminfo: memFree=24252064/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=1931300 CPUtime=3284.6 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 5751630 0 0 0 327418 1042 0 0 25 0 4 0 517555928 1977651200 382924 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 482825 382924 344 105 0 478329 0
[pid=11702/tid=11704] ppid=11700 vsize=1931300 CPUtime=822.27 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 88239 0 0 0 82197 30 0 0 25 0 4 0 517555932 1977651200 382924 33554432000 4194304 4623224 140733251685792 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=1931300 CPUtime=817.76 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 96192 0 0 0 81718 58 0 0 25 0 4 0 517555932 1977651200 382924 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=1931300 CPUtime=822.24 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 4996849 0 0 0 81367 857 0 0 25 0 4 0 517555932 1977651200 382925 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 1931300

[startup+882.301 s]
/proc/loadavg: 8.00 7.97 7.83 9/184 11730
/proc/meminfo: memFree=24146252/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2029604 CPUtime=3524.27 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 6230940 0 0 0 351305 1122 0 0 25 0 4 0 517555928 2078314496 396995 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 507401 396995 344 105 0 502905 0
[pid=11702/tid=11704] ppid=11700 vsize=2029604 CPUtime=882.27 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 88604 0 0 0 88197 30 0 0 25 0 4 0 517555932 2078314496 396995 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2029604 CPUtime=877.44 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 96826 0 0 0 87684 60 0 0 25 0 4 0 517555932 2078314496 396995 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2029604 CPUtime=882.23 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 5450492 0 0 0 87291 932 0 0 25 0 4 0 517555932 2078314496 396995 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 2029604

[startup+942.301 s]
/proc/loadavg: 8.04 7.99 7.84 9/184 11740
/proc/meminfo: memFree=23927600/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2399280 CPUtime=3763.93 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 6914816 0 0 0 375165 1228 0 0 25 0 4 0 517555928 2456862720 438100 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414990 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 599820 438100 344 105 0 595324 0
[pid=11702/tid=11704] ppid=11700 vsize=2399280 CPUtime=942.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 95039 0 0 0 94195 31 0 0 25 0 4 0 517555932 2456862720 438100 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2399280 CPUtime=937.11 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 97325 0 0 0 93651 60 0 0 25 0 4 0 517555932 2456862720 438100 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2399280 CPUtime=942.22 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 5938113 0 0 0 93210 1012 0 0 25 0 4 0 517555932 2456862720 438100 33554432000 4194304 4623224 140733251685792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 2399280

[startup+1002.3 s]
/proc/loadavg: 8.05 8.00 7.85 9/184 11742
/proc/meminfo: memFree=23830212/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2414192 CPUtime=4003.6 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7239634 0 0 0 399072 1288 0 0 25 0 4 0 517555928 2472132608 453935 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 603548 453935 344 105 0 599052 0
[pid=11702/tid=11704] ppid=11700 vsize=2414192 CPUtime=1002.26 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 95525 0 0 0 100195 31 0 0 25 0 4 0 517555932 2472132608 453935 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2414192 CPUtime=996.78 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 101919 0 0 0 99613 65 0 0 25 0 4 0 517555932 2472132608 453936 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2414192 CPUtime=1002.23 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6251745 0 0 0 99157 1066 0 0 25 0 4 0 517555932 2472132608 453936 33554432000 4194304 4623224 140733251685792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.6
Current children cumulated vsize (KiB) 2414192

[startup+1062.3 s]
/proc/loadavg: 8.05 8.01 7.86 9/184 11744
/proc/meminfo: memFree=23746100/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2498376 CPUtime=4243.28 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7256637 0 0 0 423030 1298 0 0 25 0 4 0 517555928 2558337024 470552 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 624594 470552 344 105 0 620098 0
[pid=11702/tid=11704] ppid=11700 vsize=2498376 CPUtime=1062.27 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 95947 0 0 0 106195 32 0 0 25 0 4 0 517555932 2558337024 470552 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2498376 CPUtime=1056.45 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 106413 0 0 0 105574 71 0 0 25 0 4 0 517555932 2558337024 470552 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2498376 CPUtime=1062.23 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6256383 0 0 0 105155 1068 0 0 25 0 4 0 517555932 2558337024 470552 33554432000 4194304 4623224 140733251685792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.28
Current children cumulated vsize (KiB) 2498376

[startup+1122.3 s]
/proc/loadavg: 8.28 8.08 7.89 9/184 11748
/proc/meminfo: memFree=23675240/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2524772 CPUtime=4482.11 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7270581 0 0 0 446908 1303 0 0 25 0 4 0 517555928 2585366528 483883 33554432000 4194304 4623224 140733251685792 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 631193 483883 344 105 0 626697 0
[pid=11702/tid=11704] ppid=11700 vsize=2524772 CPUtime=1122.27 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 96525 0 0 0 112195 32 0 0 25 0 4 0 517555932 2585366528 483883 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2524772 CPUtime=1116.12 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 107088 0 0 0 111540 72 0 0 25 0 4 0 517555932 2585366528 483883 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2524772 CPUtime=1121.38 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6262527 0 0 0 111069 1069 0 0 25 0 4 0 517555932 2585366528 483883 33554432000 4194304 4623224 140733251685792 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.11
Current children cumulated vsize (KiB) 2524772

[startup+1182.3 s]
/proc/loadavg: 8.21 8.10 7.91 9/184 11750
/proc/meminfo: memFree=23596800/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2548280 CPUtime=4721.79 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7284469 0 0 0 470872 1307 0 0 25 0 4 0 517555928 2609438720 496992 33554432000 4194304 4623224 140733251685792 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 637070 496992 344 105 0 632574 0
[pid=11702/tid=11704] ppid=11700 vsize=2548280 CPUtime=1182.27 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 96925 0 0 0 118195 32 0 0 25 0 4 0 517555932 2609438720 496992 33554432000 4194304 4623224 140733251685792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2548280 CPUtime=1175.8 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 107771 0 0 0 117507 73 0 0 25 0 4 0 517555932 2609438720 496992 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2548280 CPUtime=1181.38 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6268433 0 0 0 117067 1071 0 0 25 0 4 0 517555932 2609438720 496992 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.79
Current children cumulated vsize (KiB) 2548280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.15 8.09 7.91 5/179 11751
/proc/meminfo: memFree=24712072/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2557088 CPUtime=4800.1 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7290698 0 0 0 478701 1309 0 0 25 0 4 0 517555928 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 639272 502904 344 105 0 634776 0
[pid=11702/tid=11704] ppid=11700 vsize=2557088 CPUtime=1201.87 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 97286 0 0 0 120155 32 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2557088 CPUtime=1195.3 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 108463 0 0 0 119456 74 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2557088 CPUtime=1200.99 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6270640 0 0 0 119027 1072 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 2557088

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

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

[startup+1201.9 s]
/proc/loadavg: 8.15 8.09 7.91 5/179 11751
/proc/meminfo: memFree=24712072/32950928 swapFree=67111524/67111528
[pid=11702] ppid=11700 vsize=2557088 CPUtime=4800.1 cores=1,3,5,7
/proc/11702/stat : 11702 (SArTagnan) R 11700 11702 10905 0 -1 4202496 7290698 0 0 0 478701 1309 0 0 25 0 4 0 517555928 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11702/statm: 639272 502904 344 105 0 634776 0
[pid=11702/tid=11704] ppid=11700 vsize=2557088 CPUtime=1201.87 cores=1,3,5,7
/proc/11702/task/11704/stat : 11704 (SArTagnan) R 11700 11702 10905 0 -1 4202560 97286 0 0 0 120155 32 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11702/tid=11705] ppid=11700 vsize=2557088 CPUtime=1195.3 cores=1,3,5,7
/proc/11702/task/11705/stat : 11705 (SArTagnan) R 11700 11702 10905 0 -1 4202560 108463 0 0 0 119456 74 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11702/tid=11706] ppid=11700 vsize=2557088 CPUtime=1200.99 cores=1,3,5,7
/proc/11702/task/11706/stat : 11706 (SArTagnan) R 11700 11702 10905 0 -1 4202560 6270640 0 0 0 119027 1072 0 0 25 0 4 0 517555932 2618458112 502904 33554432000 4194304 4623224 140733251685792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 2557088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202
CPU time (s): 4800.22
CPU user time (s): 4787.04
CPU system time (s): 13.185
CPU usage (%): 399.352
Max. virtual memory (cumulated for all children) (KiB): 3041772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.04
system time used= 13.185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7290700
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= 1740
involuntary context switches= 20626

runsolver used 1.78073 second user time and 4.78527 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 08:46:12
IDJOB=3259584
IDBENCH=71593
IDSOLVER=1656
FILE ID=node126/3259584-1304059572
RUNJOBID= node126-1304059572-11680
PBS_JOBID= 13170422
Free space on /tmp= 71596 MiB

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

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

MD5SUM BENCH= 118632220c6f3388c45a2582e9a2ac0e
RANDOM SEED=549036562

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26723644 kB
Buffers:       1410780 kB
Cached:        4202580 kB
SwapCached:          4 kB
Active:         240936 kB
Inactive:      5442708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26723644 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3148 kB
Writeback:           8 kB
AnonPages:       70416 kB
Mapped:          15368 kB
Slab:           480416 kB
PageTables:       4408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   244764 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= 71596 MiB
End job on node126 at 2011-04-29 09:06:16