Trace number 3386383

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 4112.02 1300.08

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
MD5SUM4b75ef7fb46928f50793af1d74c176e2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4342.44
Satisfiable
(Un)Satisfiability was proved
Number of variables98048
Number of clauses293759
Sum of the clauses size685435
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2195838
Number of clauses of size 397919
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.85 9.27 9.24 4/458 16966
/proc/meminfo: memFree=14451556/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=34688 CPUtime=0.01 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 2656 0 0 0 1 0 0 0 18 0 1 0 650142139 35520512 2454 33554432000 4194304 4625164 140733847653872 18446744073709551615 255106768640 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16966/statm: 8672 2455 296 106 0 4175 0

[startup+0.0705891 s]
/proc/loadavg: 8.85 9.27 9.24 4/458 16966
/proc/meminfo: memFree=14451556/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=41744 CPUtime=0.06 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 6822 0 0 0 6 0 0 0 18 0 1 0 650142139 42745856 4106 33554432000 4194304 4625164 140733847653872 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16966/statm: 10436 4106 296 106 0 5939 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41744

[startup+0.100581 s]
/proc/loadavg: 8.85 9.27 9.24 4/458 16966
/proc/meminfo: memFree=14451556/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=45592 CPUtime=0.09 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 9175 0 0 0 8 1 0 0 18 0 1 0 650142139 46686208 5014 33554432000 4194304 4625164 140733847653872 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16966/statm: 11398 5017 296 106 0 6901 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45592

[startup+0.352508 s]
/proc/loadavg: 8.85 9.27 9.24 4/458 16966
/proc/meminfo: memFree=14451556/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=256848 CPUtime=0.74 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 22425 0 0 0 72 2 0 0 19 0 4 0 650142139 263012352 18088 33554432000 4194304 4625164 140733847653872 18446744073709551615 4336857 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 64212 18088 335 106 0 59715 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 256848

[startup+0.700448 s]
/proc/loadavg: 8.85 9.27 9.24 4/458 16966
/proc/meminfo: memFree=14451556/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=261716 CPUtime=1.79 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 26736 0 0 0 176 3 0 0 19 0 4 0 650142139 267997184 19949 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 65429 19949 335 106 0 60932 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 261716

[startup+1.50031 s]
/proc/loadavg: 8.85 9.27 9.24 11/466 16974
/proc/meminfo: memFree=14297740/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=266360 CPUtime=4.17 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 30272 0 0 0 414 3 0 0 21 0 4 0 650142139 272752640 21466 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 66590 21466 335 106 0 62093 0
[pid=16966/tid=16972] ppid=16962 vsize=266360 CPUtime=0.93 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 3070 0 0 0 93 0 0 0 19 0 4 0 650142153 272752640 21466 33554432000 4194304 4625164 140733847653872 18446744073709551615 4352562 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=266360 CPUtime=0.41 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 1971 0 0 0 41 0 0 0 20 0 4 0 650142153 272752640 21466 33554432000 4194304 4625164 140733847653872 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=266360 CPUtime=1.33 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 2530 0 0 0 133 0 0 0 23 0 4 0 650142153 272752640 21466 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 266360

[startup+3.10102 s]
/proc/loadavg: 8.85 9.27 9.24 11/466 16974
/proc/meminfo: memFree=14286216/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=275040 CPUtime=8.96 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 34724 0 0 0 892 4 0 0 25 0 4 0 650142139 281640960 22272 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 68760 22272 335 106 0 64263 0
[pid=16966/tid=16972] ppid=16962 vsize=275040 CPUtime=1.73 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 4485 0 0 0 173 0 0 0 20 0 4 0 650142153 281640960 22272 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=275040 CPUtime=1.21 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 3321 0 0 0 121 0 0 0 22 0 4 0 650142153 281640960 22272 33554432000 4194304 4625164 140733847653872 18446744073709551615 4317294 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=275040 CPUtime=2.91 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 4080 0 0 0 291 0 0 0 25 0 4 0 650142153 281640960 22272 33554432000 4194304 4625164 140733847653872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 275040

[startup+6.30046 s]
/proc/loadavg: 8.86 9.26 9.24 11/466 16974
/proc/meminfo: memFree=14269864/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=278700 CPUtime=18.51 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 38436 0 0 0 1846 5 0 0 25 0 4 0 650142139 285388800 24158 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 69675 24158 335 106 0 65178 0
[pid=16966/tid=16972] ppid=16962 vsize=278700 CPUtime=3.33 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 4927 0 0 0 333 0 0 0 25 0 4 0 650142153 285388800 24158 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=278700 CPUtime=2.81 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 3704 0 0 0 281 0 0 0 25 0 4 0 650142153 285388800 24158 33554432000 4194304 4625164 140733847653872 18446744073709551615 4486991 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=278700 CPUtime=6.06 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 4458 0 0 0 606 0 0 0 25 0 4 0 650142153 285388800 24158 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.51
Current children cumulated vsize (KiB) 278700

[startup+12.7003 s]
/proc/loadavg: 8.87 9.26 9.24 11/466 16974
/proc/meminfo: memFree=14248456/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=290404 CPUtime=37.6 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 52557 0 0 0 3754 6 0 0 25 0 4 0 650142139 297373696 26641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 72601 26641 335 106 0 68104 0
[pid=16966/tid=16972] ppid=16962 vsize=290404 CPUtime=6.53 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 7012 0 0 0 653 0 0 0 25 0 4 0 650142153 297373696 26641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=290404 CPUtime=6 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 5861 0 0 0 600 0 0 0 25 0 4 0 650142153 297373696 26641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=290404 CPUtime=12.35 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 13714 0 0 0 1234 1 0 0 25 0 4 0 650142153 297373696 26641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37.6
Current children cumulated vsize (KiB) 290404

[startup+25.5011 s]
/proc/loadavg: 8.90 9.25 9.24 11/466 16974
/proc/meminfo: memFree=14209164/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=312352 CPUtime=75.8 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 101649 0 0 0 7565 15 0 0 25 0 4 0 650142139 319848448 31327 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390589 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 78088 31327 335 106 0 73591 0
[pid=16966/tid=16972] ppid=16962 vsize=312352 CPUtime=12.95 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 10741 0 0 0 1294 1 0 0 25 0 4 0 650142153 319848448 31327 33554432000 4194304 4625164 140733847653872 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=312352 CPUtime=13.85 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 9697 0 0 0 1384 1 0 0 25 0 4 0 650142153 319848448 31327 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=312352 CPUtime=23.49 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 51446 0 0 0 2342 7 0 0 25 0 4 0 650142153 319848448 31327 33554432000 4194304 4625164 140733847653872 18446744073709551615 4548575 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 75.8
Current children cumulated vsize (KiB) 312352

[startup+51.1006 s]
/proc/loadavg: 8.99 9.24 9.24 11/466 16975
/proc/meminfo: memFree=13705052/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=329968 CPUtime=152.21 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 133068 0 0 0 15199 22 0 0 25 0 4 0 650142139 337887232 41641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390560 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 82492 41641 336 106 0 77995 0
[pid=16966/tid=16972] ppid=16962 vsize=329968 CPUtime=25.72 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 13819 0 0 0 2570 2 0 0 25 0 4 0 650142153 337887232 41641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=329968 CPUtime=30.35 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 23410 0 0 0 3030 5 0 0 25 0 4 0 650142153 337887232 41641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=329968 CPUtime=45.03 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 61244 0 0 0 4495 8 0 0 25 0 4 0 650142153 337887232 41641 33554432000 4194304 4625164 140733847653872 18446744073709551615 4564646 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 152.21
Current children cumulated vsize (KiB) 329968

[startup+102.319 s]
/proc/loadavg: 9.06 9.22 9.23 11/466 16976
/proc/meminfo: memFree=13436836/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=394092 CPUtime=305.07 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 187394 0 0 0 30463 44 0 0 25 0 4 0 650142139 403550208 75039 33554432000 4194304 4625164 140733847653872 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16966/statm: 98523 75039 349 106 0 94026 0
[pid=16966/tid=16972] ppid=16962 vsize=394092 CPUtime=63.85 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 31917 0 0 0 6375 10 0 0 25 0 4 0 650142153 403550208 75039 33554432000 4194304 4625164 140733847653872 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=394092 CPUtime=67.6 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 42593 0 0 0 6744 16 0 0 25 0 4 0 650142153 403550208 75039 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=394092 CPUtime=83.46 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 77925 0 0 0 8334 12 0 0 25 0 4 0 650142153 403550208 75039 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 305.07
Current children cumulated vsize (KiB) 394092

[startup+162.301 s]
/proc/loadavg: 9.08 9.19 9.21 11/466 16978
/proc/meminfo: memFree=13176800/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=594252 CPUtime=484.09 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 256961 0 0 0 48345 64 0 0 25 0 4 0 650142139 608514048 112395 33554432000 4194304 4625164 140733847653872 18446744073709551615 4278640 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16966/statm: 148563 112395 337 106 0 144066 0
[pid=16966/tid=16972] ppid=16962 vsize=594252 CPUtime=105.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 46356 0 0 0 10486 15 0 0 25 0 4 0 650142153 608514048 112395 33554432000 4194304 4625164 140733847653872 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=594252 CPUtime=113.16 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 62755 0 0 0 11291 25 0 0 25 0 4 0 650142153 608514048 112395 33554432000 4194304 4625164 140733847653872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=594252 CPUtime=118.6 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 110180 0 0 0 11844 16 0 0 25 0 4 0 650142153 608514048 112395 33554432000 4194304 4625164 140733847653872 18446744073709551615 4563390 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 484.09
Current children cumulated vsize (KiB) 594252

[startup+222.301 s]
/proc/loadavg: 9.08 9.17 9.20 11/466 16980
/proc/meminfo: memFree=12918256/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=736132 CPUtime=663.15 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 335610 0 0 0 66233 82 0 0 25 0 4 0 650142139 753799168 142185 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511973 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16966/statm: 184033 142185 343 106 0 179536 0
[pid=16966/tid=16972] ppid=16962 vsize=736132 CPUtime=135 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 54421 0 0 0 13481 19 0 0 25 0 4 0 650142153 753799168 142185 33554432000 4194304 4625164 140733847653872 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=736132 CPUtime=143.17 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 73729 0 0 0 14287 30 0 0 25 0 4 0 650142153 753799168 142186 33554432000 4194304 4625164 140733847653872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=736132 CPUtime=178.6 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 162368 0 0 0 17836 24 0 0 25 0 4 0 650142153 753799168 142186 33554432000 4194304 4625164 140733847653872 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 663.15
Current children cumulated vsize (KiB) 736132

[startup+282.301 s]

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

[pid=16966] ppid=16962 vsize=1252736 CPUtime=2095.75 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 938024 0 0 0 209375 200 0 0 25 0 4 0 650142139 1282801664 269644 33554432000 4194304 4625164 140733847653872 18446744073709551615 4500367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16966/statm: 313184 269644 356 106 0 308687 0
[pid=16966/tid=16972] ppid=16962 vsize=1252736 CPUtime=554.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 55365 36 0 0 25 0 4 0 650142153 1282801664 269644 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1252736 CPUtime=397.05 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 39658 47 0 0 25 0 4 0 650142153 1282801664 269644 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1252736 CPUtime=467.03 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 46607 96 0 0 25 0 4 0 650142153 1282801664 269644 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2095.75
Current children cumulated vsize (KiB) 1252736

[startup+762.319 s]
/proc/loadavg: 9.20 9.15 9.17 11/466 16997
/proc/meminfo: memFree=11148908/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1398532 CPUtime=2301.87 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 988103 0 0 0 229980 207 0 0 25 0 4 0 650142139 1432096768 313059 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 349633 313059 372 106 0 345136 0
[pid=16966/tid=16972] ppid=16962 vsize=1398532 CPUtime=614.03 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 61367 36 0 0 25 0 4 0 650142153 1432096768 313059 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478033 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1398532 CPUtime=457.07 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 45660 47 0 0 25 0 4 0 650142153 1432096768 313059 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1398532 CPUtime=523.11 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 52215 96 0 0 25 0 4 0 650142153 1432096768 313059 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477976 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2301.87
Current children cumulated vsize (KiB) 1398532

[startup+822.301 s]
/proc/loadavg: 9.07 9.12 9.16 11/466 16999
/proc/meminfo: memFree=11077472/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=2510.88 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1007476 0 0 0 250879 209 0 0 25 0 4 0 650142139 1470115840 313920 33554432000 4194304 4625164 140733847653872 18446744073709551615 4519673 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 313920 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=674.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 67365 36 0 0 25 0 4 0 650142153 1470115840 313920 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=517.06 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 51659 47 0 0 25 0 4 0 650142153 1470115840 313920 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=582.17 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 58121 96 0 0 25 0 4 0 650142153 1470115840 313920 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2510.88
Current children cumulated vsize (KiB) 1435660

[startup+882.301 s]
/proc/loadavg: 9.22 9.14 9.16 11/466 17000
/proc/meminfo: memFree=11014724/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=2719.95 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1007715 0 0 0 271785 210 0 0 25 0 4 0 650142139 1470115840 314159 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 314159 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=734.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 73365 36 0 0 25 0 4 0 650142153 1470115840 314159 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=577.06 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 57659 47 0 0 25 0 4 0 650142153 1470115840 314159 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=641.22 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 64026 96 0 0 25 0 4 0 650142153 1470115840 314159 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2719.95
Current children cumulated vsize (KiB) 1435660

[startup+942.301 s]
/proc/loadavg: 9.27 9.16 9.17 11/466 17002
/proc/meminfo: memFree=10954952/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=2929.03 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1007902 0 0 0 292693 210 0 0 25 0 4 0 650142139 1470115840 314346 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 314346 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=794.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 79365 36 0 0 25 0 4 0 650142153 1470115840 314346 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=637.06 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 63659 47 0 0 25 0 4 0 650142153 1470115840 314346 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=700.3 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 69934 96 0 0 25 0 4 0 650142153 1470115840 314346 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2929.03
Current children cumulated vsize (KiB) 1435660

[startup+1002.3 s]
/proc/loadavg: 9.20 9.16 9.17 11/466 17003
/proc/meminfo: memFree=10878560/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=3125.73 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1008049 0 0 0 312363 210 0 0 25 0 4 0 650142139 1470115840 314493 33554432000 4194304 4625164 140733847653872 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 314493 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=854.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 85365 36 0 0 25 0 4 0 650142153 1470115840 314493 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=684.26 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 68379 47 0 0 25 0 4 0 650142153 1470115840 314493 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=745.28 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 74432 96 0 0 25 0 4 0 650142153 1470115840 314493 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3125.73
Current children cumulated vsize (KiB) 1435660

[startup+1062.3 s]
/proc/loadavg: 9.22 9.17 9.17 11/466 17005
/proc/meminfo: memFree=10809116/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=3305.73 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1008436 0 0 0 330363 210 0 0 25 0 4 0 650142139 1470115840 314880 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 314880 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=914.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 91365 36 0 0 25 0 4 0 650142153 1470115840 314880 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=714.27 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 71380 47 0 0 25 0 4 0 650142153 1470115840 314880 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=775.28 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 77432 96 0 0 25 0 4 0 650142153 1470115840 314880 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3305.73
Current children cumulated vsize (KiB) 1435660

[startup+1122.3 s]
/proc/loadavg: 9.18 9.17 9.17 11/466 17007
/proc/meminfo: memFree=10686844/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=3485.73 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1008447 0 0 0 348363 210 0 0 25 0 4 0 650142139 1470115840 314891 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 314891 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=974.01 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 97365 36 0 0 25 0 4 0 650142153 1470115840 314891 33554432000 4194304 4625164 140733847653872 18446744073709551615 4482058 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=772.37 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 77190 47 0 0 25 0 4 0 650142153 1470115840 314891 33554432000 4194304 4625164 140733847653872 18446744073709551615 4482058 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=805.27 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 80431 96 0 0 25 0 4 0 650142153 1470115840 314891 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3485.73
Current children cumulated vsize (KiB) 1435660

[startup+1182.3 s]
/proc/loadavg: 9.07 9.14 9.16 11/466 17008
/proc/meminfo: memFree=10624956/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=3665.74 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1008664 0 0 0 366364 210 0 0 25 0 4 0 650142139 1470115840 315108 33554432000 4194304 4625164 140733847653872 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 315108 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=1034.02 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 103366 36 0 0 25 0 4 0 650142153 1470115840 315108 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=820.28 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 81981 47 0 0 25 0 4 0 650142153 1470115840 315108 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=835.26 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 83430 96 0 0 25 0 4 0 650142153 1470115840 315108 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3665.74
Current children cumulated vsize (KiB) 1435660

[startup+1242.3 s]
/proc/loadavg: 9.03 9.11 9.15 10/466 17041
/proc/meminfo: memFree=12950012/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1435660 CPUtime=3881.96 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1009813 0 0 0 387986 210 0 0 25 0 4 0 650142139 1470115840 316257 33554432000 4194304 4625164 140733847653872 18446744073709551615 4509011 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 358915 316257 372 106 0 354418 0
[pid=16966/tid=16972] ppid=16962 vsize=1435660 CPUtime=1094.02 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 109366 36 0 0 25 0 4 0 650142153 1470115840 316257 33554432000 4194304 4625164 140733847653872 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1435660 CPUtime=868.68 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 86821 47 0 0 25 0 4 0 650142153 1470115840 316257 33554432000 4194304 4625164 140733847653872 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1435660 CPUtime=883.09 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 88213 96 0 0 25 0 4 0 650142153 1470115840 316257 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3881.96
Current children cumulated vsize (KiB) 1435660



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 9.12 9.12 9.14 11/466 17042
/proc/meminfo: memFree=12616180/32951124 swapFree=67111348/67111528
[pid=16966] ppid=16962 vsize=1501200 CPUtime=4111.93 cores=1,3,5,7
/proc/16966/stat : 16966 (SArTagnan) R 16962 16966 16929 0 -1 4202496 1027491 0 0 0 410981 212 0 0 25 0 4 0 650142139 1537228800 333935 33554432000 4194304 4625164 140733847653872 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16966/statm: 375300 333935 372 106 0 370803 0
[pid=16966/tid=16972] ppid=16962 vsize=1501200 CPUtime=1151.74 cores=1,3,5,7
/proc/16966/task/16972/stat : 16972 (SArTagnan) R 16962 16966 16929 0 -1 4202560 94533 0 0 0 115138 36 0 0 25 0 4 0 650142153 1537228800 333935 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16966/tid=16973] ppid=16962 vsize=1501200 CPUtime=926.39 cores=1,3,5,7
/proc/16966/task/16973/stat : 16973 (SArTagnan) R 16962 16966 16929 0 -1 4202560 122123 0 0 0 92592 47 0 0 25 0 4 0 650142153 1537228800 333935 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16966/tid=16974] ppid=16962 vsize=1501200 CPUtime=939.91 cores=1,3,5,7
/proc/16966/task/16974/stat : 16974 (SArTagnan) R 16962 16966 16929 0 -1 4202560 608418 0 0 0 93895 96 0 0 25 0 4 0 650142153 1537228800 333935 33554432000 4194304 4625164 140733847653872 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4111.93
Current children cumulated vsize (KiB) 1501200

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 4112.02
CPU user time (s): 4109.84
CPU system time (s): 2.17667
CPU usage (%): 316.291
Max. virtual memory (cumulated for all children) (KiB): 1501200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4109.84
system time used= 2.17667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027491
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= 704
involuntary context switches= 49044

runsolver used 5.57715 second user time and 14.6378 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-16 22:21:00
IDJOB=3386383
IDBENCH=70799
IDSOLVER=1871
FILE ID=node144/3386383-1305577260
RUNJOBID= node144-1305577260-16948
PBS_JOBID= 13350220
Free space on /tmp= 73260 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386383-1305577260/watcher-3386383-1305577260 -o /tmp/evaluation-result-3386383-1305577260/solver-3386383-1305577260 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386383-1305577260.cnf -threads=4

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

MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2
RANDOM SEED=1809307578

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14451860 kB
Buffers:        330736 kB
Cached:        4109636 kB
SwapCached:          0 kB
Active:       15271928 kB
Inactive:      2847584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14451860 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10120 kB
Writeback:           0 kB
AnonPages:    13679720 kB
Mapped:          37452 kB
Slab:           246976 kB
PageTables:      61132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 136758356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73260 MiB
End job on node144 at 2011-05-16 22:42:42