Trace number 3258704

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.52 1201.9

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
MD5SUMcd19d9eb9be97e183fa1a1d47d679d01
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1820
Number of clauses171155
Sum of the clauses size344000
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2171090
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 565

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 3.13 3.48 3/174 16866
/proc/meminfo: memFree=18468308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=22840 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 593 0 0 0 0 0 0 0 23 0 1 0 595789191 23388160 469 33554432000 4194304 4623224 140734742111136 18446744073709551615 224284925696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16866/statm: 5710 469 297 105 0 1214 0

[startup+0.09542 s]
/proc/loadavg: 2.03 3.13 3.48 3/174 16866
/proc/meminfo: memFree=18468308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=196044 CPUtime=0.23 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 5276 0 0 0 23 0 0 0 25 0 4 0 595789191 200749056 3993 33554432000 4194304 4623224 140734742111136 18446744073709551615 4498403 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 49011 3993 340 105 0 44515 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 196044

[startup+0.100421 s]
/proc/loadavg: 2.03 3.13 3.48 3/174 16866
/proc/meminfo: memFree=18468308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=196044 CPUtime=0.25 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 5286 0 0 0 25 0 0 0 25 0 4 0 595789191 200749056 4003 33554432000 4194304 4623224 140734742111136 18446744073709551615 4425922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 49011 4003 341 105 0 44515 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 196044

[startup+0.300357 s]
/proc/loadavg: 2.03 3.13 3.48 3/174 16866
/proc/meminfo: memFree=18468308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=200096 CPUtime=1.05 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 7040 0 0 0 105 0 0 0 25 0 4 0 595789191 204898304 5737 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 50024 5737 344 105 0 45528 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 200096

[startup+0.70029 s]
/proc/loadavg: 2.03 3.13 3.48 3/174 16866
/proc/meminfo: memFree=18468308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=203468 CPUtime=2.65 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 10634 0 0 0 265 0 0 0 25 0 4 0 595789191 208351232 8335 33554432000 4194304 4623224 140734742111136 18446744073709551615 4388009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 50867 8335 344 105 0 46371 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 203468

[startup+1.50116 s]
/proc/loadavg: 2.03 3.13 3.48 9/184 16879
/proc/meminfo: memFree=18378088/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=211816 CPUtime=5.85 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 15978 0 0 0 584 1 0 0 25 0 4 0 595789191 216899584 12354 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510282 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 52954 12355 344 105 0 48458 0
[pid=16866/tid=16868] ppid=16864 vsize=211816 CPUtime=1.45 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 1879 0 0 0 145 0 0 0 25 0 4 0 595789195 216899584 12355 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=211816 CPUtime=1.45 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 1955 0 0 0 145 0 0 0 25 0 4 0 595789195 216899584 12355 33554432000 4194304 4623224 140734742111136 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=211816 CPUtime=1.44 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 3730 0 0 0 144 0 0 0 25 0 4 0 595789195 216899584 12355 33554432000 4194304 4623224 140734742111136 18446744073709551615 4549345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 211816

[startup+3.10089 s]
/proc/loadavg: 2.51 3.21 3.51 9/184 16879
/proc/meminfo: memFree=18341756/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=289124 CPUtime=12.24 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 25090 0 0 0 1221 3 0 0 25 0 4 0 595789191 296062976 17339 33554432000 4194304 4623224 140734742111136 18446744073709551615 4517541 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 72281 17339 344 105 0 67785 0
[pid=16866/tid=16868] ppid=16864 vsize=289124 CPUtime=3.04 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 3106 0 0 0 304 0 0 0 25 0 4 0 595789195 296062976 17339 33554432000 4194304 4623224 140734742111136 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=289124 CPUtime=3.04 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 3915 0 0 0 304 0 0 0 25 0 4 0 595789195 296062976 17339 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=289124 CPUtime=3.03 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 7322 0 0 0 302 1 0 0 25 0 4 0 595789195 296062976 17339 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 289124

[startup+6.30036 s]
/proc/loadavg: 2.51 3.21 3.51 9/184 16879
/proc/meminfo: memFree=18276052/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=297732 CPUtime=25.02 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 51676 0 0 0 2495 7 0 0 25 0 4 0 595789191 304877568 23076 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510285 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 74433 23076 344 105 0 69937 0
[pid=16866/tid=16868] ppid=16864 vsize=297732 CPUtime=6.25 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 5882 0 0 0 624 1 0 0 25 0 4 0 595789195 304877568 23076 33554432000 4194304 4623224 140734742111136 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=297732 CPUtime=6.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 8322 0 0 0 624 0 0 0 25 0 4 0 595789195 304877568 23076 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=297732 CPUtime=6.22 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 26297 0 0 0 618 4 0 0 25 0 4 0 595789195 304877568 23076 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 297732

[startup+12.7003 s]
/proc/loadavg: 3.42 3.38 3.56 9/184 16879
/proc/meminfo: memFree=18181800/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=312344 CPUtime=50.58 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 86499 0 0 0 5044 14 0 0 25 0 4 0 595789191 319840256 34085 33554432000 4194304 4623224 140734742111136 18446744073709551615 4511130 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 78086 34085 344 105 0 73590 0
[pid=16866/tid=16868] ppid=16864 vsize=312344 CPUtime=12.65 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 10897 0 0 0 1262 3 0 0 25 0 4 0 595789195 319840256 34085 33554432000 4194304 4623224 140734742111136 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=312344 CPUtime=12.64 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 14202 0 0 0 1261 3 0 0 25 0 4 0 595789195 319840256 34085 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=312344 CPUtime=12.57 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 46667 0 0 0 1251 6 0 0 25 0 4 0 595789195 319840256 34085 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 312344

[startup+25.5012 s]
/proc/loadavg: 4.20 3.55 3.61 9/184 16879
/proc/meminfo: memFree=18067736/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=352464 CPUtime=101.71 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 163231 0 0 0 10144 27 0 0 25 0 4 0 595789191 360923136 47330 33554432000 4194304 4623224 140734742111136 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 88116 47330 344 105 0 83620 0
[pid=16866/tid=16868] ppid=16864 vsize=352464 CPUtime=25.45 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 15982 0 0 0 2541 4 0 0 25 0 4 0 595789195 360923136 47330 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=352464 CPUtime=25.44 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 16009 0 0 0 2539 5 0 0 25 0 4 0 595789195 360923136 47330 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=352464 CPUtime=25.3 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 96606 0 0 0 2517 13 0 0 25 0 4 0 595789195 360923136 47330 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 352464

[startup+51.1009 s]
/proc/loadavg: 5.50 3.91 3.73 9/184 16879
/proc/meminfo: memFree=17865280/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=417544 CPUtime=203.97 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 362052 0 0 0 20336 61 0 0 25 0 4 0 595789191 427565056 79028 33554432000 4194304 4623224 140734742111136 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 104386 79028 347 105 0 99890 0
[pid=16866/tid=16868] ppid=16864 vsize=417544 CPUtime=51.04 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 22049 0 0 0 5098 6 0 0 25 0 4 0 595789195 427565056 79028 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=417544 CPUtime=51.04 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 26159 0 0 0 5096 8 0 0 25 0 4 0 595789195 427565056 79028 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=417544 CPUtime=50.76 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 239697 0 0 0 5041 35 0 0 25 0 4 0 595789195 427565056 79028 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 417544

[startup+102.306 s]
/proc/loadavg: 7.09 4.62 3.98 9/184 16881
/proc/meminfo: memFree=17488300/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=707400 CPUtime=408.5 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 616571 0 0 0 40742 108 0 0 25 0 4 0 595789191 724377600 124193 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510096 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 176850 124193 344 105 0 172354 0
[pid=16866/tid=16868] ppid=16864 vsize=707400 CPUtime=102.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 37468 0 0 0 10210 14 0 0 25 0 4 0 595789195 724377600 124193 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=707400 CPUtime=102.25 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 33638 0 0 0 10210 15 0 0 25 0 4 0 595789195 724377600 124193 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=707400 CPUtime=101.67 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 393644 0 0 0 10110 57 0 0 25 0 4 0 595789195 724377600 124193 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 707400

[startup+162.3 s]
/proc/loadavg: 7.66 5.23 4.23 9/184 16883
/proc/meminfo: memFree=17073108/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=930892 CPUtime=648.14 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 1078957 0 0 0 64631 183 0 0 25 0 4 0 595789191 953233408 178653 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 232723 178653 445 105 0 228227 0
[pid=16866/tid=16868] ppid=16864 vsize=930892 CPUtime=162.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 51170 0 0 0 16204 20 0 0 25 0 4 0 595789195 953233408 178653 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=930892 CPUtime=162.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 44033 0 0 0 16202 22 0 0 25 0 4 0 595789195 953233408 178653 33554432000 4194304 4623224 140734742111136 18446744073709551615 4377066 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=930892 CPUtime=161.34 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 750909 0 0 0 16025 109 0 0 25 0 4 0 595789195 953233408 178653 33554432000 4194304 4623224 140734742111136 18446744073709551615 4365907 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.14
Current children cumulated vsize (KiB) 930892

[startup+222.3 s]
/proc/loadavg: 7.92 5.75 4.47 9/184 16885
/proc/meminfo: memFree=16708012/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=1201692 CPUtime=887.79 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 1662710 0 0 0 88506 273 0 0 25 0 4 0 595789191 1230532608 223279 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510177 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 300423 223279 344 105 0 295927 0
[pid=16866/tid=16868] ppid=16864 vsize=1201692 CPUtime=222.23 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 66433 0 0 0 22198 25 0 0 25 0 4 0 595789195 1230532608 223279 33554432000 4194304 4623224 140734742111136 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=1201692 CPUtime=222.23 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 50791 0 0 0 22198 25 0 0 25 0 4 0 595789195 1230532608 223279 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=1201692 CPUtime=221.01 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 1198049 0 0 0 21924 177 0 0 25 0 4 0 595789195 1230532608 223279 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (KiB) 1201692

[startup+282.3 s]

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

[pid=16866] ppid=16864 vsize=1877616 CPUtime=2565.51 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3029869 0 0 0 256049 502 0 0 25 0 4 0 595789191 1922678784 391530 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 469404 391530 344 105 0 464908 0
[pid=16866/tid=16868] ppid=16864 vsize=1877616 CPUtime=642.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 80281 0 0 0 64190 34 0 0 25 0 4 0 595789195 1922678784 391530 33554432000 4194304 4623224 140734742111136 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=1877616 CPUtime=642.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 74294 0 0 0 64182 42 0 0 25 0 4 0 595789195 1922678784 391530 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=1877616 CPUtime=638.69 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2136552 0 0 0 63558 311 0 0 25 0 4 0 595789195 1922678784 391530 33554432000 4194304 4623224 140734742111136 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.51
Current children cumulated vsize (KiB) 1877616

[startup+702.3 s]
/proc/loadavg: 8.17 7.64 5.92 9/184 16897
/proc/meminfo: memFree=14757500/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2287216 CPUtime=2805.16 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3250828 0 0 0 279980 536 0 0 25 0 4 0 595789191 2342109184 428698 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 571804 428698 344 105 0 567308 0
[pid=16866/tid=16868] ppid=16864 vsize=2287216 CPUtime=702.23 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 80918 0 0 0 70189 34 0 0 25 0 4 0 595789195 2342109184 428698 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2287216 CPUtime=702.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 75659 0 0 0 70180 44 0 0 25 0 4 0 595789195 2342109184 428698 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2287216 CPUtime=698.36 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2142051 0 0 0 69524 312 0 0 25 0 4 0 595789195 2342109184 428698 33554432000 4194304 4623224 140734742111136 18446744073709551615 4364089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.16
Current children cumulated vsize (KiB) 2287216

[startup+762.306 s]
/proc/loadavg: 8.17 7.73 6.06 9/184 16899
/proc/meminfo: memFree=14617096/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2308632 CPUtime=3044.85 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3300558 0 0 0 303936 549 0 0 25 0 4 0 595789191 2364039168 446315 33554432000 4194304 4623224 140734742111136 18446744073709551615 4356025 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 577158 446316 344 105 0 572662 0
[pid=16866/tid=16868] ppid=16864 vsize=2308632 CPUtime=762.25 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 81358 0 0 0 76190 35 0 0 25 0 4 0 595789195 2364039168 446316 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2308632 CPUtime=762.25 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 78092 0 0 0 76179 46 0 0 25 0 4 0 595789195 2364039168 446317 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2308632 CPUtime=758.02 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2147648 0 0 0 75489 313 0 0 25 0 4 0 595789195 2364039168 446317 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 2308632

[startup+822.3 s]
/proc/loadavg: 8.11 7.79 6.18 9/184 16901
/proc/meminfo: memFree=14291308/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2383892 CPUtime=3284.5 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3383404 0 0 0 327886 564 0 0 25 0 4 0 595789191 2441105408 462647 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 595973 462647 344 105 0 591477 0
[pid=16866/tid=16868] ppid=16864 vsize=2383892 CPUtime=822.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 98815 0 0 0 82187 37 0 0 25 0 4 0 595789195 2441105408 462647 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2383892 CPUtime=822.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 90597 0 0 0 82175 49 0 0 25 0 4 0 595789195 2441105408 462647 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2383892 CPUtime=817.69 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2153436 0 0 0 81454 315 0 0 25 0 4 0 595789195 2441105408 462647 33554432000 4194304 4623224 140734742111136 18446744073709551615 4377679 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 2383892

[startup+882.3 s]
/proc/loadavg: 8.09 7.84 6.30 9/184 16903
/proc/meminfo: memFree=14173228/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2404392 CPUtime=3524.17 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3430678 0 0 0 351842 575 0 0 25 0 4 0 595789191 2462097408 476621 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 601098 476621 344 105 0 596602 0
[pid=16866/tid=16868] ppid=16864 vsize=2404392 CPUtime=882.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 99203 0 0 0 88187 37 0 0 25 0 4 0 595789195 2462097408 476621 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2404392 CPUtime=882.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 91480 0 0 0 88174 50 0 0 25 0 4 0 595789195 2462097408 476621 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2404392 CPUtime=877.35 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2158728 0 0 0 87420 315 0 0 25 0 4 0 595789195 2462097408 476621 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.17
Current children cumulated vsize (KiB) 2404392

[startup+942.3 s]
/proc/loadavg: 8.07 7.88 6.41 9/184 16903
/proc/meminfo: memFree=13994264/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2533376 CPUtime=3763.84 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3491893 0 0 0 375797 587 0 0 25 0 4 0 595789191 2594177024 501733 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16866/statm: 633344 501733 344 105 0 628848 0
[pid=16866/tid=16868] ppid=16864 vsize=2533376 CPUtime=942.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 99596 0 0 0 94187 37 0 0 25 0 4 0 595789195 2594177024 501733 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2533376 CPUtime=942.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 92781 0 0 0 94172 52 0 0 25 0 4 0 595789195 2594177024 501733 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2533376 CPUtime=937.02 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2163975 0 0 0 93385 317 0 0 25 0 4 0 595789195 2594177024 501733 33554432000 4194304 4623224 140734742111136 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.84
Current children cumulated vsize (KiB) 2533376

[startup+1002.3 s]
/proc/loadavg: 8.07 7.92 6.51 9/184 16905
/proc/meminfo: memFree=13892804/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2544160 CPUtime=4003.48 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3646329 0 0 0 399734 614 0 0 25 0 4 0 595789191 2605219840 509723 33554432000 4194304 4623224 140734742111136 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16866/statm: 636040 509723 344 105 0 631544 0
[pid=16866/tid=16868] ppid=16864 vsize=2544160 CPUtime=1002.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 100060 0 0 0 100187 37 0 0 25 0 4 0 595789195 2605219840 509723 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2544160 CPUtime=1002.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 94349 0 0 0 100170 54 0 0 25 0 4 0 595789195 2605219840 509723 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2544160 CPUtime=996.87 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2293259 0 0 0 99350 337 0 0 25 0 4 0 595789195 2605219840 509723 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.48
Current children cumulated vsize (KiB) 2544160

[startup+1062.3 s]
/proc/loadavg: 8.06 7.94 6.61 9/184 16907
/proc/meminfo: memFree=13781176/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2544160 CPUtime=4243.15 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 3961974 0 0 0 423647 668 0 0 25 0 4 0 595789191 2605219840 514556 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510133 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16866/statm: 636040 514556 344 105 0 631544 0
[pid=16866/tid=16868] ppid=16864 vsize=2544160 CPUtime=1062.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 100455 0 0 0 106187 37 0 0 25 0 4 0 595789195 2605219840 514556 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2544160 CPUtime=1062.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 98976 0 0 0 106164 60 0 0 25 0 4 0 595789195 2605219840 514556 33554432000 4194304 4623224 140734742111136 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2544160 CPUtime=1056.87 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2603855 0 0 0 105301 386 0 0 25 0 4 0 595789195 2605219840 514556 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.15
Current children cumulated vsize (KiB) 2544160

[startup+1122.3 s]
/proc/loadavg: 8.10 7.98 6.70 9/184 16909
/proc/meminfo: memFree=13695836/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2592164 CPUtime=4482.82 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 4078177 0 0 0 447595 687 0 0 25 0 4 0 595789191 2654375936 523487 33554432000 4194304 4623224 140734742111136 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16866/statm: 648041 523487 344 105 0 643545 0
[pid=16866/tid=16868] ppid=16864 vsize=2592164 CPUtime=1122.24 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 106904 0 0 0 112186 38 0 0 25 0 4 0 595789195 2654375936 523487 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2592164 CPUtime=1122.24 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 101286 0 0 0 112162 62 0 0 25 0 4 0 595789195 2654375936 523487 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2592164 CPUtime=1116.87 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2711196 0 0 0 111286 401 0 0 25 0 4 0 595789195 2654375936 523487 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.82
Current children cumulated vsize (KiB) 2592164

[startup+1182.3 s]
/proc/loadavg: 8.11 8.01 6.78 9/184 16911
/proc/meminfo: memFree=13596984/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2592164 CPUtime=4722.49 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 4080155 0 0 0 471561 688 0 0 25 0 4 0 595789191 2654375936 525385 33554432000 4194304 4623224 140734742111136 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16866/statm: 648041 525385 344 105 0 643545 0
[pid=16866/tid=16868] ppid=16864 vsize=2592164 CPUtime=1182.25 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 107260 0 0 0 118186 39 0 0 25 0 4 0 595789195 2654375936 525385 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2592164 CPUtime=1182.25 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 101946 0 0 0 118162 63 0 0 25 0 4 0 595789195 2654375936 525385 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2592164 CPUtime=1176.87 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2711198 0 0 0 117286 401 0 0 25 0 4 0 595789195 2654375936 525385 33554432000 4194304 4623224 140734742111136 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.49
Current children cumulated vsize (KiB) 2592164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.20 8.04 6.82 9/184 16911
/proc/meminfo: memFree=13575776/32951124 swapFree=67110396/67111528
[pid=16866] ppid=16864 vsize=2592164 CPUtime=4800.4 cores=0,2,4,6
/proc/16866/stat : 16866 (SArTagnan) R 16864 16866 14760 0 -1 4202496 4089530 0 0 0 479352 688 0 0 25 0 4 0 595789191 2654375936 526035 33554432000 4194304 4623224 140734742111136 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16866/statm: 648041 526035 344 105 0 643545 0
[pid=16866/tid=16868] ppid=16864 vsize=2592164 CPUtime=1201.75 cores=0,2,4,6
/proc/16866/task/16868/stat : 16868 (SArTagnan) R 16864 16866 14760 0 -1 4202560 107382 0 0 0 120136 39 0 0 25 0 4 0 595789195 2654375936 526035 33554432000 4194304 4623224 140734742111136 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16866/tid=16869] ppid=16864 vsize=2592164 CPUtime=1201.76 cores=0,2,4,6
/proc/16866/task/16869/stat : 16869 (SArTagnan) R 16864 16866 14760 0 -1 4202560 102008 0 0 0 120113 63 0 0 25 0 4 0 595789195 2654375936 526035 33554432000 4194304 4623224 140734742111136 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16866/tid=16870] ppid=16864 vsize=2592164 CPUtime=1196.38 cores=0,2,4,6
/proc/16866/task/16870/stat : 16870 (SArTagnan) R 16864 16866 14760 0 -1 4202560 2719936 0 0 0 119236 402 0 0 25 0 4 0 595789195 2654375936 526035 33554432000 4194304 4623224 140734742111136 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 2592164

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): 1201.9
CPU time (s): 4800.52
CPU user time (s): 4793.54
CPU system time (s): 6.97894
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 2844196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.54
system time used= 6.97894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4089530
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= 1800
involuntary context switches= 18873

runsolver used 1.89071 second user time and 4.67229 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 07:39:45
IDJOB=3258704
IDBENCH=71409
IDSOLVER=1656
FILE ID=node118/3258704-1304055585
RUNJOBID= node118-1304055585-16852
PBS_JOBID= 13170373
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= cd19d9eb9be97e183fa1a1d47d679d01
RANDOM SEED=844377779

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18468712 kB
Buffers:       1898840 kB
Cached:       11980872 kB
SwapCached:        600 kB
Active:        9410156 kB
Inactive:      4537572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18468712 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            5444 kB
Writeback:           0 kB
AnonPages:       67008 kB
Mapped:          14580 kB
Slab:           471716 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193120 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= 71612 MiB
End job on node118 at 2011-04-29 07:59:49