Trace number 3289405

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.32 1201.87

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
MD5SUM1d36146d5d79c91e0605a19242395228
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark527.919
Satisfiable
(Un)Satisfiability was proved
Number of variables71356
Number of clauses227126
Sum of the clauses size555264
Maximum clause length2747
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2137909
Number of clauses of size 387742
Number of clauses of size 4324
Number of clauses of size 523
Number of clauses of size over 51127

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

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

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


[startup+0 s]
/proc/loadavg: 8.08 8.06 7.78 5/180 18231
/proc/meminfo: memFree=17061728/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=29688 CPUtime=0 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 1687 0 0 0 0 0 0 0 25 0 1 0 519888934 30400512 1624 33554432000 4194304 4623224 140735481649520 18446744073709551615 216634175809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18231/statm: 7422 1624 296 105 0 2926 0

[startup+0.0993231 s]
/proc/loadavg: 8.08 8.06 7.78 5/180 18231
/proc/meminfo: memFree=17061728/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=45092 CPUtime=0.09 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 8359 0 0 0 8 1 0 0 25 0 1 0 519888934 46174208 4952 33554432000 4194304 4623224 140735481649520 18446744073709551615 216634212448 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18231/statm: 11273 4977 303 105 0 6777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45092

[startup+0.10032 s]
/proc/loadavg: 8.08 8.06 7.78 5/180 18231
/proc/meminfo: memFree=17061728/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=46208 CPUtime=0.09 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 8873 0 0 0 8 1 0 0 25 0 1 0 519888934 47316992 5466 33554432000 4194304 4623224 140735481649520 18446744073709551615 4277629 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18231/statm: 11552 5480 303 105 0 7056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46208

[startup+0.300253 s]
/proc/loadavg: 8.08 8.06 7.78 5/180 18231
/proc/meminfo: memFree=17061728/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=308960 CPUtime=0.86 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 18286 0 0 0 84 2 0 0 25 0 4 0 519888934 316375040 14329 33554432000 4194304 4623224 140735481649520 18446744073709551615 4412804 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 77240 14329 335 105 0 72744 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 308960

[startup+0.700183 s]
/proc/loadavg: 8.08 8.06 7.78 5/180 18231
/proc/meminfo: memFree=17061728/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=311688 CPUtime=2.45 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 20589 0 0 0 243 2 0 0 25 0 4 0 519888934 319168512 15911 33554432000 4194304 4623224 140735481649520 18446744073709551615 4507616 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 77922 15911 343 105 0 73426 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 311688

[startup+1.50104 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18235
/proc/meminfo: memFree=16997472/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=314132 CPUtime=5.65 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 26087 0 0 0 562 3 0 0 25 0 4 0 519888934 321671168 17988 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 78533 17988 343 105 0 74037 0
[pid=18231/tid=18233] ppid=18229 vsize=314132 CPUtime=1.38 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 1651 0 0 0 138 0 0 0 25 0 4 0 519888945 321671168 17988 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=314132 CPUtime=1.38 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 1151 0 0 0 138 0 0 0 25 0 4 0 519888945 321671168 17988 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289638 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=314132 CPUtime=1.38 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 6099 0 0 0 137 1 0 0 25 0 4 0 519888945 321671168 17988 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 314132

[startup+3.10076 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18235
/proc/meminfo: memFree=16986836/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=317388 CPUtime=12.04 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 32818 0 0 0 1200 4 0 0 25 0 4 0 519888934 325005312 19444 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 79347 19444 343 105 0 74851 0
[pid=18231/tid=18233] ppid=18229 vsize=317388 CPUtime=2.98 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 2561 0 0 0 298 0 0 0 25 0 4 0 519888945 325005312 19444 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=317388 CPUtime=2.98 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 2727 0 0 0 298 0 0 0 25 0 4 0 519888945 325005312 19444 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=317388 CPUtime=2.98 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 10166 0 0 0 296 2 0 0 25 0 4 0 519888945 325005312 19444 33554432000 4194304 4623224 140735481649520 18446744073709551615 4355396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 317388

[startup+6.3012 s]
/proc/loadavg: 8.07 8.06 7.78 9/184 18235
/proc/meminfo: memFree=16975920/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=319016 CPUtime=24.83 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 45510 0 0 0 2476 7 0 0 25 0 4 0 519888934 326672384 20879 33554432000 4194304 4623224 140735481649520 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 79754 20879 343 105 0 75258 0
[pid=18231/tid=18233] ppid=18229 vsize=319016 CPUtime=6.18 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 2748 0 0 0 618 0 0 0 25 0 4 0 519888945 326672384 20879 33554432000 4194304 4623224 140735481649520 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=319016 CPUtime=6.18 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 3137 0 0 0 618 0 0 0 25 0 4 0 519888945 326672384 20879 33554432000 4194304 4623224 140735481649520 18446744073709551615 216634173840 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=319016 CPUtime=6.18 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 21287 0 0 0 614 4 0 0 25 0 4 0 519888945 326672384 20879 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 319016

[startup+12.7011 s]
/proc/loadavg: 8.15 8.08 7.78 9/184 18235
/proc/meminfo: memFree=16939060/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=348236 CPUtime=50.39 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 66542 0 0 0 5029 10 0 0 25 0 4 0 519888934 356593664 28149 33554432000 4194304 4623224 140735481649520 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 87059 28149 343 105 0 82563 0
[pid=18231/tid=18233] ppid=18229 vsize=348236 CPUtime=12.58 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 5674 0 0 0 1258 0 0 0 25 0 4 0 519888945 356593664 28149 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=348236 CPUtime=12.57 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 6442 0 0 0 1257 0 0 0 25 0 4 0 519888945 356593664 28149 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=348236 CPUtime=12.57 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 32770 0 0 0 1252 5 0 0 25 0 4 0 519888945 356593664 28149 33554432000 4194304 4623224 140735481649520 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 348236

[startup+25.5008 s]
/proc/loadavg: 8.11 8.07 7.79 9/184 18235
/proc/meminfo: memFree=16717116/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=519532 CPUtime=101.49 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 182461 0 0 0 10123 26 0 0 25 0 4 0 519888934 532000768 80135 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510907 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 129883 80135 356 105 0 125387 0
[pid=18231/tid=18233] ppid=18229 vsize=519532 CPUtime=25.37 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 25942 0 0 0 2534 3 0 0 25 0 4 0 519888945 532000768 80135 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=519532 CPUtime=25.37 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 26646 0 0 0 2534 3 0 0 25 0 4 0 519888945 532000768 80135 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=519532 CPUtime=25.37 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 65460 0 0 0 2527 10 0 0 25 0 4 0 519888945 532000768 80135 33554432000 4194304 4623224 140735481649520 18446744073709551615 4545579 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 519532

[startup+51.1003 s]
/proc/loadavg: 8.07 8.06 7.79 9/184 18236
/proc/meminfo: memFree=16689332/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=519532 CPUtime=203.75 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 189107 0 0 0 20344 31 0 0 25 0 4 0 519888934 532000768 84948 33554432000 4194304 4623224 140735481649520 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 129883 84948 357 105 0 125387 0
[pid=18231/tid=18233] ppid=18229 vsize=519532 CPUtime=50.97 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 29597 0 0 0 5089 8 0 0 25 0 4 0 519888945 532000768 84948 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=519532 CPUtime=50.97 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 27028 0 0 0 5094 3 0 0 25 0 4 0 519888945 532000768 84948 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=519532 CPUtime=50.97 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 67491 0 0 0 5087 10 0 0 25 0 4 0 519888945 532000768 84948 33554432000 4194304 4623224 140735481649520 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 519532

[startup+102.306 s]
/proc/loadavg: 8.13 8.08 7.81 9/184 18237
/proc/meminfo: memFree=16592584/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=544436 CPUtime=408.28 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 380448 0 0 0 40756 72 0 0 25 0 4 0 519888934 557502464 100311 33554432000 4194304 4623224 140735481649520 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 136109 100311 356 105 0 131613 0
[pid=18231/tid=18233] ppid=18229 vsize=544436 CPUtime=102.18 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 43095 0 0 0 10202 16 0 0 25 0 4 0 519888945 557502464 100311 33554432000 4194304 4623224 140735481649520 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=544436 CPUtime=102.18 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 29727 0 0 0 10212 6 0 0 25 0 4 0 519888945 557502464 100312 33554432000 4194304 4623224 140735481649520 18446744073709551615 4467994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=544436 CPUtime=102.18 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 234672 0 0 0 10179 39 0 0 25 0 4 0 519888945 557502464 100312 33554432000 4194304 4623224 140735481649520 18446744073709551615 4467683 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 544436

[startup+162.301 s]
/proc/loadavg: 8.14 8.09 7.83 9/184 18239
/proc/meminfo: memFree=16507112/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=694144 CPUtime=647.91 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 720661 0 0 0 64660 131 0 0 25 0 4 0 519888934 710803456 109644 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 173536 109644 356 105 0 169040 0
[pid=18231/tid=18233] ppid=18229 vsize=694144 CPUtime=162.15 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 57724 0 0 0 16195 20 0 0 25 0 4 0 519888945 710803456 109644 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=694144 CPUtime=162.17 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 30388 0 0 0 16210 7 0 0 25 0 4 0 519888945 710803456 109644 33554432000 4194304 4623224 140735481649520 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=694144 CPUtime=162.18 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 559482 0 0 0 16125 93 0 0 25 0 4 0 519888945 710803456 109644 33554432000 4194304 4623224 140735481649520 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.91
Current children cumulated vsize (KiB) 694144

[startup+222.301 s]
/proc/loadavg: 8.14 8.10 7.85 9/184 18240
/proc/meminfo: memFree=16433780/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=706532 CPUtime=887.56 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 1124747 0 0 0 88555 201 0 0 25 0 4 0 519888934 723488768 118517 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 176633 118517 356 105 0 172137 0
[pid=18231/tid=18233] ppid=18229 vsize=706532 CPUtime=222.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 62860 0 0 0 22190 22 0 0 25 0 4 0 519888945 723488768 118517 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=706532 CPUtime=222.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 37447 0 0 0 22208 8 0 0 25 0 4 0 519888945 723488768 118517 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=706532 CPUtime=222.17 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 951349 0 0 0 22059 158 0 0 25 0 4 0 519888945 723488768 118517 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.56
Current children cumulated vsize (KiB) 706532

[startup+282.301 s]

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

[pid=18231] ppid=18229 vsize=992744 CPUtime=2565.28 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 3470366 0 0 0 255917 611 0 0 25 0 4 0 519888934 1016569856 195128 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 248186 195128 345 105 0 243690 0
[pid=18231/tid=18233] ppid=18229 vsize=992744 CPUtime=642.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 101219 0 0 0 64172 40 0 0 25 0 4 0 519888945 1016569856 195128 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=992744 CPUtime=642.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 65929 0 0 0 64190 26 0 0 25 0 4 0 519888945 1016569856 195128 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377034 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=992744 CPUtime=642.17 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 3213798 0 0 0 63689 528 0 0 25 0 4 0 519888945 1016569856 195128 33554432000 4194304 4623224 140735481649520 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.28
Current children cumulated vsize (KiB) 992744

[startup+702.301 s]
/proc/loadavg: 8.16 8.15 7.96 9/184 18284
/proc/meminfo: memFree=16646476/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1043252 CPUtime=2804.94 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 3827105 0 0 0 279819 675 0 0 25 0 4 0 519888934 1068290048 210118 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510262 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 260813 210118 345 105 0 256317 0
[pid=18231/tid=18233] ppid=18229 vsize=1043252 CPUtime=702.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 127688 0 0 0 70165 47 0 0 25 0 4 0 519888945 1068290048 210118 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1043252 CPUtime=702.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 68580 0 0 0 70187 29 0 0 25 0 4 0 519888945 1068290048 210118 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1043252 CPUtime=702.17 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 3540234 0 0 0 69635 582 0 0 25 0 4 0 519888945 1068290048 210118 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.94
Current children cumulated vsize (KiB) 1043252

[startup+762.307 s]
/proc/loadavg: 8.12 8.14 7.97 9/184 18286
/proc/meminfo: memFree=16511516/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1174324 CPUtime=3044.63 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 4264347 0 0 0 303714 749 0 0 25 0 4 0 519888934 1202507776 222451 33554432000 4194304 4623224 140735481649520 18446744073709551615 4507125 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 293581 222451 345 105 0 289085 0
[pid=18231/tid=18233] ppid=18229 vsize=1174324 CPUtime=762.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 130914 0 0 0 76164 48 0 0 25 0 4 0 519888945 1202507776 222451 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1174324 CPUtime=762.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 73445 0 0 0 76184 32 0 0 25 0 4 0 519888945 1202507776 222451 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1174324 CPUtime=762.18 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 3969045 0 0 0 75566 652 0 0 25 0 4 0 519888945 1202507776 222451 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.63
Current children cumulated vsize (KiB) 1174324

[startup+822.301 s]
/proc/loadavg: 8.11 8.12 7.97 9/184 18287
/proc/meminfo: memFree=16379408/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1211544 CPUtime=3284.28 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 4681330 0 0 0 327602 826 0 0 25 0 4 0 519888934 1240621056 243032 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 302886 243032 698 105 0 298390 0
[pid=18231/tid=18233] ppid=18229 vsize=1211544 CPUtime=822.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 134203 0 0 0 82160 52 0 0 25 0 4 0 519888945 1240621056 243032 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1211544 CPUtime=822.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 76415 0 0 0 82181 35 0 0 25 0 4 0 519888945 1240621056 243032 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1211544 CPUtime=822.17 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 4370062 0 0 0 81496 721 0 0 25 0 4 0 519888945 1240621056 243032 33554432000 4194304 4623224 140735481649520 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.28
Current children cumulated vsize (KiB) 1211544

[startup+882.301 s]
/proc/loadavg: 8.09 8.11 7.98 9/184 18289
/proc/meminfo: memFree=16282136/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1277080 CPUtime=3523.95 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 5136445 0 0 0 351489 906 0 0 25 0 4 0 519888934 1307729920 253494 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 319270 253494 697 105 0 314774 0
[pid=18231/tid=18233] ppid=18229 vsize=1277080 CPUtime=882.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 137320 0 0 0 88157 55 0 0 25 0 4 0 519888945 1307729920 253494 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1277080 CPUtime=882.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 81168 0 0 0 88175 41 0 0 25 0 4 0 519888945 1307729920 253494 33554432000 4194304 4623224 140735481649520 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1277080 CPUtime=882.17 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 4816430 0 0 0 87425 792 0 0 25 0 4 0 519888945 1307729920 253494 33554432000 4194304 4623224 140735481649520 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.95
Current children cumulated vsize (KiB) 1277080

[startup+942.3 s]
/proc/loadavg: 8.09 8.11 7.98 9/184 18291
/proc/meminfo: memFree=16181032/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1304972 CPUtime=3763.63 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 5535116 0 0 0 375388 975 0 0 25 0 4 0 519888934 1336291328 263131 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510181 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 326243 263131 697 105 0 321747 0
[pid=18231/tid=18233] ppid=18229 vsize=1304972 CPUtime=942.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 139256 0 0 0 94156 56 0 0 25 0 4 0 519888945 1336291328 263131 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1304972 CPUtime=942.15 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 82601 0 0 0 94173 42 0 0 25 0 4 0 519888945 1336291328 263132 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1304972 CPUtime=942.16 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 5197050 0 0 0 93361 855 0 0 25 0 4 0 519888945 1336291328 263132 33554432000 4194304 4623224 140735481649520 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.63
Current children cumulated vsize (KiB) 1304972

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 7.99 9/184 18292
/proc/meminfo: memFree=16038008/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1348560 CPUtime=4003.3 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 5942631 0 0 0 399288 1042 0 0 25 0 4 0 519888934 1380925440 275336 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 337140 275336 697 105 0 332644 0
[pid=18231/tid=18233] ppid=18229 vsize=1348560 CPUtime=1002.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 146234 0 0 0 100155 57 0 0 25 0 4 0 519888945 1380925440 275336 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1348560 CPUtime=1002.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 83343 0 0 0 100173 43 0 0 25 0 4 0 519888945 1380925440 275336 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289797 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1348560 CPUtime=1002.16 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 5596422 0 0 0 99295 921 0 0 25 0 4 0 519888945 1380925440 275336 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.3
Current children cumulated vsize (KiB) 1348560

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.00 9/184 18294
/proc/meminfo: memFree=15962324/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1414096 CPUtime=4242.98 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 6290581 0 0 0 423193 1105 0 0 25 0 4 0 519888934 1448034304 285510 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 353524 285510 697 105 0 349028 0
[pid=18231/tid=18233] ppid=18229 vsize=1414096 CPUtime=1062.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 148833 0 0 0 106154 58 0 0 25 0 4 0 519888945 1448034304 285510 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1414096 CPUtime=1062.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 85213 0 0 0 106170 46 0 0 25 0 4 0 519888945 1448034304 285510 33554432000 4194304 4623224 140735481649520 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1414096 CPUtime=1062.16 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 5939651 0 0 0 105236 980 0 0 25 0 4 0 519888945 1448034304 285510 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.98
Current children cumulated vsize (KiB) 1414096

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.00 9/184 18295
/proc/meminfo: memFree=15884156/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1414096 CPUtime=4482.65 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 6648189 0 0 0 447096 1169 0 0 25 0 4 0 519888934 1448034304 294424 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 353524 294424 697 105 0 349028 0
[pid=18231/tid=18233] ppid=18229 vsize=1414096 CPUtime=1122.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 151418 0 0 0 112151 61 0 0 25 0 4 0 519888945 1448034304 294424 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1414096 CPUtime=1122.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 86888 0 0 0 112167 49 0 0 25 0 4 0 519888945 1448034304 294424 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1414096 CPUtime=1122.16 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 6292000 0 0 0 111178 1038 0 0 25 0 4 0 519888945 1448034304 294424 33554432000 4194304 4623224 140735481649520 18446744073709551615 4289594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.65
Current children cumulated vsize (KiB) 1414096

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 8.00 9/184 18297
/proc/meminfo: memFree=15821376/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1479632 CPUtime=4722.33 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 6735861 0 0 0 471044 1189 0 0 25 0 4 0 519888934 1515143168 300892 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 369908 300892 697 105 0 365412 0
[pid=18231/tid=18233] ppid=18229 vsize=1479632 CPUtime=1182.12 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 153886 0 0 0 118149 63 0 0 25 0 4 0 519888945 1515143168 300892 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1479632 CPUtime=1182.16 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 89119 0 0 0 118163 53 0 0 25 0 4 0 519888945 1515143168 300892 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1479632 CPUtime=1182.16 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 6374251 0 0 0 117164 1052 0 0 25 0 4 0 519888945 1515143168 300892 33554432000 4194304 4623224 140735481649520 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.33
Current children cumulated vsize (KiB) 1479632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.18 8.11 8.01 9/184 18298
/proc/meminfo: memFree=15804244/32951124 swapFree=67111528/67111528
[pid=18231] ppid=18229 vsize=1479632 CPUtime=4800.23 cores=1,3,5,7
/proc/18231/stat : 18231 (SArTagnan) R 18229 18231 18138 0 -1 4202496 6737688 0 0 0 478832 1191 0 0 25 0 4 0 519888934 1515143168 302715 33554432000 4194304 4623224 140735481649520 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18231/statm: 369908 302715 697 105 0 365412 0
[pid=18231/tid=18233] ppid=18229 vsize=1479632 CPUtime=1201.63 cores=1,3,5,7
/proc/18231/task/18233/stat : 18233 (SArTagnan) R 18229 18231 18138 0 -1 4202560 155169 0 0 0 120098 65 0 0 25 0 4 0 519888945 1515143168 302715 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18231/tid=18234] ppid=18229 vsize=1479632 CPUtime=1201.67 cores=1,3,5,7
/proc/18231/task/18234/stat : 18234 (SArTagnan) R 18229 18231 18138 0 -1 4202560 89150 0 0 0 120114 53 0 0 25 0 4 0 519888945 1515143168 302715 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18231/tid=18235] ppid=18229 vsize=1479632 CPUtime=1201.66 cores=1,3,5,7
/proc/18231/task/18235/stat : 18235 (SArTagnan) R 18229 18231 18138 0 -1 4202560 6374333 0 0 0 119114 1052 0 0 25 0 4 0 519888945 1515143168 302715 33554432000 4194304 4623224 140735481649520 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1479632

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.87
CPU time (s): 4800.32
CPU user time (s): 4788.35
CPU system time (s): 11.9692
CPU usage (%): 399.406
Max. virtual memory (cumulated for all children) (KiB): 1479632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.35
system time used= 11.9692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6737690
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= 7072
involuntary context switches= 22687

runsolver used 1.89771 second user time and 4.66729 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 15:14:23
IDJOB=3289405
IDBENCH=83121
IDSOLVER=1656
FILE ID=node103/3289405-1304082863
RUNJOBID= node103-1304082164-18157
PBS_JOBID= 13170539
Free space on /tmp= 71512 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289405-1304082863/watcher-3289405-1304082863 -o /tmp/evaluation-result-3289405-1304082863/solver-3289405-1304082863 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289405-1304082863.cnf -threads=4

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

MD5SUM BENCH= 1d36146d5d79c91e0605a19242395228
RANDOM SEED=1588457916

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.858
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.858
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.83
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.858
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:      17062008 kB
Buffers:       2148172 kB
Cached:       12253476 kB
SwapCached:          0 kB
Active:        6422492 kB
Inactive:      8883584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17062008 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4268 kB
Writeback:           0 kB
AnonPages:      903784 kB
Mapped:          15372 kB
Slab:           519280 kB
PageTables:       6288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1171712 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= 71512 MiB
End job on node103 at 2011-04-29 15:34:27