Trace number 3385874

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) 4020.39 1300.07

General information on the benchmark

Namecrafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
MD5SUMcbd78921480e79d133eb06cb2172caa1
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 variables18217
Number of clauses284829
Sum of the clauses size622430
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2275099
Number of clauses of size 3620
Number of clauses of size 4984
Number of clauses of size 51120
Number of clauses of size over 57006

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 9.24 9.92 10.03 4/418 11194
/proc/meminfo: memFree=24116168/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=27708 CPUtime=0 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 988 0 0 0 0 0 0 0 25 0 1 0 669761720 28372992 865 33554432000 4194304 4625164 140734034029632 18446744073709551615 210204344528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11194/statm: 6927 879 296 106 0 2430 0

[startup+0.0347719 s]
/proc/loadavg: 9.24 9.92 10.03 4/418 11194
/proc/meminfo: memFree=24116168/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=28868 CPUtime=0.03 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 1874 0 0 0 3 0 0 0 25 0 1 0 669761720 29560832 1201 33554432000 4194304 4625164 140734034029632 18446744073709551615 210204647168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11194/statm: 7217 1201 296 106 0 2720 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28868

[startup+0.100732 s]
/proc/loadavg: 9.24 9.92 10.03 4/418 11194
/proc/meminfo: memFree=24116168/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=39248 CPUtime=0.09 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 5546 0 0 0 8 1 0 0 25 0 1 0 669761720 40189952 3250 33554432000 4194304 4625164 140734034029632 18446744073709551615 4298796 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11194/statm: 9812 3265 298 106 0 5315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39248

[startup+0.300667 s]
/proc/loadavg: 9.24 9.92 10.03 4/418 11194
/proc/meminfo: memFree=24116168/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=215272 CPUtime=0.68 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 9186 0 0 0 67 1 0 0 25 0 4 0 669761720 220438528 6890 33554432000 4194304 4625164 140734034029632 18446744073709551615 4499178 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 53818 6890 341 106 0 49321 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 215272

[startup+0.700601 s]
/proc/loadavg: 9.24 9.92 10.03 4/418 11194
/proc/meminfo: memFree=24116168/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=285652 CPUtime=1.87 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 15493 0 0 0 185 2 0 0 25 0 4 0 669761720 292507648 13197 33554432000 4194304 4625164 140734034029632 18446744073709551615 210204344789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11194/statm: 71413 13197 342 106 0 66916 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 285652

[startup+1.50047 s]
/proc/loadavg: 9.24 9.92 10.03 11/425 11201
/proc/meminfo: memFree=24021512/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=308564 CPUtime=4.26 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 28307 0 0 0 422 4 0 0 25 0 4 0 669761720 315969536 20079 33554432000 4194304 4625164 140734034029632 18446744073709551615 210204305670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11194/statm: 77141 20080 342 106 0 72644 0
[pid=11194/tid=11199] ppid=11192 vsize=308564 CPUtime=1.12 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 4254 0 0 0 112 0 0 0 19 0 4 0 669761731 315969536 20080 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=308564 CPUtime=1.33 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 4455 0 0 0 133 0 0 0 25 0 4 0 669761731 315969536 20080 33554432000 4194304 4625164 140734034029632 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=308564 CPUtime=1.36 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 4205 0 0 0 136 0 0 0 25 0 4 0 669761731 315969536 20080 33554432000 4194304 4625164 140734034029632 18446744073709551615 4328194 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 308564

[startup+3.1002 s]
/proc/loadavg: 9.30 9.92 10.03 11/425 11201
/proc/meminfo: memFree=23966704/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=324680 CPUtime=9.04 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 41953 0 0 0 898 6 0 0 25 0 4 0 669761720 332472320 26135 33554432000 4194304 4625164 140734034029632 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 81170 26135 346 106 0 76673 0
[pid=11194/tid=11199] ppid=11192 vsize=324680 CPUtime=2.15 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 6827 0 0 0 215 0 0 0 21 0 4 0 669761731 332472320 26135 33554432000 4194304 4625164 140734034029632 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=324680 CPUtime=2.02 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 6252 0 0 0 201 1 0 0 25 0 4 0 669761731 332472320 26135 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=324680 CPUtime=2.95 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 7600 0 0 0 294 1 0 0 25 0 4 0 669761731 332472320 26135 33554432000 4194304 4625164 140734034029632 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 324680

[startup+6.30066 s]
/proc/loadavg: 9.30 9.92 10.03 12/425 11201
/proc/meminfo: memFree=23945404/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=339288 CPUtime=18.59 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 51389 0 0 0 1851 8 0 0 25 0 4 0 669761720 347430912 28267 33554432000 4194304 4625164 140734034029632 18446744073709551615 4364911 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 84822 28267 346 106 0 80325 0
[pid=11194/tid=11199] ppid=11192 vsize=339288 CPUtime=3.76 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 9162 0 0 0 375 1 0 0 25 0 4 0 669761731 347430912 28267 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=339288 CPUtime=3.61 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 8495 0 0 0 360 1 0 0 25 0 4 0 669761731 347430912 28267 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=339288 CPUtime=6.1 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 9654 0 0 0 609 1 0 0 25 0 4 0 669761731 347430912 28267 33554432000 4194304 4625164 140734034029632 18446744073709551615 4334923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 339288

[startup+12.7006 s]
/proc/loadavg: 9.41 9.92 10.03 11/425 11201
/proc/meminfo: memFree=23911832/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=343872 CPUtime=37.7 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 66390 0 0 0 3760 10 0 0 25 0 4 0 669761720 352124928 30749 33554432000 4194304 4625164 140734034029632 18446744073709551615 4504449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 85968 30749 347 106 0 81471 0
[pid=11194/tid=11199] ppid=11192 vsize=343872 CPUtime=6.86 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 9339 0 0 0 685 1 0 0 25 0 4 0 669761731 352124928 30749 33554432000 4194304 4625164 140734034029632 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=343872 CPUtime=6.91 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 8835 0 0 0 690 1 0 0 25 0 4 0 669761731 352124928 30749 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=343872 CPUtime=12.42 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 24060 0 0 0 1238 4 0 0 25 0 4 0 669761731 352124928 30749 33554432000 4194304 4625164 140734034029632 18446744073709551615 4554400 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37.7
Current children cumulated vsize (KiB) 343872

[startup+25.5005 s]
/proc/loadavg: 9.50 9.92 10.02 11/425 11202
/proc/meminfo: memFree=23859780/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=358600 CPUtime=75.92 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 102028 0 0 0 7574 18 0 0 25 0 4 0 669761720 367206400 35320 33554432000 4194304 4625164 140734034029632 18446744073709551615 4356768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 89650 35320 347 106 0 85153 0
[pid=11194/tid=11199] ppid=11192 vsize=358600 CPUtime=13.44 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 13105 0 0 0 1342 2 0 0 25 0 4 0 669761731 367206400 35320 33554432000 4194304 4625164 140734034029632 18446744073709551615 4289010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=358600 CPUtime=13.13 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 9437 0 0 0 1312 1 0 0 25 0 4 0 669761731 367206400 35320 33554432000 4194304 4625164 140734034029632 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=358600 CPUtime=25.04 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 51922 0 0 0 2494 10 0 0 25 0 4 0 669761731 367206400 35320 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.92
Current children cumulated vsize (KiB) 358600

[startup+51.1012 s]
/proc/loadavg: 9.75 9.94 10.03 11/425 11202
/proc/meminfo: memFree=23751704/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=384508 CPUtime=152.97 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 214446 0 0 0 15253 44 0 0 25 0 4 0 669761720 393736192 50207 33554432000 4194304 4625164 140734034029632 18446744073709551615 4356539 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 96127 50207 347 106 0 91630 0
[pid=11194/tid=11199] ppid=11192 vsize=384508 CPUtime=31.45 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 24071 0 0 0 3137 8 0 0 19 0 4 0 669761731 393736192 50207 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=384508 CPUtime=32.41 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 16792 0 0 0 3237 4 0 0 25 0 4 0 669761731 393736192 50207 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=384508 CPUtime=39.19 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 141352 0 0 0 3894 25 0 0 25 0 4 0 669761731 393736192 50207 33554432000 4194304 4625164 140734034029632 18446744073709551615 4334743 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 152.97
Current children cumulated vsize (KiB) 384508

[startup+102.316 s]
/proc/loadavg: 10.05 9.99 10.04 11/425 11204
/proc/meminfo: memFree=23573264/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=476644 CPUtime=305.9 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 316453 0 0 0 30522 68 0 0 25 0 4 0 669761720 488083456 71543 33554432000 4194304 4625164 140734034029632 18446744073709551615 4396709 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11194/statm: 119161 71543 347 106 0 114664 0
[pid=11194/tid=11199] ppid=11192 vsize=476644 CPUtime=61.63 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 30602 0 0 0 6151 12 0 0 25 0 4 0 669761731 488083456 71543 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=476644 CPUtime=65.75 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 25178 0 0 0 6566 9 0 0 25 0 4 0 669761731 488083456 71543 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=476644 CPUtime=77.39 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 222248 0 0 0 7700 39 0 0 25 0 4 0 669761731 488083456 71543 33554432000 4194304 4625164 140734034029632 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 305.9
Current children cumulated vsize (KiB) 476644

[startup+162.301 s]
/proc/loadavg: 10.13 10.02 10.04 12/425 11205
/proc/meminfo: memFree=23367136/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=523324 CPUtime=485.03 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 485924 0 0 0 48403 100 0 0 25 0 4 0 669761720 535883776 94363 33554432000 4194304 4625164 140734034029632 18446744073709551615 4356539 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 130831 94363 347 106 0 126334 0
[pid=11194/tid=11199] ppid=11192 vsize=523324 CPUtime=100.72 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 41535 0 0 0 10056 16 0 0 25 0 4 0 669761731 535883776 94363 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=523324 CPUtime=115.99 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 31729 0 0 0 11586 13 0 0 25 0 4 0 669761731 535883776 94363 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=523324 CPUtime=113.45 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 367790 0 0 0 11284 61 0 0 25 0 4 0 669761731 535883776 94363 33554432000 4194304 4625164 140734034029632 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 485.03
Current children cumulated vsize (KiB) 523324

[startup+222.301 s]
/proc/loadavg: 10.14 10.04 10.05 12/425 11207
/proc/meminfo: memFree=23202544/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=684348 CPUtime=664.19 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 580137 0 0 0 66291 128 0 0 25 0 4 0 669761720 700772352 120441 33554432000 4194304 4625164 140734034029632 18446744073709551615 4509468 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 171087 120441 347 106 0 166590 0
[pid=11194/tid=11199] ppid=11192 vsize=684348 CPUtime=151.98 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 48965 0 0 0 15175 23 0 0 25 0 4 0 669761731 700772352 120441 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=684348 CPUtime=145.99 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 37644 0 0 0 14580 19 0 0 25 0 4 0 669761731 700772352 120441 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=684348 CPUtime=152.18 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 446834 0 0 0 15144 74 0 0 25 0 4 0 669761731 700772352 120441 33554432000 4194304 4625164 140734034029632 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 664.19
Current children cumulated vsize (KiB) 684348

[startup+282.3 s]

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

[pid=11194] ppid=11192 vsize=1116976 CPUtime=2097.14 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2138347 0 0 0 209296 418 0 0 25 0 4 0 669761720 1143783424 218528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 279244 218528 347 106 0 274747 0
[pid=11194/tid=11199] ppid=11192 vsize=1116976 CPUtime=562.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85234 0 0 0 56201 42 0 0 25 0 4 0 669761731 1143783424 218528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1116976 CPUtime=432.37 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 83321 0 0 0 43182 55 0 0 25 0 4 0 669761731 1143783424 218528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1116976 CPUtime=444.83 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 1891240 0 0 0 44180 303 0 0 25 0 4 0 669761731 1143783424 218528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2097.14
Current children cumulated vsize (KiB) 1116976

[startup+762.316 s]
/proc/loadavg: 10.07 10.09 10.07 12/425 11221
/proc/meminfo: memFree=22364336/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1169024 CPUtime=2276.36 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2191890 0 0 0 227208 428 0 0 25 0 4 0 669761720 1197080576 229929 33554432000 4194304 4625164 140734034029632 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 292256 229929 348 106 0 287759 0
[pid=11194/tid=11199] ppid=11192 vsize=1169024 CPUtime=622.44 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85461 0 0 0 62202 42 0 0 25 0 4 0 669761731 1197080576 229929 33554432000 4194304 4625164 140734034029632 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1169024 CPUtime=462.28 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 83431 0 0 0 46173 55 0 0 25 0 4 0 669761731 1197080576 229929 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1169024 CPUtime=474.93 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 1944058 0 0 0 47180 313 0 0 25 0 4 0 669761731 1197080576 229929 33554432000 4194304 4625164 140734034029632 18446744073709551615 4579418 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2276.36
Current children cumulated vsize (KiB) 1169024

[startup+822.301 s]
/proc/loadavg: 10.10 10.10 10.08 12/425 11223
/proc/meminfo: memFree=22313828/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1175628 CPUtime=2455.51 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2224097 0 0 0 245117 434 0 0 25 0 4 0 669761720 1203843072 234076 33554432000 4194304 4625164 140734034029632 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 293907 234076 348 106 0 289410 0
[pid=11194/tid=11199] ppid=11192 vsize=1175628 CPUtime=682.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85615 0 0 0 68201 42 0 0 25 0 4 0 669761731 1203843072 234076 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1175628 CPUtime=492.28 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85107 0 0 0 49171 57 0 0 25 0 4 0 669761731 1203843072 234076 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1175628 CPUtime=504.93 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 1974099 0 0 0 50176 317 0 0 25 0 4 0 669761731 1203843072 234076 33554432000 4194304 4625164 140734034029632 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2455.51
Current children cumulated vsize (KiB) 1175628

[startup+882.301 s]
/proc/loadavg: 10.18 10.13 10.09 12/425 11224
/proc/meminfo: memFree=22268260/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1175628 CPUtime=2634.69 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2342328 0 0 0 263014 455 0 0 25 0 4 0 669761720 1203843072 236528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 293907 236528 348 106 0 289410 0
[pid=11194/tid=11199] ppid=11192 vsize=1175628 CPUtime=742.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85907 0 0 0 74201 42 0 0 25 0 4 0 669761731 1203843072 236528 33554432000 4194304 4625164 140734034029632 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1175628 CPUtime=522.03 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 85409 0 0 0 52146 57 0 0 25 0 4 0 669761731 1203843072 236529 33554432000 4194304 4625164 140734034029632 18446744073709551615 4352562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1175628 CPUtime=535.16 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2091265 0 0 0 53179 337 0 0 25 0 4 0 669761731 1203843072 236529 33554432000 4194304 4625164 140734034029632 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2634.69
Current children cumulated vsize (KiB) 1175628

[startup+942.301 s]
/proc/loadavg: 10.10 10.11 10.09 11/425 11226
/proc/meminfo: memFree=22210940/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1229196 CPUtime=2813.88 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2452731 0 0 0 280916 472 0 0 25 0 4 0 669761720 1258696704 241177 33554432000 4194304 4625164 140734034029632 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 307299 241177 348 106 0 302802 0
[pid=11194/tid=11199] ppid=11192 vsize=1229196 CPUtime=802.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 100458 0 0 0 80199 44 0 0 25 0 4 0 669761731 1258696704 241177 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1229196 CPUtime=552.13 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 95652 0 0 0 55155 58 0 0 25 0 4 0 669761731 1258696704 241177 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1229196 CPUtime=565.07 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2176121 0 0 0 56156 351 0 0 25 0 4 0 669761731 1258696704 241177 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2813.88
Current children cumulated vsize (KiB) 1229196

[startup+1002.3 s]
/proc/loadavg: 10.15 10.12 10.09 11/425 11228
/proc/meminfo: memFree=22169992/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1229196 CPUtime=2993.06 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2593768 0 0 0 298811 495 0 0 25 0 4 0 669761720 1258696704 244782 33554432000 4194304 4625164 140734034029632 18446744073709551615 4521582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 307299 244782 348 106 0 302802 0
[pid=11194/tid=11199] ppid=11192 vsize=1229196 CPUtime=862.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 100553 0 0 0 86199 44 0 0 25 0 4 0 669761731 1258696704 244782 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1229196 CPUtime=582.13 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 96524 0 0 0 58154 59 0 0 25 0 4 0 669761731 1258696704 244782 33554432000 4194304 4625164 140734034029632 18446744073709551615 4317135 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1229196 CPUtime=595.07 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2315854 0 0 0 59134 373 0 0 25 0 4 0 669761731 1258696704 244782 33554432000 4194304 4625164 140734034029632 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2993.06
Current children cumulated vsize (KiB) 1229196

[startup+1062.3 s]
/proc/loadavg: 10.12 10.11 10.09 11/425 11229
/proc/meminfo: memFree=22131752/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1229196 CPUtime=3191.95 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 2883956 0 0 0 318651 544 0 0 25 0 4 0 669761720 1258696704 247657 33554432000 4194304 4625164 140734034029632 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 307299 247657 348 106 0 302802 0
[pid=11194/tid=11199] ppid=11192 vsize=1229196 CPUtime=922.43 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 100709 0 0 0 92199 44 0 0 25 0 4 0 669761731 1258696704 247657 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1229196 CPUtime=612.02 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 97269 0 0 0 61143 59 0 0 25 0 4 0 669761731 1258696704 247657 33554432000 4194304 4625164 140734034029632 18446744073709551615 4345240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1229196 CPUtime=649.48 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2604578 0 0 0 64526 422 0 0 25 0 4 0 669761731 1258696704 247657 33554432000 4194304 4625164 140734034029632 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3191.95
Current children cumulated vsize (KiB) 1229196

[startup+1122.3 s]
/proc/loadavg: 10.18 10.12 10.09 11/425 11231
/proc/meminfo: memFree=22090792/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1256936 CPUtime=3400.8 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 3084973 0 0 0 339503 577 0 0 25 0 4 0 669761720 1287102464 251802 33554432000 4194304 4625164 140734034029632 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 314234 251802 348 106 0 309737 0
[pid=11194/tid=11199] ppid=11192 vsize=1256936 CPUtime=982.44 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 100855 0 0 0 98199 45 0 0 25 0 4 0 669761731 1287102464 251802 33554432000 4194304 4625164 140734034029632 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1256936 CPUtime=641.72 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 99240 0 0 0 64110 62 0 0 25 0 4 0 669761731 1287102464 251802 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1256936 CPUtime=709.46 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2788740 0 0 0 70497 449 0 0 25 0 4 0 669761731 1287102464 251802 33554432000 4194304 4625164 140734034029632 18446744073709551615 4552399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3400.8
Current children cumulated vsize (KiB) 1256936

[startup+1182.3 s]
/proc/loadavg: 10.14 10.11 10.09 11/425 11232
/proc/meminfo: memFree=22034204/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1322472 CPUtime=3609.98 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 3181997 0 0 0 360403 595 0 0 25 0 4 0 669761720 1354211328 258329 33554432000 4194304 4625164 140734034029632 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 330618 258329 348 106 0 326121 0
[pid=11194/tid=11199] ppid=11192 vsize=1322472 CPUtime=1042.44 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 101013 0 0 0 104199 45 0 0 25 0 4 0 669761731 1354211328 258329 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1322472 CPUtime=671.71 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 102314 0 0 0 67106 65 0 0 25 0 4 0 669761731 1354211328 258329 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1322472 CPUtime=769.45 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 2881749 0 0 0 76481 464 0 0 25 0 4 0 669761731 1354211328 258329 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3609.98
Current children cumulated vsize (KiB) 1322472

[startup+1242.3 s]
/proc/loadavg: 10.11 10.11 10.09 12/425 11234
/proc/meminfo: memFree=22010000/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1322472 CPUtime=3819.1 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 3362350 0 0 0 381283 627 0 0 25 0 4 0 669761720 1354211328 258095 33554432000 4194304 4625164 140734034029632 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 330618 258095 348 106 0 326121 0
[pid=11194/tid=11199] ppid=11192 vsize=1322472 CPUtime=1102.44 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 101155 0 0 0 110199 45 0 0 25 0 4 0 669761731 1354211328 258095 33554432000 4194304 4625164 140734034029632 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1322472 CPUtime=701.66 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 102498 0 0 0 70101 65 0 0 25 0 4 0 669761731 1354211328 258095 33554432000 4194304 4625164 140734034029632 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1322472 CPUtime=829.44 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 3061342 0 0 0 82450 494 0 0 25 0 4 0 669761731 1354211328 258095 33554432000 4194304 4625164 140734034029632 18446744073709551615 4334439 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3819.1
Current children cumulated vsize (KiB) 1322472



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.17 10.12 10.09 8/424 11237
/proc/meminfo: memFree=22840112/32951124 swapFree=63649240/67111528
[pid=11194] ppid=11192 vsize=1333296 CPUtime=4020.29 cores=0,2,4,6
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10575 0 -1 4202496 3728327 0 0 0 401344 685 0 0 25 0 4 0 669761720 1365295104 263006 33554432000 4194304 4625164 140734034029632 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11194/statm: 333324 263007 348 106 0 328827 0
[pid=11194/tid=11199] ppid=11192 vsize=1333296 CPUtime=1160.15 cores=0,2,4,6
/proc/11194/task/11199/stat : 11199 (SArTagnan) R 11192 11194 10575 0 -1 4202560 101283 0 0 0 115970 45 0 0 25 0 4 0 669761731 1365295104 263064 33554432000 4194304 4625164 140734034029632 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11194/tid=11200] ppid=11192 vsize=1333296 CPUtime=730.55 cores=0,2,4,6
/proc/11194/task/11200/stat : 11200 (SArTagnan) R 11192 11194 10575 0 -1 4202560 105745 0 0 0 72988 67 0 0 25 0 4 0 669761731 1365295104 263064 33554432000 4194304 4625164 140734034029632 18446744073709551615 210204308165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11194/tid=11201] ppid=11192 vsize=1333296 CPUtime=887.14 cores=0,2,4,6
/proc/11194/task/11201/stat : 11201 (SArTagnan) R 11192 11194 10575 0 -1 4202560 3423481 0 0 0 88162 552 0 0 25 0 4 0 669761731 1365295104 263064 33554432000 4194304 4625164 140734034029632 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4020.29
Current children cumulated vsize (KiB) 1333296

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): 1300.07
CPU time (s): 4020.39
CPU user time (s): 4013.49
CPU system time (s): 6.90595
CPU usage (%): 309.244
Max. virtual memory (cumulated for all children) (KiB): 1333296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4013.49
system time used= 6.90595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3728391
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= 4718
involuntary context switches= 32524

runsolver used 4.67929 second user time and 13.083 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-16 23:33:52
IDJOB=3385874
IDBENCH=83244
IDSOLVER=1871
FILE ID=node130/3385874-1305581632
RUNJOBID= node130-1305581631-11114
PBS_JOBID= 13350203
Free space on /tmp= 73352 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385874-1305581632/watcher-3385874-1305581632 -o /tmp/evaluation-result-3385874-1305581632/solver-3385874-1305581632 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385874-1305581632.cnf -threads=4

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

MD5SUM BENCH= cbd78921480e79d133eb06cb2172caa1
RANDOM SEED=321772274

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24116572 kB
Buffers:        310640 kB
Cached:        4337488 kB
SwapCached:      10240 kB
Active:        4512732 kB
Inactive:      4019228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24116572 kB
SwapTotal:    67111528 kB
SwapFree:     63649240 kB
Dirty:            7516 kB
Writeback:           0 kB
AnonPages:     3880996 kB
Mapped:          23560 kB
Slab:           190692 kB
PageTables:      44892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110476172 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= 73352 MiB
End job on node130 at 2011-05-16 23:55:34