Trace number 3385867

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-05-15 (fixed)? (TO) 4800.39 1201.76

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
MD5SUMb61e426b264831836f140414cdcf3e23
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 variables238
Number of clauses15812
Sum of the clauses size70446
Maximum clause length16
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 314042
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51770

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: 977)

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-3385867-1307649473/watcher-3385867-1307649473 -o /tmp/evaluation-result-3385867-1307649473/solver-3385867-1307649473 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385867-1307649473.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: 1.85 1.97 1.99 3/175 30334
/proc/meminfo: memFree=32245344/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=18872 CPUtime=0 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 437 0 1 0 0 0 0 0 22 0 1 0 955177995 19324928 376 33554432000 4194304 4625164 140735795950400 18446744073709551615 260905090827 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30332/statm: 4718 376 295 106 0 221 0

[startup+0.0113149 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 30334
/proc/meminfo: memFree=32245344/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=20320 CPUtime=0 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 903 0 1 0 0 0 0 0 22 0 1 0 955177995 20807680 707 33554432000 4194304 4625164 140735795950400 18446744073709551615 260905091280 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30332/statm: 5080 724 296 106 0 583 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20320

[startup+0.100302 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 30334
/proc/meminfo: memFree=32245344/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=252844 CPUtime=0.33 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 3127 0 1 0 33 0 0 0 23 0 4 0 955177995 258912256 2061 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 63211 2061 336 106 0 58714 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 252844

[startup+0.300265 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 30334
/proc/meminfo: memFree=32245344/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=253588 CPUtime=1.13 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 5070 0 1 0 113 0 0 0 24 0 4 0 955177995 259674112 2630 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 63397 2630 336 106 0 58900 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 253588

[startup+0.700193 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 30334
/proc/meminfo: memFree=32245344/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=255272 CPUtime=2.73 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 9371 0 1 0 273 0 0 0 25 0 4 0 955177995 261398528 3736 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 63818 3754 340 106 0 59321 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 255272

[startup+1.50105 s]
/proc/loadavg: 1.85 1.97 1.99 9/184 30342
/proc/meminfo: memFree=32203308/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=256820 CPUtime=5.93 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 16831 0 1 0 592 1 0 0 25 0 4 0 955177995 262983680 5790 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511899 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 64205 5790 341 106 0 59708 0
[pid=30332/tid=30337] ppid=30329 vsize=256820 CPUtime=1.47 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 2545 0 0 0 147 0 0 0 25 0 4 0 955177997 262983680 5790 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=256820 CPUtime=1.47 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 2326 0 0 0 147 0 0 0 25 0 4 0 955177997 262983680 5790 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=256820 CPUtime=1.47 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 9351 0 0 0 147 0 0 0 25 0 4 0 955177997 262983680 5790 33554432000 4194304 4625164 140735795950400 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 256820

[startup+3.10076 s]
/proc/loadavg: 1.85 1.97 1.99 10/184 30342
/proc/meminfo: memFree=32183836/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=264804 CPUtime=12.32 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 30950 0 1 0 1229 3 0 0 25 0 4 0 955177995 271159296 9618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4396540 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 66201 9618 341 106 0 61704 0
[pid=30332/tid=30337] ppid=30329 vsize=264804 CPUtime=3.07 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 5227 0 0 0 307 0 0 0 25 0 4 0 955177997 271159296 9618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=264804 CPUtime=3.06 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 4020 0 0 0 306 0 0 0 25 0 4 0 955177997 271159296 9618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=264804 CPUtime=3.07 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 18693 0 0 0 306 1 0 0 25 0 4 0 955177997 271159296 9619 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 264804

[startup+6.30117 s]
/proc/loadavg: 2.34 2.07 2.02 9/184 30342
/proc/meminfo: memFree=32136848/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=271924 CPUtime=25.1 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 53750 0 1 0 2503 7 0 0 25 0 4 0 955177995 278450176 14802 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 67981 14802 352 106 0 63484 0
[pid=30332/tid=30337] ppid=30329 vsize=271924 CPUtime=6.27 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 8134 0 0 0 626 1 0 0 25 0 4 0 955177997 278450176 14802 33554432000 4194304 4625164 140735795950400 18446744073709551615 4462312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=271924 CPUtime=6.24 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 5970 0 0 0 624 0 0 0 25 0 4 0 955177997 278450176 14802 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=271924 CPUtime=6.27 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 35739 0 0 0 623 4 0 0 25 0 4 0 955177997 278450176 14802 33554432000 4194304 4625164 140735795950400 18446744073709551615 4552402 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 271924

[startup+12.701 s]
/proc/loadavg: 2.79 2.16 2.05 10/184 30342
/proc/meminfo: memFree=32067948/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=286212 CPUtime=50.67 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 89692 0 1 0 5054 13 0 0 25 0 4 0 955177995 293081088 22207 33554432000 4194304 4625164 140735795950400 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 71553 22207 353 106 0 67056 0
[pid=30332/tid=30337] ppid=30329 vsize=286212 CPUtime=12.67 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 12118 0 0 0 1265 2 0 0 25 0 4 0 955177997 293081088 22207 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=286212 CPUtime=12.61 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 9483 0 0 0 1260 1 0 0 25 0 4 0 955177997 293081088 22207 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351860 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=286212 CPUtime=12.67 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 62745 0 0 0 1259 8 0 0 25 0 4 0 955177997 293081088 22207 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 286212

[startup+25.5007 s]
/proc/loadavg: 3.94 2.45 2.15 10/184 30343
/proc/meminfo: memFree=31968620/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=292428 CPUtime=101.8 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 138879 0 1 0 10158 22 0 0 25 0 4 0 955177995 299446272 31599 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 73107 31599 342 106 0 68610 0
[pid=30332/tid=30337] ppid=30329 vsize=292428 CPUtime=25.47 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 17699 0 0 0 2544 3 0 0 25 0 4 0 955177997 299446272 31599 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=292428 CPUtime=25.33 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 13834 0 0 0 2530 3 0 0 25 0 4 0 955177997 299446272 31599 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=292428 CPUtime=25.47 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 99784 0 0 0 2534 13 0 0 25 0 4 0 955177997 299446272 31599 33554432000 4194304 4625164 140735795950400 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 292428

[startup+51.101 s]
/proc/loadavg: 5.49 2.93 2.31 10/184 30344
/proc/meminfo: memFree=31810336/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=341900 CPUtime=204.06 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 204302 0 1 0 20370 36 0 0 25 0 4 0 955177995 350105600 52068 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 85475 52068 907 106 0 80978 0
[pid=30332/tid=30337] ppid=30329 vsize=341900 CPUtime=51.07 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 27234 0 0 0 5102 5 0 0 25 0 4 0 955177997 350105600 52068 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=341900 CPUtime=50.8 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 21220 0 0 0 5073 7 0 0 25 0 4 0 955177997 350105600 52068 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=341900 CPUtime=51.07 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 142889 0 0 0 5086 21 0 0 25 0 4 0 955177997 350105600 52068 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339559 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 341900

[startup+102.308 s]
/proc/loadavg: 6.91 3.71 2.61 10/184 30345
/proc/meminfo: memFree=31610168/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=411636 CPUtime=408.61 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 364024 0 1 0 40795 66 0 0 25 0 4 0 955177995 421515264 72446 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 102909 72446 885 106 0 98412 0
[pid=30332/tid=30337] ppid=30329 vsize=411636 CPUtime=102.28 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 37611 0 0 0 10220 8 0 0 25 0 4 0 955177997 421515264 72446 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=411636 CPUtime=101.72 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 29401 0 0 0 10162 10 0 0 25 0 4 0 955177997 421515264 72446 33554432000 4194304 4625164 140735795950400 18446744073709551615 4288528 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=411636 CPUtime=102.28 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 274190 0 0 0 10184 44 0 0 25 0 4 0 955177997 421515264 72446 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 411636

[startup+162.301 s]
/proc/loadavg: 7.82 4.55 2.96 10/184 30346
/proc/meminfo: memFree=31401080/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=680744 CPUtime=648.26 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 545232 0 1 0 64728 98 0 0 25 0 4 0 955177995 697081856 100561 33554432000 4194304 4625164 140735795950400 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 170186 100561 1649 106 0 165689 0
[pid=30332/tid=30337] ppid=30329 vsize=680744 CPUtime=162.27 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 43346 0 0 0 16217 10 0 0 25 0 4 0 955177997 697081856 100561 33554432000 4194304 4625164 140735795950400 18446744073709551615 4465778 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=680744 CPUtime=161.39 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 33927 0 0 0 16127 12 0 0 25 0 4 0 955177997 697081856 100561 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=680744 CPUtime=162.28 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 432589 0 0 0 16157 71 0 0 25 0 4 0 955177997 697081856 100561 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 680744

[startup+222.301 s]
/proc/loadavg: 8.08 5.21 3.29 10/184 30357
/proc/meminfo: memFree=31198544/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=718372 CPUtime=887.92 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1044381 0 1 0 88609 183 0 0 25 0 4 0 955177995 735612928 113972 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 179593 113972 1154 106 0 175096 0
[pid=30332/tid=30337] ppid=30329 vsize=718372 CPUtime=222.26 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 59972 0 0 0 22211 15 0 0 25 0 4 0 955177997 735612928 113972 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=718372 CPUtime=221.06 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 42729 0 0 0 22093 13 0 0 25 0 4 0 955177997 735612928 113972 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=718372 CPUtime=222.28 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 902959 0 0 0 22080 148 0 0 25 0 4 0 955177997 735612928 113972 33554432000 4194304 4625164 140735795950400 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 718372

[startup+282.301 s]

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

[pid=30332] ppid=30329 vsize=1115324 CPUtime=2805.36 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1609580 0 1 0 280221 315 0 0 25 0 4 0 955177995 1142091776 202898 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 278831 202898 546 106 0 274334 0
[pid=30332/tid=30337] ppid=30329 vsize=1115324 CPUtime=702.27 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 136788 0 0 0 70177 50 0 0 25 0 4 0 955177997 1142091776 202898 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1115324 CPUtime=698.46 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 76422 0 0 0 69811 35 0 0 25 0 4 0 955177997 1142091776 202898 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1115324 CPUtime=702.29 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1302521 0 0 0 70015 214 0 0 25 0 4 0 955177997 1142091776 202898 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 1115324

[startup+762.307 s]
/proc/loadavg: 8.00 7.57 5.39 10/184 30371
/proc/meminfo: memFree=30321376/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1150128 CPUtime=3045.07 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1633488 0 1 0 304184 323 0 0 25 0 4 0 955177995 1177731072 209971 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 287532 209971 529 106 0 283035 0
[pid=30332/tid=30337] ppid=30329 vsize=1150128 CPUtime=762.29 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 139317 0 0 0 76176 53 0 0 25 0 4 0 955177997 1177731072 209971 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1150128 CPUtime=758.14 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 96750 0 0 0 75774 40 0 0 25 0 4 0 955177997 1177731072 209971 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1150128 CPUtime=762.29 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1302543 0 0 0 76015 214 0 0 25 0 4 0 955177997 1177731072 209971 33554432000 4194304 4625164 140735795950400 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 1150128

[startup+822.301 s]
/proc/loadavg: 8.00 7.64 5.53 10/184 30373
/proc/meminfo: memFree=30281868/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1150128 CPUtime=3284.73 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1638315 0 1 0 328144 329 0 0 25 0 4 0 955177995 1177731072 214578 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 287532 214578 512 106 0 283035 0
[pid=30332/tid=30337] ppid=30329 vsize=1150128 CPUtime=822.27 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 140999 0 0 0 82172 55 0 0 25 0 4 0 955177997 1177731072 214578 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1150128 CPUtime=817.82 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 98204 0 0 0 81739 43 0 0 25 0 4 0 955177997 1177731072 214578 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1150128 CPUtime=822.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1302563 0 0 0 82015 215 0 0 25 0 4 0 955177997 1177731072 214578 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 1150128

[startup+882.301 s]
/proc/loadavg: 8.07 7.73 5.70 10/184 30375
/proc/meminfo: memFree=30193288/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1198144 CPUtime=3524.4 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1672396 0 1 0 352101 339 0 0 25 0 4 0 955177995 1226899456 227491 33554432000 4194304 4625164 140735795950400 18446744073709551615 4519337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 299536 227491 391 106 0 295039 0
[pid=30332/tid=30337] ppid=30329 vsize=1198144 CPUtime=882.28 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 145551 0 0 0 88170 58 0 0 25 0 4 0 955177997 1226899456 227491 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1198144 CPUtime=877.49 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 101272 0 0 0 87703 46 0 0 25 0 4 0 955177997 1226899456 227491 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1198144 CPUtime=882.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1303757 0 0 0 88015 215 0 0 25 0 4 0 955177997 1226899456 227491 33554432000 4194304 4625164 140735795950400 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 1198144

[startup+942.301 s]
/proc/loadavg: 8.25 7.84 5.86 10/184 30376
/proc/meminfo: memFree=30090684/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1333712 CPUtime=3764.09 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1682637 0 1 0 376061 348 0 0 25 0 4 0 955177995 1365721088 237688 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 333428 237688 391 106 0 328931 0
[pid=30332/tid=30337] ppid=30329 vsize=1333712 CPUtime=942.28 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 147838 0 0 0 94165 63 0 0 25 0 4 0 955177997 1365721088 237688 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1333712 CPUtime=937.16 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 103493 0 0 0 93667 49 0 0 25 0 4 0 955177997 1365721088 237688 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1333712 CPUtime=942.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1304926 0 0 0 94015 215 0 0 25 0 4 0 955177997 1365721088 237688 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 1333712

[startup+1002.3 s]
/proc/loadavg: 8.24 7.90 6.00 10/184 30378
/proc/meminfo: memFree=30039176/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1333712 CPUtime=4003.77 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1687632 0 1 0 400023 354 0 0 25 0 4 0 955177995 1365721088 242618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 333428 242618 391 106 0 328931 0
[pid=30332/tid=30337] ppid=30329 vsize=1333712 CPUtime=1002.28 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 149913 0 0 0 100163 65 0 0 25 0 4 0 955177997 1365721088 242618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1333712 CPUtime=996.83 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 105233 0 0 0 99631 52 0 0 25 0 4 0 955177997 1365721088 242618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1333712 CPUtime=1002.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1305120 0 0 0 100015 215 0 0 25 0 4 0 955177997 1365721088 242618 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 1333712

[startup+1062.3 s]
/proc/loadavg: 8.22 7.95 6.13 10/184 30379
/proc/meminfo: memFree=29966852/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1335488 CPUtime=4243.45 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1692790 0 1 0 423984 361 0 0 25 0 4 0 955177995 1367539712 247706 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 333872 247706 391 106 0 329375 0
[pid=30332/tid=30337] ppid=30329 vsize=1335488 CPUtime=1062.29 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 151927 0 0 0 106159 70 0 0 25 0 4 0 955177997 1367539712 247706 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1335488 CPUtime=1056.51 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 106865 0 0 0 105597 54 0 0 25 0 4 0 955177997 1367539712 247706 33554432000 4194304 4625164 140735795950400 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1335488 CPUtime=1062.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1305723 0 0 0 106014 216 0 0 25 0 4 0 955177997 1367539712 247706 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 1335488

[startup+1122.3 s]
/proc/loadavg: 8.28 8.00 6.26 10/184 30381
/proc/meminfo: memFree=29907508/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1340888 CPUtime=4483.12 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1701524 0 1 0 447946 366 0 0 25 0 4 0 955177995 1373069312 256353 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 335222 256353 391 106 0 330725 0
[pid=30332/tid=30337] ppid=30329 vsize=1340888 CPUtime=1122.29 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 154070 0 0 0 112157 72 0 0 25 0 4 0 955177997 1373069312 256353 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1340888 CPUtime=1116.18 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 110103 0 0 0 111562 56 0 0 25 0 4 0 955177997 1373069312 256353 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1340888 CPUtime=1122.3 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1307577 0 0 0 112014 216 0 0 25 0 4 0 955177997 1373069312 256353 33554432000 4194304 4625164 140735795950400 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 1340888

[startup+1182.3 s]
/proc/loadavg: 8.24 8.03 6.38 10/184 30383
/proc/meminfo: memFree=29846572/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1346632 CPUtime=4722.81 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1709766 0 1 0 471907 374 0 0 25 0 4 0 955177995 1378951168 264503 33554432000 4194304 4625164 140735795950400 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 336658 264503 391 106 0 332161 0
[pid=30332/tid=30337] ppid=30329 vsize=1346632 CPUtime=1182.28 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 156270 0 0 0 118154 74 0 0 25 0 4 0 955177997 1378951168 264503 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1346632 CPUtime=1175.87 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 112767 0 0 0 117526 61 0 0 25 0 4 0 955177997 1378951168 264503 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1346632 CPUtime=1182.31 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1309575 0 0 0 118014 217 0 0 25 0 4 0 955177997 1378951168 264503 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 1346632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.03 6.41 10/184 30383
/proc/meminfo: memFree=29829688/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1381644 CPUtime=4800.32 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1728063 0 1 0 479654 378 0 0 25 0 4 0 955177995 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 345411 266427 391 106 0 340914 0
[pid=30332/tid=30337] ppid=30329 vsize=1381644 CPUtime=1201.7 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 157050 0 0 0 120094 76 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1381644 CPUtime=1195.16 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 113017 0 0 0 119455 61 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1381644 CPUtime=1201.71 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1309999 0 0 0 119954 217 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1381644

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

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

[startup+1201.7 s]
/proc/loadavg: 8.17 8.03 6.41 10/184 30383
/proc/meminfo: memFree=29829688/32950928 swapFree=67051812/67111528
[pid=30332] ppid=30329 vsize=1381644 CPUtime=4800.32 cores=1,3,5,7
/proc/30332/stat : 30332 (SArTagnan) R 30329 30332 28735 0 -1 4202496 1728063 0 1 0 479654 378 0 0 25 0 4 0 955177995 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30332/statm: 345411 266427 391 106 0 340914 0
[pid=30332/tid=30337] ppid=30329 vsize=1381644 CPUtime=1201.7 cores=1,3,5,7
/proc/30332/task/30337/stat : 30337 (SArTagnan) R 30329 30332 28735 0 -1 4202560 157050 0 0 0 120094 76 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30332/tid=30338] ppid=30329 vsize=1381644 CPUtime=1195.16 cores=1,3,5,7
/proc/30332/task/30338/stat : 30338 (SArTagnan) R 30329 30332 28735 0 -1 4202560 113017 0 0 0 119455 61 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30332/tid=30339] ppid=30329 vsize=1381644 CPUtime=1201.71 cores=1,3,5,7
/proc/30332/task/30339/stat : 30339 (SArTagnan) R 30329 30332 28735 0 -1 4202560 1309999 0 0 0 119954 217 0 0 25 0 4 0 955177997 1414803456 266427 33554432000 4194304 4625164 140735795950400 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1381644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.39
CPU user time (s): 4796.56
CPU system time (s): 3.83142
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 1381644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.56
system time used= 3.83142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1728063
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 43678

runsolver used 1.83572 second user time and 4.72228 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-09 21:57:53
IDJOB=3385867
IDBENCH=83365
IDSOLVER=1871
FILE ID=node116/3385867-1307649473
RUNJOBID= node116-1307649473-30308
PBS_JOBID= 13549375
Free space on /tmp= 74192 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385867-1307649473/watcher-3385867-1307649473 -o /tmp/evaluation-result-3385867-1307649473/solver-3385867-1307649473 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385867-1307649473.cnf -threads=4

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

MD5SUM BENCH= b61e426b264831836f140414cdcf3e23
RANDOM SEED=2017572817

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32246564 kB
Buffers:        221080 kB
Cached:         286240 kB
SwapCached:      13040 kB
Active:         304444 kB
Inactive:       222616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32246564 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:            2148 kB
Writeback:           0 kB
AnonPages:       16976 kB
Mapped:           8828 kB
Slab:           113004 kB
PageTables:       5600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189352 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= 74192 MiB
End job on node116 at 2011-06-09 22:17:57