Trace number 3282367

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.38 1202.14

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2982.37
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
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-3282367-1304043322/watcher-3282367-1304043322 -o /tmp/evaluation-result-3282367-1304043322/solver-3282367-1304043322 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3282367-1304043322.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: 3.80 4.29 5.77 5/180 24948
/proc/meminfo: memFree=26274892/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=21644 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 1098 0 0 0 0 0 0 0 21 0 1 0 515930248 22163456 1036 33554432000 4194304 4623224 140734381998816 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24948/statm: 5411 1038 290 105 0 915 0

[startup+0.0619861 s]
/proc/loadavg: 3.80 4.29 5.77 5/180 24948
/proc/meminfo: memFree=26274892/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=54924 CPUtime=0.05 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 7226 0 0 0 5 0 0 0 21 0 1 0 515930248 56242176 5402 33554432000 4194304 4623224 140734381998816 18446744073709551615 228244009669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24948/statm: 13731 5402 297 105 0 9235 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54924

[startup+0.100977 s]
/proc/loadavg: 3.80 4.29 5.77 5/180 24948
/proc/meminfo: memFree=26274892/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=59200 CPUtime=0.09 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 9765 0 0 0 9 0 0 0 21 0 1 0 515930248 60620800 6569 33554432000 4194304 4623224 140734381998816 18446744073709551615 228244348672 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24948/statm: 14800 6569 297 105 0 10304 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59200

[startup+0.300943 s]
/proc/loadavg: 3.80 4.29 5.77 5/180 24948
/proc/meminfo: memFree=26274892/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=193228 CPUtime=0.29 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 38211 0 0 0 25 4 0 0 22 0 4 0 515930248 197865472 29429 33554432000 4194304 4623224 140734381998816 18446744073709551615 228244405233 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 48307 29429 306 105 0 43811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 193228

[startup+0.700811 s]
/proc/loadavg: 3.80 4.29 5.77 5/180 24948
/proc/meminfo: memFree=26274892/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=417412 CPUtime=1.89 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 48598 0 0 0 184 5 0 0 25 0 4 0 515930248 427429888 38528 33554432000 4194304 4623224 140734381998816 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 104353 38528 335 105 0 99857 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 417412

[startup+1.50067 s]
/proc/loadavg: 3.80 4.29 5.77 9/184 24952
/proc/meminfo: memFree=26096548/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=423648 CPUtime=5.08 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 50240 0 0 0 503 5 0 0 25 0 4 0 515930248 433815552 40109 33554432000 4194304 4623224 140734381998816 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 105912 40109 335 105 0 101416 0
[pid=24948/tid=24950] ppid=24946 vsize=423648 CPUtime=1.19 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3348 0 0 0 119 0 0 0 25 0 4 0 515930278 433815552 40109 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=423648 CPUtime=1.19 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3319 0 0 0 119 0 0 0 25 0 4 0 515930278 433815552 40109 33554432000 4194304 4623224 140734381998816 18446744073709551615 4466062 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=423648 CPUtime=1.19 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3462 0 0 0 119 0 0 0 25 0 4 0 515930278 433815552 40109 33554432000 4194304 4623224 140734381998816 18446744073709551615 4565176 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 423648

[startup+3.10039 s]
/proc/loadavg: 3.80 4.29 5.77 9/184 24952
/proc/meminfo: memFree=26084396/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=423648 CPUtime=11.47 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 52932 0 0 0 1141 6 0 0 25 0 4 0 515930248 433815552 41651 33554432000 4194304 4623224 140734381998816 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 105912 41651 335 105 0 101416 0
[pid=24948/tid=24950] ppid=24946 vsize=423648 CPUtime=2.79 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3355 0 0 0 279 0 0 0 25 0 4 0 515930278 433815552 41651 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=423648 CPUtime=2.79 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3542 0 0 0 279 0 0 0 25 0 4 0 515930278 433815552 41651 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=423648 CPUtime=2.79 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 5920 0 0 0 278 1 0 0 25 0 4 0 515930278 433815552 41651 33554432000 4194304 4623224 140734381998816 18446744073709551615 4565968 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 423648

[startup+6.30083 s]
/proc/loadavg: 4.14 4.35 5.78 9/184 24952
/proc/meminfo: memFree=26045852/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=437380 CPUtime=24.25 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 59823 0 0 0 2418 7 0 0 25 0 4 0 515930248 447877120 47127 33554432000 4194304 4623224 140734381998816 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 109345 47127 335 105 0 104849 0
[pid=24948/tid=24950] ppid=24946 vsize=437380 CPUtime=5.99 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3754 0 0 0 599 0 0 0 25 0 4 0 515930278 447877120 47127 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=437380 CPUtime=5.99 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3770 0 0 0 599 0 0 0 25 0 4 0 515930278 447877120 47127 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=437380 CPUtime=5.99 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 11959 0 0 0 597 2 0 0 25 0 4 0 515930278 447877120 47127 33554432000 4194304 4623224 140734381998816 18446744073709551615 4553563 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (KiB) 437380

[startup+12.7007 s]
/proc/loadavg: 4.45 4.41 5.79 9/184 24952
/proc/meminfo: memFree=26005252/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=437380 CPUtime=49.82 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 67635 0 0 0 4973 9 0 0 25 0 4 0 515930248 447877120 50911 33554432000 4194304 4623224 140734381998816 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 109345 50911 335 105 0 104849 0
[pid=24948/tid=24950] ppid=24946 vsize=437380 CPUtime=12.39 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 4095 0 0 0 1239 0 0 0 25 0 4 0 515930278 447877120 50911 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=437380 CPUtime=12.39 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 3942 0 0 0 1239 0 0 0 25 0 4 0 515930278 447877120 50912 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=437380 CPUtime=12.39 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 19065 0 0 0 1236 3 0 0 25 0 4 0 515930278 447877120 50912 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (KiB) 437380

[startup+25.5005 s]
/proc/loadavg: 5.23 4.59 5.83 9/184 24953
/proc/meminfo: memFree=25957632/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=448776 CPUtime=100.94 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 92654 0 0 0 10081 13 0 0 25 0 4 0 515930248 459546624 55914 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 112194 55914 342 105 0 107698 0
[pid=24948/tid=24950] ppid=24946 vsize=448776 CPUtime=25.19 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 7361 0 0 0 2518 1 0 0 25 0 4 0 515930278 459546624 55914 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=448776 CPUtime=25.19 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 4002 0 0 0 2519 0 0 0 25 0 4 0 515930278 459546624 55914 33554432000 4194304 4623224 140734381998816 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=448776 CPUtime=25.19 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 38485 0 0 0 2513 6 0 0 25 0 4 0 515930278 459546624 55914 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (KiB) 448776

[startup+51.101 s]
/proc/loadavg: 6.31 4.89 5.89 9/184 24953
/proc/meminfo: memFree=25885504/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=452832 CPUtime=203.21 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 146484 0 0 0 20296 25 0 0 25 0 4 0 515930248 463699968 62239 33554432000 4194304 4623224 140734381998816 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 113208 62239 343 105 0 108712 0
[pid=24948/tid=24950] ppid=24946 vsize=452832 CPUtime=50.78 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 12357 0 0 0 5074 4 0 0 25 0 4 0 515930278 463699968 62239 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=452832 CPUtime=50.79 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 4002 0 0 0 5079 0 0 0 25 0 4 0 515930278 463699968 62239 33554432000 4194304 4623224 140734381998816 18446744073709551615 4317145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=452832 CPUtime=50.79 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 87223 0 0 0 5065 14 0 0 25 0 4 0 515930278 463699968 62239 33554432000 4194304 4623224 140734381998816 18446744073709551615 228244007174 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.21
Current children cumulated vsize (KiB) 452832

[startup+102.306 s]
/proc/loadavg: 7.41 5.40 6.01 9/184 24955
/proc/meminfo: memFree=25727016/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=528608 CPUtime=407.74 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 267565 0 0 0 40721 53 0 0 25 0 4 0 515930248 541294592 87223 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 132152 87223 343 105 0 127656 0
[pid=24948/tid=24950] ppid=24946 vsize=528608 CPUtime=101.99 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 19356 0 0 0 10189 10 0 0 25 0 4 0 515930278 541294592 87223 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=528608 CPUtime=101.99 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 20310 0 0 0 10192 7 0 0 25 0 4 0 515930278 541294592 87223 33554432000 4194304 4623224 140734381998816 18446744073709551615 4463640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=528608 CPUtime=101.99 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 183485 0 0 0 10170 29 0 0 25 0 4 0 515930278 541294592 87223 33554432000 4194304 4623224 140734381998816 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.74
Current children cumulated vsize (KiB) 528608

[startup+162.301 s]
/proc/loadavg: 7.91 5.90 6.15 9/184 24956
/proc/meminfo: memFree=25602992/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=534692 CPUtime=647.39 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 408194 0 0 0 64656 83 0 0 25 0 4 0 515930248 547524608 104705 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 133673 104705 343 105 0 129177 0
[pid=24948/tid=24950] ppid=24946 vsize=534692 CPUtime=161.98 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 28664 0 0 0 16182 16 0 0 25 0 4 0 515930278 547524608 104705 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289664 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=534692 CPUtime=161.99 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 38226 0 0 0 16187 12 0 0 25 0 4 0 515930278 547524608 104705 33554432000 4194304 4623224 140734381998816 18446744073709551615 4317214 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=534692 CPUtime=161.99 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 296371 0 0 0 16151 48 0 0 25 0 4 0 515930278 547524608 104705 33554432000 4194304 4623224 140734381998816 18446744073709551615 4552735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.39
Current children cumulated vsize (KiB) 534692

[startup+222.3 s]
/proc/loadavg: 8.09 6.31 6.27 9/184 24958
/proc/meminfo: memFree=25458272/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=663828 CPUtime=887.05 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 544311 0 0 0 88590 115 0 0 25 0 4 0 515930248 679759872 124523 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24948/statm: 165957 124523 343 105 0 161461 0
[pid=24948/tid=24950] ppid=24946 vsize=663828 CPUtime=221.98 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 36976 0 0 0 22171 27 0 0 25 0 4 0 515930278 679759872 124523 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=663828 CPUtime=222 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 58119 0 0 0 22184 16 0 0 25 0 4 0 515930278 679759872 124523 33554432000 4194304 4623224 140734381998816 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=663828 CPUtime=221.99 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 403860 0 0 0 22133 66 0 0 25 0 4 0 515930278 679759872 124523 33554432000 4194304 4623224 140734381998816 18446744073709551615 4548227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.05
Current children cumulated vsize (KiB) 663828

[startup+282.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.20 7.80 7.02 9/184 24971
/proc/meminfo: memFree=23388172/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=2730936 CPUtime=2804.15 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2562796 0 0 0 279977 438 0 0 25 0 4 0 515930248 2796478464 552762 33554432000 4194304 4623224 140734381998816 18446744073709551615 4526821 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 682734 552762 415 105 0 678238 0
[pid=24948/tid=24950] ppid=24946 vsize=2730936 CPUtime=701.88 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 190985 0 0 0 70118 70 0 0 25 0 4 0 515930278 2796478464 552762 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=2730936 CPUtime=701.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 326673 0 0 0 70135 58 0 0 25 0 4 0 515930278 2796478464 552762 33554432000 4194304 4623224 140734381998816 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=2730936 CPUtime=700.29 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1665337 0 0 0 69772 257 0 0 25 0 4 0 515930278 2796478464 552762 33554432000 4194304 4623224 140734381998816 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.15
Current children cumulated vsize (KiB) 2730936

[startup+762.307 s]
/proc/loadavg: 8.11 7.84 7.09 9/184 24972
/proc/meminfo: memFree=23297012/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=2796472 CPUtime=3043.85 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2574261 0 0 0 303937 448 0 0 25 0 4 0 515930248 2863587328 563558 33554432000 4194304 4623224 140734381998816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 699118 563558 415 105 0 694622 0
[pid=24948/tid=24950] ppid=24946 vsize=2796472 CPUtime=761.89 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 195063 0 0 0 76115 74 0 0 25 0 4 0 515930278 2863587328 563558 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=2796472 CPUtime=761.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 333876 0 0 0 76129 64 0 0 25 0 4 0 515930278 2863587328 563558 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=2796472 CPUtime=759.96 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1665337 0 0 0 75739 257 0 0 25 0 4 0 515930278 2863587328 563558 33554432000 4194304 4623224 140734381998816 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.85
Current children cumulated vsize (KiB) 2796472

[startup+822.301 s]
/proc/loadavg: 8.07 7.89 7.14 9/184 24974
/proc/meminfo: memFree=23186016/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=2796472 CPUtime=3283.5 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2587773 0 0 0 327891 459 0 0 25 0 4 0 515930248 2863587328 576945 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 699118 576945 415 105 0 694622 0
[pid=24948/tid=24950] ppid=24946 vsize=2796472 CPUtime=821.89 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 199550 0 0 0 82110 79 0 0 25 0 4 0 515930278 2863587328 576945 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=2796472 CPUtime=821.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 342377 0 0 0 82123 70 0 0 25 0 4 0 515930278 2863587328 576945 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=2796472 CPUtime=819.63 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1665337 0 0 0 81706 257 0 0 25 0 4 0 515930278 2863587328 576945 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366665 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.5
Current children cumulated vsize (KiB) 2796472

[startup+882.301 s]
/proc/loadavg: 8.06 7.92 7.20 9/184 24975
/proc/meminfo: memFree=23077868/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=2927544 CPUtime=3523.17 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2603641 0 0 0 351847 470 0 0 25 0 4 0 515930248 2997805056 591406 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507080 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 731886 591406 415 105 0 727390 0
[pid=24948/tid=24950] ppid=24946 vsize=2927544 CPUtime=881.88 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 203760 0 0 0 88105 83 0 0 25 0 4 0 515930278 2997805056 591406 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=2927544 CPUtime=881.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 353453 0 0 0 88117 76 0 0 25 0 4 0 515930278 2997805056 591406 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=2927544 CPUtime=879.3 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1665355 0 0 0 87672 258 0 0 25 0 4 0 515930278 2997805056 591406 33554432000 4194304 4623224 140734381998816 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.17
Current children cumulated vsize (KiB) 2927544

[startup+942.301 s]
/proc/loadavg: 8.02 7.93 7.25 9/184 24977
/proc/meminfo: memFree=22946788/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=2927544 CPUtime=3762.83 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2623328 0 0 0 375803 480 0 0 25 0 4 0 515930248 2997805056 609679 33554432000 4194304 4623224 140734381998816 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 731886 609679 415 105 0 727390 0
[pid=24948/tid=24950] ppid=24946 vsize=2927544 CPUtime=941.88 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 210737 0 0 0 94099 89 0 0 25 0 4 0 515930278 2997805056 609679 33554432000 4194304 4623224 140734381998816 18446744073709551615 4462398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=2927544 CPUtime=941.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 365329 0 0 0 94113 80 0 0 25 0 4 0 515930278 2997805056 609679 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=2927544 CPUtime=938.97 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1665355 0 0 0 93639 258 0 0 25 0 4 0 515930278 2997805056 609679 33554432000 4194304 4623224 140734381998816 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.83
Current children cumulated vsize (KiB) 2927544

[startup+1002.3 s]
/proc/loadavg: 8.00 7.94 7.29 9/184 24979
/proc/meminfo: memFree=22751472/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=3168504 CPUtime=4002.51 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2732433 0 0 0 399749 502 0 0 25 0 4 0 515930248 3244548096 645062 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 792126 645062 415 105 0 787630 0
[pid=24948/tid=24950] ppid=24946 vsize=3168504 CPUtime=1001.87 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 258154 0 0 0 100086 101 0 0 25 0 4 0 515930278 3244548096 645062 33554432000 4194304 4623224 140734381998816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=3168504 CPUtime=1001.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 417522 0 0 0 100105 88 0 0 25 0 4 0 515930278 3244548096 645062 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=3168504 CPUtime=998.63 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1673653 0 0 0 99604 259 0 0 25 0 4 0 515930278 3244548096 645062 33554432000 4194304 4623224 140734381998816 18446744073709551615 4364312 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.51
Current children cumulated vsize (KiB) 3168504

[startup+1062.3 s]
/proc/loadavg: 8.06 7.96 7.34 9/184 24980
/proc/meminfo: memFree=22657460/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=3250344 CPUtime=4242.18 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2743925 0 0 0 423708 510 0 0 25 0 4 0 515930248 3328352256 656404 33554432000 4194304 4623224 140734381998816 18446744073709551615 4507243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 812586 656404 415 105 0 808090 0
[pid=24948/tid=24950] ppid=24946 vsize=3250344 CPUtime=1061.87 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 263944 0 0 0 106079 108 0 0 25 0 4 0 515930278 3328352256 656404 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=3250344 CPUtime=1061.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 417876 0 0 0 106105 88 0 0 25 0 4 0 515930278 3328352256 656404 33554432000 4194304 4623224 140734381998816 18446744073709551615 4357376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=3250344 CPUtime=1058.3 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1678217 0 0 0 105570 260 0 0 25 0 4 0 515930278 3328352256 656404 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.18
Current children cumulated vsize (KiB) 3250344

[startup+1122.3 s]
/proc/loadavg: 8.02 7.97 7.38 9/184 24982
/proc/meminfo: memFree=22573864/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=3257116 CPUtime=4481.85 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2750659 0 0 0 447670 515 0 0 25 0 4 0 515930248 3335286784 662243 33554432000 4194304 4623224 140734381998816 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 814279 662243 344 105 0 809783 0
[pid=24948/tid=24950] ppid=24946 vsize=3257116 CPUtime=1121.88 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 266277 0 0 0 112076 112 0 0 25 0 4 0 515930278 3335286784 662243 33554432000 4194304 4623224 140734381998816 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=3257116 CPUtime=1121.93 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 418216 0 0 0 112105 88 0 0 25 0 4 0 515930278 3335286784 662243 33554432000 4194304 4623224 140734381998816 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=3257116 CPUtime=1117.97 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1681067 0 0 0 111537 260 0 0 25 0 4 0 515930278 3335286784 662243 33554432000 4194304 4623224 140734381998816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4481.85
Current children cumulated vsize (KiB) 3257116

[startup+1182.3 s]
/proc/loadavg: 8.05 7.99 7.42 9/184 24983
/proc/meminfo: memFree=22494096/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=3257116 CPUtime=4721.52 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2895806 0 0 0 471613 539 0 0 25 0 4 0 515930248 3335286784 671751 33554432000 4194304 4623224 140734381998816 18446744073709551615 4510077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 814279 671751 344 105 0 809783 0
[pid=24948/tid=24950] ppid=24946 vsize=3257116 CPUtime=1181.88 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 266366 0 0 0 118076 112 0 0 25 0 4 0 515930278 3335286784 671751 33554432000 4194304 4623224 140734381998816 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=3257116 CPUtime=1181.94 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 418680 0 0 0 118105 89 0 0 25 0 4 0 515930278 3335286784 671751 33554432000 4194304 4623224 140734381998816 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=3257116 CPUtime=1177.64 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1822422 0 0 0 117481 283 0 0 25 0 4 0 515930278 3335286784 671751 33554432000 4194304 4623224 140734381998816 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.52
Current children cumulated vsize (KiB) 3257116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.04 7.99 7.43 5/179 24985
/proc/meminfo: memFree=23578136/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=3257116 CPUtime=4800.23 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) R 24946 24948 22773 0 -1 4202496 2993293 0 0 0 479466 557 0 0 25 0 4 0 515930248 3335286784 675785 33554432000 4194304 4623224 140734381998816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 814279 675785 344 105 0 809783 0
[pid=24948/tid=24950] ppid=24946 vsize=3257116 CPUtime=1201.58 cores=0,2,4,6
/proc/24948/task/24950/stat : 24950 (SArTagnan) R 24946 24948 22773 0 -1 4202560 266366 0 0 0 120046 112 0 0 25 0 4 0 515930278 3335286784 675785 33554432000 4194304 4623224 140734381998816 18446744073709551615 4486198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24948/tid=24951] ppid=24946 vsize=3257116 CPUtime=1201.65 cores=0,2,4,6
/proc/24948/task/24951/stat : 24951 (SArTagnan) R 24946 24948 22773 0 -1 4202560 418726 0 0 0 120076 89 0 0 25 0 4 0 515930278 3335286784 675785 33554432000 4194304 4623224 140734381998816 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=3257116 CPUtime=1197.22 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4202560 1919714 0 0 0 119422 300 0 0 25 0 4 0 515930278 3335286784 675785 33554432000 4194304 4623224 140734381998816 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 3257116

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

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

[startup+1202.11 s]
/proc/loadavg: 8.04 7.99 7.43 5/179 24985
/proc/meminfo: memFree=23578136/32951124 swapFree=67111364/67111528
[pid=24948] ppid=24946 vsize=0 CPUtime=4800.35 cores=0,2,4,6
/proc/24948/stat : 24948 (SArTagnan) Z 24946 24948 22773 0 -1 4203548 2993293 0 0 0 479468 567 0 0 25 0 2 0 515930248 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24948/statm: 0 0 0 0 0 0 0
[pid=24948/tid=24952] ppid=24946 vsize=0 CPUtime=1197.33 cores=0,2,4,6
/proc/24948/task/24952/stat : 24952 (SArTagnan) R 24946 24948 22773 0 -1 4203588 1919714 0 0 0 119423 310 0 0 25 0 2 0 515930278 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.38
CPU user time (s): 4794.69
CPU system time (s): 5.69713
CPU usage (%): 399.321
Max. virtual memory (cumulated for all children) (KiB): 3293472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.69
system time used= 5.69713
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2993293
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= 4589
involuntary context switches= 35495

runsolver used 1.86772 second user time and 4.69329 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 04:15:23
IDJOB=3282367
IDBENCH=70808
IDSOLVER=1656
FILE ID=node136/3282367-1304043322
RUNJOBID= node136-1304043322-24925
PBS_JOBID= 13170316
Free space on /tmp= 72324 MiB

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

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=175449683

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26275172 kB
Buffers:       1052436 kB
Cached:        4995980 kB
SwapCached:        100 kB
Active:         684188 kB
Inactive:      5440144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26275172 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11744 kB
Writeback:           0 kB
AnonPages:       75772 kB
Mapped:          14876 kB
Slab:           486112 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   252400 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= 72324 MiB
End job on node136 at 2011-04-29 04:35:27