Trace number 3263808

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.42 1201.75

General information on the benchmark

NameSAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
MD5SUM1d86c7f9cd05c5f2ab070520d802c8e1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables226
Number of clauses1078
Sum of the clauses size3624
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226
Number of clauses of size 3636
Number of clauses of size 4416
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-3263808-1304101934/watcher-3263808-1304101934 -o /tmp/evaluation-result-3263808-1304101934/solver-3263808-1304101934 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3263808-1304101934.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: 3.71 5.18 6.70 4/180 24037
/proc/meminfo: memFree=25384724/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=49480 CPUtime=0 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 4 0 521791602 50667520 439 33554432000 4194304 4623224 140734835164080 18446744073709551615 47837691197360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 12370 439 301 105 0 7874 0
[pid=24036/tid=24038] ppid=24032 vsize=49480 CPUtime=0 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 521791602 50667520 439 33554432000 4194304 4623224 140734835164080 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=49480 CPUtime=0 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 521791602 50667520 439 33554432000 4194304 4623224 140734835164080 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=49480 CPUtime=0 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 521791602 50667520 439 33554432000 4194304 4623224 140734835164080 18446744073709551615 47837691197352 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.343072 s]
/proc/loadavg: 3.71 5.18 6.70 4/180 24037
/proc/meminfo: memFree=25384724/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=249500 CPUtime=1.34 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 3598 0 0 0 134 0 0 0 21 0 4 0 521791602 255488000 2261 33554432000 4194304 4623224 140734835164080 18446744073709551615 4513015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 62375 2261 344 105 0 57879 0
[pid=24036/tid=24038] ppid=24032 vsize=249500 CPUtime=0.33 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 815 0 0 0 33 0 0 0 22 0 4 0 521791602 255488000 2261 33554432000 4194304 4623224 140734835164080 18446744073709551615 4463033 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=249500 CPUtime=0.33 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 715 0 0 0 33 0 0 0 18 0 4 0 521791602 255488000 2261 33554432000 4194304 4623224 140734835164080 18446744073709551615 232335918186 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=249500 CPUtime=0.33 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) D 24032 24036 23437 0 -1 4202560 1043 0 0 0 33 0 0 0 22 0 4 0 521791602 255488000 2261 33554432000 4194304 4623224 140734835164080 18446744073709551615 232335589576 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 249500

[startup+0.400258 s]
/proc/loadavg: 3.71 5.18 6.70 4/180 24037
/proc/meminfo: memFree=25384724/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=250504 CPUtime=1.57 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 3957 0 0 0 157 0 0 0 21 0 4 0 521791602 256516096 2421 33554432000 4194304 4623224 140734835164080 18446744073709551615 4384132 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 62626 2421 344 105 0 58130 0
[pid=24036/tid=24038] ppid=24032 vsize=250504 CPUtime=0.38 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1044 0 0 0 38 0 0 0 22 0 4 0 521791602 256516096 2421 33554432000 4194304 4623224 140734835164080 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=250504 CPUtime=0.39 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 806 0 0 0 39 0 0 0 18 0 4 0 521791602 256516096 2421 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=250504 CPUtime=0.39 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1076 0 0 0 39 0 0 0 23 0 4 0 521791602 256516096 2421 33554432000 4194304 4623224 140734835164080 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 250504

[startup+0.500241 s]
/proc/loadavg: 3.71 5.18 6.70 4/180 24037
/proc/meminfo: memFree=25384724/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=251460 CPUtime=1.97 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 4947 0 0 0 197 0 0 0 22 0 4 0 521791602 257495040 2809 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 62865 2809 344 105 0 58369 0
[pid=24036/tid=24038] ppid=24032 vsize=251460 CPUtime=0.48 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1124 0 0 0 48 0 0 0 23 0 4 0 521791602 257495040 2809 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=251460 CPUtime=0.49 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1093 0 0 0 49 0 0 0 18 0 4 0 521791602 257495040 2809 33554432000 4194304 4623224 140734835164080 18446744073709551615 4465909 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=251460 CPUtime=0.49 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1580 0 0 0 49 0 0 0 23 0 4 0 521791602 257495040 2809 33554432000 4194304 4623224 140734835164080 18446744073709551615 4545373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 251460

[startup+0.700207 s]
/proc/loadavg: 3.71 5.18 6.70 4/180 24037
/proc/meminfo: memFree=25384724/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=252560 CPUtime=2.77 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 6975 0 0 0 276 1 0 0 22 0 4 0 521791602 258621440 3407 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 63140 3407 344 105 0 58644 0
[pid=24036/tid=24038] ppid=24032 vsize=252560 CPUtime=0.68 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1531 0 0 0 68 0 0 0 25 0 4 0 521791602 258621440 3407 33554432000 4194304 4623224 140734835164080 18446744073709551615 4289682 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=252560 CPUtime=0.69 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 1520 0 0 0 69 0 0 0 18 0 4 0 521791602 258621440 3407 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=252560 CPUtime=0.68 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 2570 0 0 0 68 0 0 0 24 0 4 0 521791602 258621440 3407 33554432000 4194304 4623224 140734835164080 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 252560

[startup+1.50107 s]
/proc/loadavg: 4.06 5.22 6.71 10/188 24045
/proc/meminfo: memFree=25344752/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=256692 CPUtime=5.96 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 14336 0 0 0 595 1 0 0 25 0 4 0 521791602 262852608 5848 33554432000 4194304 4623224 140734835164080 18446744073709551615 4519756 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 64173 5848 345 105 0 59677 0
[pid=24036/tid=24038] ppid=24032 vsize=256692 CPUtime=1.48 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 2698 0 0 0 148 0 0 0 25 0 4 0 521791602 262852608 5848 33554432000 4194304 4623224 140734835164080 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=256692 CPUtime=1.49 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 2549 0 0 0 149 0 0 0 20 0 4 0 521791602 262852608 5848 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=256692 CPUtime=1.48 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 7118 0 0 0 148 0 0 0 25 0 4 0 521791602 262852608 5848 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 256692

[startup+3.10078 s]
/proc/loadavg: 4.06 5.22 6.71 10/188 24045
/proc/meminfo: memFree=25323308/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=263432 CPUtime=12.36 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 28582 0 0 0 1232 4 0 0 25 0 4 0 521791602 269754368 9015 33554432000 4194304 4623224 140734835164080 18446744073709551615 4511032 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 65858 9015 352 105 0 61362 0
[pid=24036/tid=24038] ppid=24032 vsize=263432 CPUtime=3.08 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 4383 0 0 0 307 1 0 0 25 0 4 0 521791602 269754368 9015 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=263432 CPUtime=3.08 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 4071 0 0 0 308 0 0 0 25 0 4 0 521791602 269754368 9015 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=263432 CPUtime=3.07 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 17678 0 0 0 305 2 0 0 19 0 4 0 521791602 269754368 9015 33554432000 4194304 4623224 140734835164080 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 263432

[startup+6.30021 s]
/proc/loadavg: 4.37 5.27 6.72 10/188 24045
/proc/meminfo: memFree=25290076/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=268492 CPUtime=25.14 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 52067 0 0 0 2506 8 0 0 25 0 4 0 521791602 274935808 13135 33554432000 4194304 4623224 140734835164080 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 67123 13135 344 105 0 62627 0
[pid=24036/tid=24038] ppid=24032 vsize=268492 CPUtime=6.28 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 6997 0 0 0 626 2 0 0 25 0 4 0 521791602 274935808 13135 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=268492 CPUtime=6.28 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 6113 0 0 0 628 0 0 0 25 0 4 0 521791602 274935808 13135 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=268492 CPUtime=6.25 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 35449 0 0 0 621 4 0 0 25 0 4 0 521791602 274935808 13135 33554432000 4194304 4623224 140734835164080 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 268492

[startup+12.7011 s]
/proc/loadavg: 4.66 5.31 6.72 10/188 24045
/proc/meminfo: memFree=25232936/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=285444 CPUtime=50.7 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 67528 0 0 0 5059 11 0 0 25 0 4 0 521791602 292294656 19440 33554432000 4194304 4623224 140734835164080 18446744073709551615 4366443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 71361 19440 347 105 0 66865 0
[pid=24036/tid=24038] ppid=24032 vsize=285444 CPUtime=12.69 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 10033 0 0 0 1266 3 0 0 25 0 4 0 521791602 292294656 19440 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=285444 CPUtime=12.68 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 9459 0 0 0 1267 1 0 0 25 0 4 0 521791602 292294656 19440 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376749 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=285444 CPUtime=12.61 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 42911 0 0 0 1256 5 0 0 25 0 4 0 521791602 292294656 19440 33554432000 4194304 4623224 140734835164080 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 285444

[startup+25.5008 s]
/proc/loadavg: 5.40 5.44 6.74 10/188 24045
/proc/meminfo: memFree=25159152/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=296296 CPUtime=101.86 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 111619 0 0 0 10167 19 0 0 25 0 4 0 521791602 303407104 27735 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 74074 27735 434 105 0 69578 0
[pid=24036/tid=24038] ppid=24032 vsize=296296 CPUtime=25.49 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 15368 0 0 0 2544 5 0 0 25 0 4 0 521791602 303407104 27735 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=296296 CPUtime=25.49 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 14307 0 0 0 2547 2 0 0 25 0 4 0 521791602 303407104 27735 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=296296 CPUtime=25.35 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 75234 0 0 0 2526 9 0 0 25 0 4 0 521791602 303407104 27735 33554432000 4194304 4623224 140734835164080 18446744073709551615 4545379 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 296296

[startup+51.1003 s]
/proc/loadavg: 6.36 5.66 6.78 10/188 24046
/proc/meminfo: memFree=25046036/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=350060 CPUtime=204.1 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 140238 0 0 0 20382 28 0 0 25 0 4 0 521791602 358461440 43348 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 87515 43348 574 105 0 83019 0
[pid=24036/tid=24038] ppid=24032 vsize=350060 CPUtime=51.09 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 22497 0 0 0 5100 9 0 0 25 0 4 0 521791602 358461440 43348 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=350060 CPUtime=51.09 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 26115 0 0 0 5103 6 0 0 25 0 4 0 521791602 358461440 43348 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=350060 CPUtime=50.8 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 79607 0 0 0 5070 10 0 0 25 0 4 0 521791602 358461440 43348 33554432000 4194304 4623224 140734835164080 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 350060

[startup+102.301 s]
/proc/loadavg: 7.58 6.09 6.86 11/188 24047
/proc/meminfo: memFree=24870800/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=446152 CPUtime=408.63 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 224889 0 0 0 40818 45 0 0 25 0 4 0 521791602 456859648 65244 33554432000 4194304 4623224 140734835164080 18446744073709551615 4355942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 111538 65244 855 105 0 107042 0
[pid=24036/tid=24038] ppid=24032 vsize=446152 CPUtime=102.28 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 32217 0 0 0 10218 10 0 0 25 0 4 0 521791602 456859648 65244 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=446152 CPUtime=102.29 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 39726 0 0 0 10219 10 0 0 25 0 4 0 521791602 456859648 65244 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=446152 CPUtime=101.73 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 134739 0 0 0 10153 20 0 0 25 0 4 0 521791602 456859648 65244 33554432000 4194304 4623224 140734835164080 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 446152

[startup+162.301 s]

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

[pid=24036] ppid=24032 vsize=863424 CPUtime=2565.73 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1108717 0 0 0 256371 202 0 0 25 0 4 0 521791602 884146176 168730 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 215856 168730 1457 105 0 211360 0
[pid=24036/tid=24038] ppid=24032 vsize=863424 CPUtime=642.3 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 76739 0 0 0 64201 29 0 0 25 0 4 0 521791602 884146176 168730 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=863424 CPUtime=642.29 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 92737 0 0 0 64208 21 0 0 25 0 4 0 521791602 884146176 168730 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=863424 CPUtime=638.8 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 866549 0 0 0 63740 140 0 0 25 0 4 0 521791602 884146176 168730 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 863424

[startup+702.301 s]
/proc/loadavg: 8.24 7.93 7.48 10/188 24063
/proc/meminfo: memFree=23965632/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=863424 CPUtime=2805.41 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1112974 0 0 0 280334 207 0 0 25 0 4 0 521791602 884146176 172902 33554432000 4194304 4623224 140734835164080 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 215856 172902 1454 105 0 211360 0
[pid=24036/tid=24038] ppid=24032 vsize=863424 CPUtime=702.3 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 78840 0 0 0 70198 32 0 0 25 0 4 0 521791602 884146176 172902 33554432000 4194304 4623224 140734835164080 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=863424 CPUtime=702.3 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 93605 0 0 0 70208 22 0 0 25 0 4 0 521791602 884146176 172902 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=863424 CPUtime=698.47 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 867034 0 0 0 69707 140 0 0 25 0 4 0 521791602 884146176 172902 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 863424

[startup+762.301 s]
/proc/loadavg: 8.34 8.00 7.53 10/188 24065
/proc/meminfo: memFree=23912900/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=863424 CPUtime=3045.09 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1117033 0 0 0 304299 210 0 0 25 0 4 0 521791602 884146176 176630 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 215856 176630 1171 105 0 211360 0
[pid=24036/tid=24038] ppid=24032 vsize=863424 CPUtime=762.3 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 81214 0 0 0 76195 35 0 0 25 0 4 0 521791602 884146176 176630 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=863424 CPUtime=762.3 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 94419 0 0 0 76208 22 0 0 25 0 4 0 521791602 884146176 176630 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=863424 CPUtime=758.15 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 867629 0 0 0 75674 141 0 0 25 0 4 0 521791602 884146176 176630 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 863424

[startup+822.3 s]
/proc/loadavg: 8.31 8.05 7.57 10/188 24067
/proc/meminfo: memFree=23878284/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=928960 CPUtime=3284.77 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1120001 0 0 0 328264 213 0 0 25 0 4 0 521791602 951255040 179092 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 232240 179092 688 105 0 227744 0
[pid=24036/tid=24038] ppid=24032 vsize=928960 CPUtime=822.31 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 82878 0 0 0 82193 38 0 0 25 0 4 0 521791602 951255040 179092 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=928960 CPUtime=822.3 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 94653 0 0 0 82208 22 0 0 25 0 4 0 521791602 951255040 179092 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=928960 CPUtime=817.82 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 868593 0 0 0 81641 141 0 0 25 0 4 0 521791602 951255040 179092 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376803 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 928960

[startup+882.301 s]
/proc/loadavg: 8.46 8.13 7.63 10/188 24068
/proc/meminfo: memFree=23830028/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=975540 CPUtime=3524.45 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1146647 0 0 0 352225 220 0 0 25 0 4 0 521791602 998952960 184956 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 243885 184956 567 105 0 239389 0
[pid=24036/tid=24038] ppid=24032 vsize=975540 CPUtime=882.3 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 84493 0 0 0 88189 41 0 0 25 0 4 0 521791602 998952960 184956 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=975540 CPUtime=882.3 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 95751 0 0 0 88208 22 0 0 25 0 4 0 521791602 998952960 184956 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=975540 CPUtime=877.5 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 880138 0 0 0 87607 143 0 0 25 0 4 0 521791602 998952960 184956 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 975540

[startup+942.301 s]
/proc/loadavg: 8.29 8.13 7.66 10/188 24070
/proc/meminfo: memFree=23772712/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1018580 CPUtime=3764.12 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1171813 0 0 0 376185 227 0 0 25 0 4 0 521791602 1043025920 190353 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 254645 190353 435 105 0 250149 0
[pid=24036/tid=24038] ppid=24032 vsize=1018580 CPUtime=942.31 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 108346 0 0 0 94184 47 0 0 25 0 4 0 521791602 1043025920 190353 33554432000 4194304 4623224 140734835164080 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1018580 CPUtime=942.3 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 96670 0 0 0 94207 23 0 0 25 0 4 0 521791602 1043025920 190353 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1018580 CPUtime=937.17 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 880417 0 0 0 93574 143 0 0 25 0 4 0 521791602 1043025920 190353 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 1018580

[startup+1002.3 s]
/proc/loadavg: 8.56 8.22 7.72 10/188 24071
/proc/meminfo: memFree=23695060/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1071596 CPUtime=4003.82 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1181858 0 0 0 400151 231 0 0 25 0 4 0 521791602 1097314304 200390 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 267899 200390 435 105 0 263403 0
[pid=24036/tid=24038] ppid=24032 vsize=1071596 CPUtime=1002.31 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 115348 0 0 0 100182 49 0 0 25 0 4 0 521791602 1097314304 200390 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1071596 CPUtime=1002.31 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 98077 0 0 0 100206 25 0 0 25 0 4 0 521791602 1097314304 200390 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1071596 CPUtime=996.84 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 881651 0 0 0 99541 143 0 0 25 0 4 0 521791602 1097314304 200390 33554432000 4194304 4623224 140734835164080 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 1071596

[startup+1062.3 s]
/proc/loadavg: 8.39 8.22 7.75 10/188 24073
/proc/meminfo: memFree=23646304/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1073648 CPUtime=4243.48 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1184695 0 0 0 424114 234 0 0 25 0 4 0 521791602 1099415552 203214 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 268412 203214 435 105 0 263916 0
[pid=24036/tid=24038] ppid=24032 vsize=1073648 CPUtime=1062.31 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 115525 0 0 0 106182 49 0 0 25 0 4 0 521791602 1099415552 203214 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1073648 CPUtime=1062.31 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 99547 0 0 0 106204 27 0 0 25 0 4 0 521791602 1099415552 203214 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1073648 CPUtime=1056.52 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 882552 0 0 0 105508 144 0 0 25 0 4 0 521791602 1099415552 203214 33554432000 4194304 4623224 140734835164080 18446744073709551615 4577479 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 1073648

[startup+1122.31 s]
/proc/loadavg: 8.54 8.27 7.79 11/188 24075
/proc/meminfo: memFree=23597432/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1140832 CPUtime=4483.18 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1192861 0 0 0 448080 238 0 0 25 0 4 0 521791602 1168211968 211354 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 285208 211354 435 105 0 280712 0
[pid=24036/tid=24038] ppid=24032 vsize=1140832 CPUtime=1122.32 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 120710 0 0 0 112181 51 0 0 25 0 4 0 521791602 1168211968 211354 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1140832 CPUtime=1122.31 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 100761 0 0 0 112202 29 0 0 25 0 4 0 521791602 1168211968 211354 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1140832 CPUtime=1116.2 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 882994 0 0 0 111476 144 0 0 25 0 4 0 521791602 1168211968 211354 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 1140832

[startup+1182.3 s]
/proc/loadavg: 8.30 8.25 7.81 10/188 24076
/proc/meminfo: memFree=23561200/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1198656 CPUtime=4722.83 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1225178 0 0 0 472038 245 0 0 25 0 4 0 521791602 1227423744 217986 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 299664 217986 426 105 0 295168 0
[pid=24036/tid=24038] ppid=24032 vsize=1198656 CPUtime=1182.31 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 121083 0 0 0 118180 51 0 0 25 0 4 0 521791602 1227423744 217986 33554432000 4194304 4623224 140734835164080 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1198656 CPUtime=1182.31 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 131238 0 0 0 118195 36 0 0 25 0 4 0 521791602 1227423744 217986 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1198656 CPUtime=1175.87 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 883676 0 0 0 117443 144 0 0 25 0 4 0 521791602 1227423744 217986 33554432000 4194304 4623224 140734835164080 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 1198656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.28 8.25 7.82 10/188 24077
/proc/meminfo: memFree=23533904/32951124 swapFree=67111524/67111528
[pid=24036] ppid=24032 vsize=1249420 CPUtime=4800.35 cores=1,3,5,7
/proc/24036/stat : 24036 (SArTagnan) R 24032 24036 23437 0 -1 4202496 1233098 0 0 0 479787 248 0 0 25 0 4 0 521791602 1279406080 225896 33554432000 4194304 4623224 140734835164080 18446744073709551615 4510101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24036/statm: 312355 225896 426 105 0 307859 0
[pid=24036/tid=24038] ppid=24032 vsize=1249420 CPUtime=1201.72 cores=1,3,5,7
/proc/24036/task/24038/stat : 24038 (SArTagnan) R 24032 24036 23437 0 -1 4202560 121638 0 0 0 120121 51 0 0 25 0 4 0 521791602 1279406080 225896 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24036/tid=24039] ppid=24032 vsize=1249420 CPUtime=1201.72 cores=1,3,5,7
/proc/24036/task/24039/stat : 24039 (SArTagnan) R 24032 24036 23437 0 -1 4202560 137708 0 0 0 120134 38 0 0 25 0 4 0 521791602 1279406080 225896 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24036/tid=24040] ppid=24032 vsize=1249420 CPUtime=1195.16 cores=1,3,5,7
/proc/24036/task/24040/stat : 24040 (SArTagnan) R 24032 24036 23437 0 -1 4202560 884425 0 0 0 119372 144 0 0 25 0 4 0 521791602 1279406080 225896 33554432000 4194304 4623224 140734835164080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1249420

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.75
CPU time (s): 4800.42
CPU user time (s): 4797.9
CPU system time (s): 2.52062
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 1249420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.52062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1233098
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= 226
involuntary context switches= 37064

runsolver used 1.75973 second user time and 4.80627 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 20:32:14
IDJOB=3263808
IDBENCH=84021
IDSOLVER=1656
FILE ID=node132/3263808-1304101934
RUNJOBID= node132-1304101934-24019
PBS_JOBID= 13170598
Free space on /tmp= 71872 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263808-1304101934/watcher-3263808-1304101934 -o /tmp/evaluation-result-3263808-1304101934/solver-3263808-1304101934 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3263808-1304101934.cnf -threads=4

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

MD5SUM BENCH= 1d86c7f9cd05c5f2ab070520d802c8e1
RANDOM SEED=932800929

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.77
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.833
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.67
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.833
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.82
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.833
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:      25385268 kB
Buffers:        774784 kB
Cached:        6229236 kB
SwapCached:          4 kB
Active:        2083092 kB
Inactive:      4985376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25385268 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             852 kB
Writeback:          76 kB
AnonPages:       63880 kB
Mapped:          14536 kB
Slab:           435720 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71872 MiB
End job on node132 at 2011-04-29 20:52:18