Trace number 3282275

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.27 1201.93

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications 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 variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3282275-1304042807/watcher-3282275-1304042807 -o /tmp/evaluation-result-3282275-1304042807/solver-3282275-1304042807 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3282275-1304042807.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: 8.12 8.21 7.62 6/180 29538
/proc/meminfo: memFree=19058644/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=22100 CPUtime=0 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 978 0 0 0 0 0 0 0 25 0 1 0 594511426 22630400 915 33554432000 4194304 4623224 140734127129744 18446744073709551615 4305806 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29538/statm: 5525 928 290 105 0 1029 0

[startup+0.101586 s]
/proc/loadavg: 8.12 8.21 7.62 6/180 29538
/proc/meminfo: memFree=19058644/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=43012 CPUtime=0.08 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 8082 0 0 0 8 0 0 0 25 0 1 0 594511426 44044288 4773 33554432000 4194304 4623224 140734127129744 18446744073709551615 231895490304 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29538/statm: 10753 4773 297 105 0 6257 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43012

[startup+0.200505 s]
/proc/loadavg: 8.12 8.21 7.62 6/180 29538
/proc/meminfo: memFree=19058644/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=321936 CPUtime=0.38 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 22085 0 0 0 36 2 0 0 25 0 4 0 594511426 329662464 16864 33554432000 4194304 4623224 140734127129744 18446744073709551615 4359294 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 80484 16864 333 105 0 75988 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 321936

[startup+0.300484 s]
/proc/loadavg: 8.12 8.21 7.62 6/180 29538
/proc/meminfo: memFree=19058644/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=321936 CPUtime=0.78 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 22341 0 0 0 76 2 0 0 25 0 4 0 594511426 329662464 17099 33554432000 4194304 4623224 140734127129744 18446744073709551615 4412549 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 80484 17099 334 105 0 75988 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 321936

[startup+0.70041 s]
/proc/loadavg: 8.12 8.21 7.62 6/180 29538
/proc/meminfo: memFree=19058644/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=324124 CPUtime=2.38 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 23822 0 0 0 236 2 0 0 25 0 4 0 594511426 331902976 17897 33554432000 4194304 4623224 140734127129744 18446744073709551615 4412768 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 81031 17897 335 105 0 76535 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 324124

[startup+1.50026 s]
/proc/loadavg: 8.11 8.21 7.62 9/184 29542
/proc/meminfo: memFree=18986452/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=329128 CPUtime=5.56 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 25561 0 0 0 554 2 0 0 25 0 4 0 594511426 337027072 18953 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 82282 18953 342 105 0 77786 0
[pid=29538/tid=29540] ppid=29536 vsize=329128 CPUtime=1.36 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1685 0 0 0 136 0 0 0 25 0 4 0 594511440 337027072 18953 33554432000 4194304 4623224 140734127129744 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=329128 CPUtime=1.35 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1789 0 0 0 135 0 0 0 25 0 4 0 594511440 337027072 18953 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=329128 CPUtime=1.35 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 3211 0 0 0 135 0 0 0 25 0 4 0 594511440 337027072 18953 33554432000 4194304 4623224 140734127129744 18446744073709551615 231895148897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 329128

[startup+3.10096 s]
/proc/loadavg: 8.11 8.21 7.62 9/184 29542
/proc/meminfo: memFree=18979508/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=336096 CPUtime=11.96 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 29658 0 0 0 1193 3 0 0 25 0 4 0 594511426 344162304 19807 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 84024 19807 342 105 0 79528 0
[pid=29538/tid=29540] ppid=29536 vsize=336096 CPUtime=2.96 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 2738 0 0 0 296 0 0 0 25 0 4 0 594511440 344162304 19807 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=336096 CPUtime=2.95 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 2813 0 0 0 295 0 0 0 25 0 4 0 594511440 344162304 19807 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=336096 CPUtime=2.94 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 4278 0 0 0 294 0 0 0 25 0 4 0 594511440 344162304 19807 33554432000 4194304 4623224 140734127129744 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 336096

[startup+6.30036 s]
/proc/loadavg: 8.10 8.20 7.63 9/184 29542
/proc/meminfo: memFree=18971248/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=337780 CPUtime=24.75 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 31269 0 0 0 2471 4 0 0 25 0 4 0 594511426 345886720 21314 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507433 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 84445 21314 342 105 0 79949 0
[pid=29538/tid=29540] ppid=29536 vsize=337780 CPUtime=6.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 3074 0 0 0 615 0 0 0 25 0 4 0 594511440 345886720 21314 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=337780 CPUtime=6.15 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 3346 0 0 0 615 0 0 0 25 0 4 0 594511440 345886720 21314 33554432000 4194304 4623224 140734127129744 18446744073709551615 4289968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=337780 CPUtime=6.12 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 4884 0 0 0 612 0 0 0 25 0 4 0 594511440 345886720 21314 33554432000 4194304 4623224 140734127129744 18446744073709551615 4545719 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 337780

[startup+12.7012 s]
/proc/loadavg: 8.09 8.20 7.63 9/184 29543
/proc/meminfo: memFree=18951804/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=340788 CPUtime=50.31 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 34490 0 0 0 5027 4 0 0 25 0 4 0 594511426 348966912 24182 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 85197 24182 342 105 0 80701 0
[pid=29538/tid=29540] ppid=29536 vsize=340788 CPUtime=12.55 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 3666 0 0 0 1255 0 0 0 25 0 4 0 594511440 348966912 24182 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=340788 CPUtime=12.56 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 4545 0 0 0 1255 1 0 0 25 0 4 0 594511440 348966912 24182 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=340788 CPUtime=12.49 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 5862 0 0 0 1249 0 0 0 25 0 4 0 594511440 348966912 24182 33554432000 4194304 4623224 140734127129744 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 340788

[startup+25.5008 s]
/proc/loadavg: 8.15 8.21 7.64 9/184 29543
/proc/meminfo: memFree=18911628/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=412228 CPUtime=101.43 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 82262 0 0 0 10131 12 0 0 25 0 4 0 594511426 422121472 48800 33554432000 4194304 4623224 140734127129744 18446744073709551615 231895187925 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 103057 48838 343 105 0 98561 0
[pid=29538/tid=29540] ppid=29536 vsize=412228 CPUtime=25.35 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 11984 0 0 0 2533 2 0 0 25 0 4 0 594511440 422121472 48856 33554432000 4194304 4623224 140734127129744 18446744073709551615 4278624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=412228 CPUtime=25.35 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 13927 0 0 0 2533 2 0 0 25 0 4 0 594511440 422121472 48877 33554432000 4194304 4623224 140734127129744 18446744073709551615 231895187925 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=412228 CPUtime=25.22 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 13993 0 0 0 2521 1 0 0 25 0 4 0 594511440 422121472 48901 33554432000 4194304 4623224 140734127129744 18446744073709551615 4467728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 412228

[startup+51.101 s]
/proc/loadavg: 8.03 8.17 7.64 9/184 29575
/proc/meminfo: memFree=19486268/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=1269024 CPUtime=203.54 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 637221 0 0 0 20257 97 0 0 25 0 4 0 594511426 1299480576 229958 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 317256 229958 375 105 0 312760 0
[pid=29538/tid=29540] ppid=29536 vsize=1269024 CPUtime=50.92 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 96486 0 0 0 5078 14 0 0 25 0 4 0 594511440 1299480576 229958 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=1269024 CPUtime=50.91 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 79022 0 0 0 5079 12 0 0 25 0 4 0 594511440 1299480576 229958 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=1269024 CPUtime=50.63 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 222764 0 0 0 5030 33 0 0 25 0 4 0 594511440 1299480576 229958 33554432000 4194304 4623224 140734127129744 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.54
Current children cumulated vsize (KiB) 1269024

[startup+102.3 s]
/proc/loadavg: 8.01 8.14 7.66 9/184 29576
/proc/meminfo: memFree=19289204/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=1269024 CPUtime=408.08 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 889209 0 0 0 40670 138 0 0 25 0 4 0 594511426 1299480576 234172 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 317256 234172 360 105 0 312760 0
[pid=29538/tid=29540] ppid=29536 vsize=1269024 CPUtime=102.12 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 96486 0 0 0 10198 14 0 0 25 0 4 0 594511440 1299480576 234172 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=1269024 CPUtime=102.12 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 79150 0 0 0 10200 12 0 0 25 0 4 0 594511440 1299480576 234172 33554432000 4194304 4623224 140734127129744 18446744073709551615 4316616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=1269024 CPUtime=101.56 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 473794 0 0 0 10082 74 0 0 25 0 4 0 594511440 1299480576 234172 33554432000 4194304 4623224 140734127129744 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 1269024

[startup+162.301 s]
/proc/loadavg: 8.11 8.15 7.68 9/184 29578
/proc/meminfo: memFree=19079876/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=1387484 CPUtime=647.74 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 1008705 0 0 0 64619 155 0 0 25 0 4 0 594511426 1420783616 244443 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507359 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 346871 244443 404 105 0 342375 0
[pid=29538/tid=29540] ppid=29536 vsize=1387484 CPUtime=162.12 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 96506 0 0 0 16198 14 0 0 25 0 4 0 594511440 1420783616 244443 33554432000 4194304 4623224 140734127129744 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=1387484 CPUtime=162.12 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 84849 0 0 0 16199 13 0 0 25 0 4 0 594511440 1420783616 244443 33554432000 4194304 4623224 140734127129744 18446744073709551615 4317264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=1387484 CPUtime=161.22 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 584544 0 0 0 16033 89 0 0 25 0 4 0 594511440 1420783616 244443 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.74
Current children cumulated vsize (KiB) 1387484

[startup+222.307 s]
/proc/loadavg: 8.11 8.13 7.71 9/184 29579
/proc/meminfo: memFree=18757188/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=1407384 CPUtime=887.43 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 1245962 0 0 0 88546 197 0 0 25 0 4 0 594511426 1441161216 274543 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 351846 274544 344 105 0 347350 0
[pid=29538/tid=29540] ppid=29536 vsize=1407384 CPUtime=222.13 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 108196 0 0 0 22190 23 0 0 25 0 4 0 594511440 1441161216 274544 33554432000 4194304 4623224 140734127129744 18446744073709551615 4463618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=1407384 CPUtime=222.13 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 93143 0 0 0 22197 16 0 0 25 0 4 0 594511440 1441161216 274544 33554432000 4194304 4623224 140734127129744 18446744073709551615 231895151301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=1407384 CPUtime=220.9 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 800322 0 0 0 21970 120 0 0 25 0 4 0 594511440 1441161216 274544 33554432000 4194304 4623224 140734127129744 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.43
Current children cumulated vsize (KiB) 1407384

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.08 8.10 7.85 9/184 29592
/proc/meminfo: memFree=17217460/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2588844 CPUtime=2804.81 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2594302 0 0 0 280011 470 0 0 25 0 4 0 594511426 2650976256 527247 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 647211 527247 344 105 0 642715 0
[pid=29538/tid=29540] ppid=29536 vsize=2588844 CPUtime=702.13 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 191835 0 0 0 70122 91 0 0 25 0 4 0 594511440 2650976256 527247 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2588844 CPUtime=702.13 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 186108 0 0 0 70174 39 0 0 25 0 4 0 594511440 2650976256 527247 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2588844 CPUtime=698.3 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1877879 0 0 0 69547 283 0 0 25 0 4 0 594511440 2650976256 527247 33554432000 4194304 4623224 140734127129744 18446744073709551615 4546788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.81
Current children cumulated vsize (KiB) 2588844

[startup+762.301 s]
/proc/loadavg: 8.03 8.08 7.85 9/184 29594
/proc/meminfo: memFree=16900232/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2621620 CPUtime=3044.5 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2605570 0 0 0 303976 474 0 0 25 0 4 0 594511426 2684538880 538462 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 655405 538462 344 105 0 650909 0
[pid=29538/tid=29540] ppid=29536 vsize=2621620 CPUtime=762.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192085 0 0 0 76123 92 0 0 25 0 4 0 594511440 2684538880 538462 33554432000 4194304 4623224 140734127129744 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2621620 CPUtime=762.13 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 186341 0 0 0 76174 39 0 0 25 0 4 0 594511440 2684538880 538462 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2621620 CPUtime=757.98 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1886185 0 0 0 75512 286 0 0 25 0 4 0 594511440 2684538880 538462 33554432000 4194304 4623224 140734127129744 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.5
Current children cumulated vsize (KiB) 2621620

[startup+822.3 s]
/proc/loadavg: 8.01 8.06 7.86 9/184 29595
/proc/meminfo: memFree=16873664/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2655420 CPUtime=3284.16 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2618707 0 0 0 327939 477 0 0 25 0 4 0 594511426 2719150080 551344 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 663855 551344 344 105 0 659359 0
[pid=29538/tid=29540] ppid=29536 vsize=2655420 CPUtime=822.14 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192324 0 0 0 82122 92 0 0 25 0 4 0 594511440 2719150080 551344 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2655420 CPUtime=822.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 186588 0 0 0 82174 40 0 0 25 0 4 0 594511440 2719150080 551344 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2655420 CPUtime=817.65 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1894941 0 0 0 81478 287 0 0 25 0 4 0 594511440 2719150080 551344 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.16
Current children cumulated vsize (KiB) 2655420

[startup+882.306 s]
/proc/loadavg: 8.00 8.05 7.86 9/184 29597
/proc/meminfo: memFree=16802940/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2721364 CPUtime=3523.85 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2633515 0 0 0 351906 479 0 0 25 0 4 0 594511426 2786676736 566071 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 680341 566071 344 105 0 675845 0
[pid=29538/tid=29540] ppid=29536 vsize=2721364 CPUtime=882.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192491 0 0 0 88123 92 0 0 25 0 4 0 594511440 2786676736 566071 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2721364 CPUtime=882.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 186806 0 0 0 88174 40 0 0 25 0 4 0 594511440 2786676736 566071 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2721364 CPUtime=877.33 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1903309 0 0 0 87444 289 0 0 25 0 4 0 594511440 2786676736 566071 33554432000 4194304 4623224 140734127129744 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.85
Current children cumulated vsize (KiB) 2721364

[startup+942.301 s]
/proc/loadavg: 8.00 8.04 7.87 9/184 29598
/proc/meminfo: memFree=16726268/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2754832 CPUtime=3763.51 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2644205 0 0 0 375869 482 0 0 25 0 4 0 594511426 2820947968 576673 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 688708 576673 344 105 0 684212 0
[pid=29538/tid=29540] ppid=29536 vsize=2754832 CPUtime=942.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192687 0 0 0 94123 92 0 0 25 0 4 0 594511440 2820947968 576673 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2754832 CPUtime=942.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 186966 0 0 0 94174 40 0 0 25 0 4 0 594511440 2820947968 576673 33554432000 4194304 4623224 140734127129744 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2754832 CPUtime=937 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1911828 0 0 0 93409 291 0 0 25 0 4 0 594511440 2820947968 576673 33554432000 4194304 4623224 140734127129744 18446744073709551615 4545943 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.51
Current children cumulated vsize (KiB) 2754832

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 7.87 9/184 29600
/proc/meminfo: memFree=16652940/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2789512 CPUtime=4003.19 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2654379 0 0 0 399834 485 0 0 25 0 4 0 594511426 2856460288 586774 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 697378 586774 344 105 0 692882 0
[pid=29538/tid=29540] ppid=29536 vsize=2789512 CPUtime=1002.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192808 0 0 0 100123 92 0 0 25 0 4 0 594511440 2856460288 586774 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2789512 CPUtime=1002.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 187024 0 0 0 100174 40 0 0 25 0 4 0 594511440 2856460288 586774 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2789512 CPUtime=996.67 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1920550 0 0 0 99375 292 0 0 25 0 4 0 594511440 2856460288 586774 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.19
Current children cumulated vsize (KiB) 2789512

[startup+1062.3 s]
/proc/loadavg: 8.14 8.05 7.89 9/184 29602
/proc/meminfo: memFree=16512548/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2822216 CPUtime=4242.86 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2664814 0 0 0 423799 487 0 0 25 0 4 0 594511426 2889949184 597141 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 705554 597141 344 105 0 701058 0
[pid=29538/tid=29540] ppid=29536 vsize=2822216 CPUtime=1062.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 192930 0 0 0 106123 92 0 0 25 0 4 0 594511440 2889949184 597141 33554432000 4194304 4623224 140734127129744 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2822216 CPUtime=1062.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 187119 0 0 0 106174 40 0 0 25 0 4 0 594511440 2889949184 597141 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2822216 CPUtime=1056.35 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1928902 0 0 0 105342 293 0 0 25 0 4 0 594511440 2889949184 597141 33554432000 4194304 4623224 140734127129744 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.86
Current children cumulated vsize (KiB) 2822216

[startup+1122.3 s]
/proc/loadavg: 8.18 8.07 7.91 9/184 29603
/proc/meminfo: memFree=16400668/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2856376 CPUtime=4482.53 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2679364 0 0 0 447762 491 0 0 25 0 4 0 594511426 2924929024 611402 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 714094 611402 344 105 0 709598 0
[pid=29538/tid=29540] ppid=29536 vsize=2856376 CPUtime=1122.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 193133 0 0 0 112123 92 0 0 25 0 4 0 594511440 2924929024 611402 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2856376 CPUtime=1122.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 187284 0 0 0 112174 40 0 0 25 0 4 0 594511440 2924929024 611402 33554432000 4194304 4623224 140734127129744 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2856376 CPUtime=1116.02 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1937508 0 0 0 111306 296 0 0 25 0 4 0 594511440 2924929024 611402 33554432000 4194304 4623224 140734127129744 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 2856376

[startup+1182.3 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 29605
/proc/meminfo: memFree=16234352/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2887908 CPUtime=4722.21 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2692758 0 0 0 471728 493 0 0 25 0 4 0 594511426 2957217792 624460 33554432000 4194304 4623224 140734127129744 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 721977 624460 344 105 0 717481 0
[pid=29538/tid=29540] ppid=29536 vsize=2887908 CPUtime=1182.15 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 193457 0 0 0 118123 92 0 0 25 0 4 0 594511440 2957217792 624460 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357406 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2887908 CPUtime=1182.14 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 187588 0 0 0 118174 40 0 0 25 0 4 0 594511440 2957217792 624460 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2887908 CPUtime=1175.7 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1945488 0 0 0 117273 297 0 0 25 0 4 0 594511440 2957217792 624460 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.21
Current children cumulated vsize (KiB) 2887908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.09 8.07 7.91 9/184 29605
/proc/meminfo: memFree=16197384/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=2895724 CPUtime=4800.13 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) R 29536 29538 28251 0 -1 4202496 2696511 0 0 0 479519 494 0 0 25 0 4 0 594511426 2965221376 628140 33554432000 4194304 4623224 140734127129744 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 723931 628140 344 105 0 719435 0
[pid=29538/tid=29540] ppid=29536 vsize=2895724 CPUtime=1201.66 cores=0,2,4,6
/proc/29538/task/29540/stat : 29540 (SArTagnan) R 29536 29538 28251 0 -1 4202560 193545 0 0 0 120074 92 0 0 25 0 4 0 594511440 2965221376 628140 33554432000 4194304 4623224 140734127129744 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29538/tid=29541] ppid=29536 vsize=2895724 CPUtime=1201.65 cores=0,2,4,6
/proc/29538/task/29541/stat : 29541 (SArTagnan) R 29536 29538 28251 0 -1 4202560 187691 0 0 0 120125 40 0 0 25 0 4 0 594511440 2965221376 628140 33554432000 4194304 4623224 140734127129744 18446744073709551615 4357426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=2895724 CPUtime=1195.09 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4202560 1947722 0 0 0 119212 297 0 0 25 0 4 0 594511440 2965221376 628140 33554432000 4194304 4623224 140734127129744 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 2895724

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

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

[startup+1201.91 s]
/proc/loadavg: 8.09 8.07 7.91 9/184 29605
/proc/meminfo: memFree=16197384/32950928 swapFree=67111524/67111528
[pid=29538] ppid=29536 vsize=0 CPUtime=4800.25 cores=0,2,4,6
/proc/29538/stat : 29538 (SArTagnan) Z 29536 29538 28251 0 -1 4203548 2696511 0 0 0 479521 504 0 0 25 0 2 0 594511426 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29538/statm: 0 0 0 0 0 0 0
[pid=29538/tid=29542] ppid=29536 vsize=0 CPUtime=1195.19 cores=0,2,4,6
/proc/29538/task/29542/stat : 29542 (SArTagnan) R 29536 29538 28251 0 -1 4203588 1947722 0 0 0 119212 307 0 0 25 0 2 0 594511440 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.27
CPU user time (s): 4795.21
CPU system time (s): 5.06123
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 2895724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.21
system time used= 5.06123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2696511
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= 7552
involuntary context switches= 22017

runsolver used 1.89371 second user time and 4.66629 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 04:06:47
IDJOB=3282275
IDBENCH=70797
IDSOLVER=1656
FILE ID=node114/3282275-1304042807
RUNJOBID= node114-1304041602-28947
PBS_JOBID= 13170369
Free space on /tmp= 71800 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282275-1304042807/watcher-3282275-1304042807 -o /tmp/evaluation-result-3282275-1304042807/solver-3282275-1304042807 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3282275-1304042807.cnf -threads=4

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=125718687

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.848
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:     32950928 kB
MemFree:      19058932 kB
Buffers:       2254588 kB
Cached:        9538500 kB
SwapCached:          4 kB
Active:        4812888 kB
Inactive:      8497704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19058932 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5048 kB
Writeback:           0 kB
AnonPages:     1516756 kB
Mapped:          15468 kB
Slab:           516040 kB
PageTables:       7668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1833152 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= 71796 MiB
End job on node114 at 2011-04-29 04:26:51