Trace number 3284621

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.51 1202.68

General information on the benchmark

Nameapplication/fuhs/
AProVE11/AProVE11-06.cnf
MD5SUM6fd7d026c372988cefc364000243d13f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4573.36
Satisfiable
(Un)Satisfiability was proved
Number of variables302076
Number of clauses1039056
Sum of the clauses size2729970
Maximum clause length978
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2420562
Number of clauses of size 3588399
Number of clauses of size 429561
Number of clauses of size 569
Number of clauses of size over 5464

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

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

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


[startup+0 s]
/proc/loadavg: 7.72 8.14 7.83 6/184 30335
/proc/meminfo: memFree=30717708/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=23260 CPUtime=0 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 1146 0 0 0 0 0 0 0 21 0 1 0 517704963 23818240 1083 33554432000 4194304 4623224 140736284993024 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30335/statm: 5815 1085 290 105 0 1319 0

[startup+0.0566719 s]
/proc/loadavg: 7.72 8.14 7.83 6/184 30335
/proc/meminfo: memFree=30717708/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=72896 CPUtime=0.04 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8255 0 0 0 4 0 0 0 21 0 1 0 517704963 74645504 7153 33554432000 4194304 4623224 140736284993024 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30335/statm: 18224 7153 301 105 0 13728 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 72896

[startup+0.100662 s]
/proc/loadavg: 7.72 8.14 7.83 6/184 30335
/proc/meminfo: memFree=30717708/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=79284 CPUtime=0.09 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 11411 0 0 0 8 1 0 0 21 0 1 0 517704963 81186816 8798 33554432000 4194304 4623224 140736284993024 18446744073709551615 271550537472 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30335/statm: 19821 8800 301 105 0 15325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 79284

[startup+0.300627 s]
/proc/loadavg: 7.72 8.14 7.83 6/184 30335
/proc/meminfo: memFree=30717708/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=101788 CPUtime=0.29 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 24288 0 0 0 26 3 0 0 22 0 1 0 517704963 104230912 15219 33554432000 4194304 4623224 140736284993024 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30335/statm: 25447 15220 301 105 0 20951 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101788

[startup+0.700522 s]
/proc/loadavg: 7.72 8.14 7.83 6/184 30335
/proc/meminfo: memFree=30717708/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=423536 CPUtime=0.81 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 85949 0 0 0 71 10 0 0 25 0 4 0 517704963 433700864 65413 33554432000 4194304 4623224 140736284993024 18446744073709551615 4497131 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 105884 65413 322 105 0 101388 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 423536

[startup+1.50038 s]
/proc/loadavg: 7.72 8.14 7.83 9/188 30339
/proc/meminfo: memFree=30418720/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=596020 CPUtime=4 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 95592 0 0 0 389 11 0 0 25 0 4 0 517704963 610324480 72415 33554432000 4194304 4623224 140736284993024 18446744073709551615 4412459 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 149005 72415 335 105 0 144509 0
[pid=30335/tid=30337] ppid=30333 vsize=596020 CPUtime=0.83 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 4004 0 0 0 83 0 0 0 25 0 4 0 517705029 610324480 72415 33554432000 4194304 4623224 140736284993024 18446744073709551615 4278354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=596020 CPUtime=0.83 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3614 0 0 0 83 0 0 0 25 0 4 0 517705029 610324480 72415 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363716 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=596020 CPUtime=0.83 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 4945 0 0 0 83 0 0 0 25 0 4 0 517705029 610324480 72416 33554432000 4194304 4623224 140736284993024 18446744073709551615 4552876 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 596020

[startup+3.10109 s]
/proc/loadavg: 7.72 8.14 7.83 10/188 30339
/proc/meminfo: memFree=30371228/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=604140 CPUtime=10.41 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 125947 0 0 0 1025 16 0 0 25 0 4 0 517704963 618639360 81570 33554432000 4194304 4623224 140736284993024 18446744073709551615 4412513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 151035 81570 414 105 0 146539 0
[pid=30335/tid=30337] ppid=30333 vsize=604140 CPUtime=2.43 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 6440 0 0 0 243 0 0 0 25 0 4 0 517705029 618639360 81570 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289878 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=604140 CPUtime=2.41 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 6304 0 0 0 241 0 0 0 25 0 4 0 517705029 618639360 81570 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=604140 CPUtime=2.43 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 28420 0 0 0 240 3 0 0 25 0 4 0 517705029 618639360 81570 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 604140

[startup+6.30052 s]
/proc/loadavg: 7.58 8.10 7.82 6/182 30360
/proc/meminfo: memFree=30629080/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=653912 CPUtime=23.18 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 173951 0 0 0 2295 23 0 0 25 0 4 0 517704963 669605888 90918 33554432000 4194304 4623224 140736284993024 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 163478 90918 662 105 0 158982 0
[pid=30335/tid=30337] ppid=30333 vsize=653912 CPUtime=5.63 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 10118 0 0 0 562 1 0 0 25 0 4 0 517705029 669605888 90918 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=653912 CPUtime=5.6 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 10153 0 0 0 559 1 0 0 25 0 4 0 517705029 669605888 90918 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376567 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=653912 CPUtime=5.63 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 65269 0 0 0 554 9 0 0 25 0 4 0 517705029 669605888 90918 33554432000 4194304 4623224 140736284993024 18446744073709551615 4366077 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.18
Current children cumulated vsize (KiB) 653912

[startup+12.7003 s]
/proc/loadavg: 7.70 8.12 7.82 6/182 30391
/proc/meminfo: memFree=30634112/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=653912 CPUtime=48.75 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 196803 0 0 0 4848 27 0 0 25 0 4 0 517704963 669605888 93440 33554432000 4194304 4623224 140736284993024 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 163478 93440 548 105 0 158982 0
[pid=30335/tid=30337] ppid=30333 vsize=653912 CPUtime=12.03 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 10843 0 0 0 1202 1 0 0 25 0 4 0 517705029 669605888 93440 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=653912 CPUtime=11.96 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 11349 0 0 0 1195 1 0 0 25 0 4 0 517705029 669605888 93440 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=653912 CPUtime=12.03 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 85493 0 0 0 1191 12 0 0 25 0 4 0 517705029 669605888 93440 33554432000 4194304 4623224 140736284993024 18446744073709551615 4354672 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.75
Current children cumulated vsize (KiB) 653912

[startup+25.501 s]
/proc/loadavg: 7.97 8.16 7.84 9/188 30400
/proc/meminfo: memFree=30391472/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=720448 CPUtime=99.88 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 290116 0 0 0 9948 40 0 0 25 0 4 0 517704963 737738752 107062 33554432000 4194304 4623224 140736284993024 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 180112 107063 692 105 0 175616 0
[pid=30335/tid=30337] ppid=30333 vsize=720448 CPUtime=24.83 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 17211 0 0 0 2481 2 0 0 25 0 4 0 517705029 737738752 107063 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377743 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=720448 CPUtime=24.69 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 19888 0 0 0 2467 2 0 0 25 0 4 0 517705029 737738752 107063 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=720448 CPUtime=24.83 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 157609 0 0 0 2461 22 0 0 25 0 4 0 517705029 737738752 107064 33554432000 4194304 4623224 140736284993024 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (KiB) 720448

[startup+51.1004 s]
/proc/loadavg: 7.98 8.15 7.84 9/188 30401
/proc/meminfo: memFree=30034300/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=770652 CPUtime=202.14 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 484049 0 0 0 20148 66 0 0 25 0 4 0 517704963 789147648 113195 33554432000 4194304 4623224 140736284993024 18446744073709551615 4517428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 192663 113195 692 105 0 188167 0
[pid=30335/tid=30337] ppid=30333 vsize=770652 CPUtime=50.43 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 25227 0 0 0 5040 3 0 0 25 0 4 0 517705029 789147648 113195 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=770652 CPUtime=50.16 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 33842 0 0 0 5012 4 0 0 25 0 4 0 517705029 789147648 113195 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=770652 CPUtime=50.43 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 321918 0 0 0 4998 45 0 0 25 0 4 0 517705029 789147648 113195 33554432000 4194304 4623224 140736284993024 18446744073709551615 4552832 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.14
Current children cumulated vsize (KiB) 770652

[startup+102.307 s]
/proc/loadavg: 7.96 8.11 7.84 9/188 30462
/proc/meminfo: memFree=29168388/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=1223620 CPUtime=406.66 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 1127247 0 0 0 40506 160 0 0 25 0 4 0 517704963 1252986880 220096 33554432000 4194304 4623224 140736284993024 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 305905 220096 559 105 0 301409 0
[pid=30335/tid=30337] ppid=30333 vsize=1223620 CPUtime=101.64 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 94278 0 0 0 10150 14 0 0 25 0 4 0 517705029 1252986880 220096 33554432000 4194304 4623224 140736284993024 18446744073709551615 4480056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=1223620 CPUtime=101.07 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 127574 0 0 0 10090 17 0 0 25 0 4 0 517705029 1252986880 220096 33554432000 4194304 4623224 140736284993024 18446744073709551615 4477062 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=1223620 CPUtime=101.63 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 691879 0 0 0 10065 98 0 0 25 0 4 0 517705029 1252986880 220096 33554432000 4194304 4623224 140736284993024 18446744073709551615 4480056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 406.66
Current children cumulated vsize (KiB) 1223620

[startup+162.301 s]
/proc/loadavg: 8.02 8.10 7.85 9/188 30464
/proc/meminfo: memFree=27489196/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=2362940 CPUtime=646.2 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 2053614 0 0 0 64339 281 0 0 25 0 4 0 517704963 2419650560 420086 33554432000 4194304 4623224 140736284993024 18446744073709551615 4513433 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 590735 420086 559 105 0 586239 0
[pid=30335/tid=30337] ppid=30333 vsize=2362940 CPUtime=161.6 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 295656 0 0 0 16120 40 0 0 25 0 4 0 517705029 2419650560 420086 33554432000 4194304 4623224 140736284993024 18446744073709551615 4480056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=2362940 CPUtime=160.71 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 333236 0 0 0 16026 45 0 0 25 0 4 0 517705029 2419650560 420086 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=2362940 CPUtime=161.6 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1042996 0 0 0 16016 144 0 0 25 0 4 0 517705029 2419650560 420086 33554432000 4194304 4623224 140736284993024 18446744073709551615 4468031 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.2
Current children cumulated vsize (KiB) 2362940

[startup+222.3 s]
/proc/loadavg: 8.28 8.16 7.89 9/188 30465
/proc/meminfo: memFree=26305328/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=3283324 CPUtime=885.78 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 2805927 0 0 0 88207 371 0 0 25 0 4 0 517704963 3362123776 601392 33554432000 4194304 4623224 140736284993024 18446744073709551615 4509955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 820831 601392 559 105 0 816335 0
[pid=30335/tid=30337] ppid=30333 vsize=3283324 CPUtime=221.58 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 444201 0 0 0 22100 58 0 0 25 0 4 0 517705029 3362123776 601392 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=3283324 CPUtime=220.35 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 494099 0 0 0 21972 63 0 0 25 0 4 0 517705029 3362123776 601392 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=3283324 CPUtime=221.57 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1317304 0 0 0 21978 179 0 0 25 0 4 0 517705029 3362123776 601392 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363758 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 885.78
Current children cumulated vsize (KiB) 3283324

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.03 8.17 8.00 9/188 30508
/proc/meminfo: memFree=21327304/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9465224 CPUtime=2802.47 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 7520971 0 0 0 279294 953 0 0 25 0 4 0 517704963 9692389376 1608393 33554432000 4194304 4623224 140736284993024 18446744073709551615 4509955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2366306 1608393 558 105 0 2361810 0
[pid=30335/tid=30337] ppid=30333 vsize=9465224 CPUtime=701.44 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1461300 0 0 0 69964 180 0 0 25 0 4 0 517705029 9692389376 1608393 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9465224 CPUtime=697.51 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1518809 0 0 0 69566 185 0 0 25 0 4 0 517705029 9692389376 1608393 33554432000 4194304 4623224 140736284993024 18446744073709551615 4365973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9465224 CPUtime=701.41 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 2939591 0 0 0 69752 389 0 0 25 0 4 0 517705029 9692389376 1608393 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.47
Current children cumulated vsize (KiB) 9465224

[startup+762.306 s]
/proc/loadavg: 8.20 8.19 8.02 9/188 30510
/proc/meminfo: memFree=16658844/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9465224 CPUtime=3042.17 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 7714665 0 0 0 303238 979 0 0 25 0 4 0 517704963 9692389376 1710018 33554432000 4194304 4623224 140736284993024 18446744073709551615 4517833 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2366306 1710018 558 105 0 2361810 0
[pid=30335/tid=30337] ppid=30333 vsize=9465224 CPUtime=761.45 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1487678 0 0 0 75961 184 0 0 25 0 4 0 517705029 9692389376 1710018 33554432000 4194304 4623224 140736284993024 18446744073709551615 4330665 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9465224 CPUtime=757.19 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1545186 0 0 0 75530 189 0 0 25 0 4 0 517705029 9692389376 1710018 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377318 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9465224 CPUtime=761.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3055278 0 0 0 75737 405 0 0 25 0 4 0 517705029 9692389376 1710018 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.17
Current children cumulated vsize (KiB) 9465224

[startup+822.3 s]
/proc/loadavg: 6.93 7.90 7.93 5/179 30529
/proc/meminfo: memFree=23724920/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9530760 CPUtime=3281.83 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 7857325 0 0 0 327186 997 0 0 25 0 4 0 517704963 9759498240 1815404 33554432000 4194304 4623224 140736284993024 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2382690 1815404 552 105 0 2378194 0
[pid=30335/tid=30337] ppid=30333 vsize=9530760 CPUtime=821.45 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1512839 0 0 0 81958 187 0 0 25 0 4 0 517705029 9759498240 1815404 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9530760 CPUtime=816.87 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1575317 0 0 0 81492 195 0 0 25 0 4 0 517705029 9759498240 1815404 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9530760 CPUtime=821.41 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3116592 0 0 0 81729 412 0 0 25 0 4 0 517705029 9759498240 1815404 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289778 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.83
Current children cumulated vsize (KiB) 9530760

[startup+882.3 s]
/proc/loadavg: 5.08 7.18 7.68 5/179 30531
/proc/meminfo: memFree=23598024/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9530760 CPUtime=3521.51 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 7963854 0 0 0 351138 1013 0 0 25 0 4 0 517704963 9759498240 1844516 33554432000 4194304 4623224 140736284993024 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2382690 1844516 552 105 0 2378194 0
[pid=30335/tid=30337] ppid=30333 vsize=9530760 CPUtime=881.45 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1520800 0 0 0 87957 188 0 0 25 0 4 0 517705029 9759498240 1844516 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9530760 CPUtime=876.54 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1585066 0 0 0 87458 196 0 0 25 0 4 0 517705029 9759498240 1844516 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9530760 CPUtime=881.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3199100 0 0 0 87717 425 0 0 25 0 4 0 517705029 9759498240 1844516 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363774 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.51
Current children cumulated vsize (KiB) 9530760

[startup+942.301 s]
/proc/loadavg: 4.39 6.60 7.44 5/179 30532
/proc/meminfo: memFree=23515544/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9661836 CPUtime=3761.19 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8082245 0 0 0 375081 1038 0 0 25 0 4 0 517704963 9893720064 1865057 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498527 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2415459 1865057 552 105 0 2410963 0
[pid=30335/tid=30337] ppid=30333 vsize=9661836 CPUtime=941.46 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1521120 0 0 0 93957 189 0 0 25 0 4 0 517705029 9893720064 1865057 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9661836 CPUtime=936.21 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1588178 0 0 0 93425 196 0 0 25 0 4 0 517705029 9893720064 1865057 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9661836 CPUtime=941.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3271040 0 0 0 93706 436 0 0 25 0 4 0 517705029 9893720064 1865057 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.19
Current children cumulated vsize (KiB) 9661836

[startup+1002.3 s]
/proc/loadavg: 4.14 6.13 7.23 5/179 30534
/proc/meminfo: memFree=23450536/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9792908 CPUtime=4000.87 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8239056 0 0 0 399015 1072 0 0 25 0 4 0 517704963 10027937792 1881311 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2448227 1881311 552 105 0 2443731 0
[pid=30335/tid=30337] ppid=30333 vsize=9792908 CPUtime=1001.46 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1521357 0 0 0 99957 189 0 0 25 0 4 0 517705029 10027937792 1881311 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9792908 CPUtime=995.89 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1594612 0 0 0 99391 198 0 0 25 0 4 0 517705029 10027937792 1881311 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9792908 CPUtime=1001.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3372456 0 0 0 99688 454 0 0 25 0 4 0 517705029 10027937792 1881311 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363858 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.87
Current children cumulated vsize (KiB) 9792908

[startup+1062.3 s]
/proc/loadavg: 4.05 5.74 7.02 5/179 30536
/proc/meminfo: memFree=23403000/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9792908 CPUtime=4240.55 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8341164 0 0 0 422962 1093 0 0 25 0 4 0 517704963 10027937792 1893030 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2448227 1893030 552 105 0 2443731 0
[pid=30335/tid=30337] ppid=30333 vsize=9792908 CPUtime=1061.46 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1521755 0 0 0 105957 189 0 0 25 0 4 0 517705029 10027937792 1893030 33554432000 4194304 4623224 140736284993024 18446744073709551615 4377241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9792908 CPUtime=1055.56 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1595228 0 0 0 105358 198 0 0 25 0 4 0 517705029 10027937792 1893030 33554432000 4194304 4623224 140736284993024 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9792908 CPUtime=1061.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3462965 0 0 0 105675 467 0 0 25 0 4 0 517705029 10027937792 1893030 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.55
Current children cumulated vsize (KiB) 9792908

[startup+1122.3 s]
/proc/loadavg: 4.02 5.42 6.83 5/179 30537
/proc/meminfo: memFree=23375060/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9792908 CPUtime=4480.23 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8420014 0 0 0 446914 1109 0 0 25 0 4 0 517704963 10027937792 1898806 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2448227 1898827 552 105 0 2443731 0
[pid=30335/tid=30337] ppid=30333 vsize=9792908 CPUtime=1121.46 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1522129 0 0 0 111956 190 0 0 25 0 4 0 517705029 10027937792 1898837 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9792908 CPUtime=1115.23 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1597123 0 0 0 111325 198 0 0 25 0 4 0 517705029 10027937792 1898850 33554432000 4194304 4623224 140736284993024 18446744073709551615 4462458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9792908 CPUtime=1121.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3534948 0 0 0 111663 479 0 0 25 0 4 0 517705029 10027937792 1898862 33554432000 4194304 4623224 140736284993024 18446744073709551615 271550235063 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4480.23
Current children cumulated vsize (KiB) 9792908

[startup+1182.3 s]
/proc/loadavg: 4.18 5.20 6.66 5/179 30539
/proc/meminfo: memFree=23350728/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9792908 CPUtime=4719.91 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8525820 0 0 0 470862 1129 0 0 25 0 4 0 517704963 10027937792 1906460 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2448227 1906460 552 105 0 2443731 0
[pid=30335/tid=30337] ppid=30333 vsize=9792908 CPUtime=1181.46 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1522418 0 0 0 117956 190 0 0 25 0 4 0 517705029 10027937792 1906460 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9792908 CPUtime=1174.92 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1597987 0 0 0 117293 199 0 0 25 0 4 0 517705029 10027937792 1906460 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9792908 CPUtime=1181.42 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3634985 0 0 0 117647 495 0 0 25 0 4 0 517705029 10027937792 1906460 33554432000 4194304 4623224 140736284993024 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.91
Current children cumulated vsize (KiB) 9792908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 4.13 5.12 6.61 5/179 30539
/proc/meminfo: memFree=23342904/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=9792908 CPUtime=4800.22 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) R 30333 30335 29944 0 -1 4202496 8550197 0 0 0 478888 1134 0 0 25 0 4 0 517704963 10027937792 1908156 33554432000 4194304 4623224 140736284993024 18446744073709551615 4498513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 2448227 1908156 552 105 0 2443731 0
[pid=30335/tid=30337] ppid=30333 vsize=9792908 CPUtime=1201.56 cores=1,3,5,7
/proc/30335/task/30337/stat : 30337 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1522470 0 0 0 119966 190 0 0 25 0 4 0 517705029 10027937792 1908156 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=9792908 CPUtime=1194.9 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4202560 1599542 0 0 0 119291 199 0 0 25 0 4 0 517705029 10027937792 1908156 33554432000 4194304 4623224 140736284993024 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30335/tid=30339] ppid=30333 vsize=9792908 CPUtime=1201.53 cores=1,3,5,7
/proc/30335/task/30339/stat : 30339 (SArTagnan) R 30333 30335 29944 0 -1 4202560 3656343 0 0 0 119655 498 0 0 25 0 4 0 517705029 10027937792 1908156 33554432000 4194304 4623224 140736284993024 18446744073709551615 4289775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 9792908

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

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

[startup+1202.6 s]
/proc/loadavg: 4.13 5.12 6.61 5/179 30539
/proc/meminfo: memFree=23342904/32951124 swapFree=67111344/67111528
[pid=30335] ppid=30333 vsize=0 CPUtime=4800.42 cores=1,3,5,7
/proc/30335/stat : 30335 (SArTagnan) Z 30333 30335 29944 0 -1 4203548 8550197 0 0 0 478890 1152 0 0 25 0 2 0 517704963 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30335/statm: 0 0 0 0 0 0 0
[pid=30335/tid=30338] ppid=30333 vsize=0 CPUtime=1195.09 cores=1,3,5,7
/proc/30335/task/30338/stat : 30338 (SArTagnan) R 30333 30335 29944 0 -1 4203588 1599542 0 0 0 119292 217 0 0 25 0 2 0 517705029 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.68
CPU time (s): 4800.51
CPU user time (s): 4788.91
CPU system time (s): 11.6032
CPU usage (%): 399.153
Max. virtual memory (cumulated for all children) (KiB): 10911728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.91
system time used= 11.6032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8550197
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= 118
involuntary context switches= 33469

runsolver used 1.78973 second user time and 4.77727 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 09:11:11
IDJOB=3284621
IDBENCH=82354
IDSOLVER=1656
FILE ID=node133/3284621-1304061070
RUNJOBID= node133-1304058649-29963
PBS_JOBID= 13170442
Free space on /tmp= 71856 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-06.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284621-1304061070/watcher-3284621-1304061070 -o /tmp/evaluation-result-3284621-1304061070/solver-3284621-1304061070 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3284621-1304061070.cnf -threads=4

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

MD5SUM BENCH= 6fd7d026c372988cefc364000243d13f
RANDOM SEED=1822104789

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30717864 kB
Buffers:        713936 kB
Cached:         815400 kB
SwapCached:        124 kB
Active:         875344 kB
Inactive:       996956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30717864 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           42476 kB
Writeback:           0 kB
AnonPages:      343060 kB
Mapped:          15488 kB
Slab:           295600 kB
PageTables:       5100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   595236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71876 MiB
End job on node133 at 2011-04-29 09:31:15