Trace number 3259364

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.24 1201.77

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
MD5SUM601a386973128161e9173e2bdf583672
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.58791
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3259364-1304058649/watcher-3259364-1304058649 -o /tmp/evaluation-result-3259364-1304058649/solver-3259364-1304058649 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3259364-1304058649.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: 2.35 3.27 3.47 2/176 29976
/proc/meminfo: memFree=31052356/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=20540 CPUtime=0 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 608 0 0 0 0 0 0 0 23 0 1 0 517462817 21032960 486 33554432000 4194304 4623224 140736310409824 18446744073709551615 271550234832 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29976/statm: 5135 499 297 105 0 639 0

[startup+0.0986829 s]
/proc/loadavg: 2.35 3.27 3.47 2/176 29976
/proc/meminfo: memFree=31052356/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=253768 CPUtime=0.33 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3213 0 0 0 33 0 0 0 24 0 4 0 517462817 259858432 2618 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 63442 2618 343 105 0 58946 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 253768

[startup+0.100679 s]
/proc/loadavg: 2.35 3.27 3.47 2/176 29976
/proc/meminfo: memFree=31052356/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=253768 CPUtime=0.34 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3218 0 0 0 34 0 0 0 24 0 4 0 517462817 259858432 2623 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510172 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 63442 2623 343 105 0 58946 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 253768

[startup+0.300616 s]
/proc/loadavg: 2.35 3.27 3.47 2/176 29976
/proc/meminfo: memFree=31052356/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=257796 CPUtime=1.13 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4953 0 0 0 113 0 0 0 25 0 4 0 517462817 263983104 4025 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 64449 4025 344 105 0 59953 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 257796

[startup+0.700543 s]
/proc/loadavg: 2.35 3.27 3.47 2/176 29976
/proc/meminfo: memFree=31052356/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=261348 CPUtime=2.73 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 7753 0 0 0 273 0 0 0 25 0 4 0 517462817 267620352 5444 33554432000 4194304 4623224 140736310409824 18446744073709551615 4355908 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 65337 5444 344 105 0 60841 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 261348

[startup+1.5004 s]
/proc/loadavg: 2.80 3.35 3.49 9/188 29989
/proc/meminfo: memFree=30983228/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=267284 CPUtime=5.93 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 12877 0 0 0 592 1 0 0 25 0 4 0 517462817 273698816 7811 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 66821 7811 344 105 0 62325 0
[pid=29976/tid=29983] ppid=29974 vsize=267284 CPUtime=1.47 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 2617 0 0 0 147 0 0 0 25 0 4 0 517462819 273698816 7811 33554432000 4194304 4623224 140736310409824 18446744073709551615 4461243 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=267284 CPUtime=1.47 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 2828 0 0 0 147 0 0 0 25 0 4 0 517462819 273698816 7811 33554432000 4194304 4623224 140736310409824 18446744073709551615 4289794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=267284 CPUtime=1.47 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3530 0 0 0 147 0 0 0 25 0 4 0 517462819 273698816 7811 33554432000 4194304 4623224 140736310409824 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 267284

[startup+3.10111 s]
/proc/loadavg: 2.80 3.35 3.49 9/188 29989
/proc/meminfo: memFree=30950244/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=274020 CPUtime=12.33 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 28283 0 0 0 1229 4 0 0 25 0 4 0 517462817 280596480 11541 33554432000 4194304 4623224 140736310409824 18446744073709551615 4519643 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 68505 11541 344 105 0 64009 0
[pid=29976/tid=29983] ppid=29974 vsize=274020 CPUtime=3.07 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 4420 0 0 0 307 0 0 0 25 0 4 0 517462819 280596480 11541 33554432000 4194304 4623224 140736310409824 18446744073709551615 271550193540 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=274020 CPUtime=3.07 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 4846 0 0 0 306 1 0 0 25 0 4 0 517462819 280596480 11541 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=274020 CPUtime=3.06 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 14843 0 0 0 305 1 0 0 25 0 4 0 517462819 280596480 11541 33554432000 4194304 4623224 140736310409824 18446744073709551615 271550204890 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 274020

[startup+6.30053 s]
/proc/loadavg: 3.22 3.43 3.51 9/188 29989
/proc/meminfo: memFree=30884300/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=282124 CPUtime=25.1 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 65887 0 0 0 2501 9 0 0 25 0 4 0 517462817 288894976 16851 33554432000 4194304 4623224 140736310409824 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 70531 16851 344 105 0 66035 0
[pid=29976/tid=29983] ppid=29974 vsize=282124 CPUtime=6.27 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 6425 0 0 0 626 1 0 0 25 0 4 0 517462819 288894976 16851 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=282124 CPUtime=6.27 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 7687 0 0 0 625 2 0 0 25 0 4 0 517462819 288894976 16851 33554432000 4194304 4623224 140736310409824 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=282124 CPUtime=6.24 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 46585 0 0 0 619 5 0 0 25 0 4 0 517462819 288894976 16851 33554432000 4194304 4623224 140736310409824 18446744073709551615 4364721 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 282124

[startup+12.7004 s]
/proc/loadavg: 3.60 3.51 3.54 9/188 29989
/proc/meminfo: memFree=30785380/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=304736 CPUtime=50.66 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 128573 0 0 0 5048 18 0 0 25 0 4 0 517462817 312049664 25758 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510238 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 76184 25758 344 105 0 71688 0
[pid=29976/tid=29983] ppid=29974 vsize=304736 CPUtime=12.67 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 9906 0 0 0 1265 2 0 0 25 0 4 0 517462819 312049664 25758 33554432000 4194304 4623224 140736310409824 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=304736 CPUtime=12.67 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 15001 0 0 0 1264 3 0 0 25 0 4 0 517462819 312049664 25758 33554432000 4194304 4623224 140736310409824 18446744073709551615 271550204800 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=304736 CPUtime=12.6 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 97293 0 0 0 1248 12 0 0 25 0 4 0 517462819 312049664 25758 33554432000 4194304 4623224 140736310409824 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 304736

[startup+25.501 s]
/proc/loadavg: 4.65 3.74 3.61 9/188 29989
/proc/meminfo: memFree=30633336/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=319436 CPUtime=101.79 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 262427 0 0 0 10141 38 0 0 25 0 4 0 517462817 327102464 38396 33554432000 4194304 4623224 140736310409824 18446744073709551615 4416162 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 79859 38396 344 105 0 75363 0
[pid=29976/tid=29983] ppid=29974 vsize=319436 CPUtime=25.47 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 15673 0 0 0 2543 4 0 0 25 0 4 0 517462819 327102464 38396 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=319436 CPUtime=25.47 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 21809 0 0 0 2542 5 0 0 25 0 4 0 517462819 327102464 38396 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=319436 CPUtime=25.33 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 215753 0 0 0 2506 27 0 0 25 0 4 0 517462819 327102464 38397 33554432000 4194304 4623224 140736310409824 18446744073709551615 4544817 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 319436

[startup+51.1004 s]
/proc/loadavg: 5.86 4.10 3.73 9/188 29990
/proc/meminfo: memFree=30359564/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=369944 CPUtime=204.05 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 511440 0 0 0 20326 79 0 0 25 0 4 0 517462817 378822656 62110 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 92486 62110 470 105 0 87990 0
[pid=29976/tid=29983] ppid=29974 vsize=369944 CPUtime=51.07 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 21534 0 0 0 5102 5 0 0 25 0 4 0 517462819 378822656 62110 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=369944 CPUtime=51.07 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 32167 0 0 0 5099 8 0 0 25 0 4 0 517462819 378822656 62110 33554432000 4194304 4623224 140736310409824 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=369944 CPUtime=50.79 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 434771 0 0 0 5017 62 0 0 25 0 4 0 517462819 378822656 62110 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 369944

[startup+102.307 s]
/proc/loadavg: 7.28 4.75 3.97 9/188 29991
/proc/meminfo: memFree=29975524/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=519404 CPUtime=408.6 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 859916 0 0 0 40725 135 0 0 25 0 4 0 517462817 531869696 89495 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 129851 89495 344 105 0 125355 0
[pid=29976/tid=29983] ppid=29974 vsize=519404 CPUtime=102.28 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 34587 0 0 0 10218 10 0 0 25 0 4 0 517462819 531869696 89495 33554432000 4194304 4623224 140736310409824 18446744073709551615 271550193671 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=519404 CPUtime=102.28 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 42685 0 0 0 10217 11 0 0 25 0 4 0 517462819 531869696 89495 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=519404 CPUtime=101.71 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 733813 0 0 0 10064 107 0 0 25 0 4 0 517462819 531869696 89495 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545403 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 519404

[startup+162.301 s]
/proc/loadavg: 7.93 5.38 4.24 9/188 29993
/proc/meminfo: memFree=29615396/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=614852 CPUtime=648.23 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 1242708 0 0 0 64630 193 0 0 25 0 4 0 517462817 629608448 112310 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 153713 112310 374 105 0 149217 0
[pid=29976/tid=29983] ppid=29974 vsize=614852 CPUtime=162.28 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 45981 0 0 0 16214 14 0 0 25 0 4 0 517462819 629608448 112310 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=614852 CPUtime=162.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 43802 0 0 0 16214 11 0 0 25 0 4 0 517462819 629608448 112310 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=614852 CPUtime=161.38 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 1079351 0 0 0 15982 156 0 0 25 0 4 0 517462819 629608448 112310 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (KiB) 614852

[startup+222.3 s]
/proc/loadavg: 8.04 5.87 4.47 9/188 29995
/proc/meminfo: memFree=29378036/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=679104 CPUtime=887.89 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 1917347 0 0 0 88498 291 0 0 25 0 4 0 517462817 695402496 128281 33554432000 4194304 4623224 140736310409824 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 169776 128281 385 105 0 165280 0
[pid=29976/tid=29983] ppid=29974 vsize=679104 CPUtime=222.28 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 59737 0 0 0 22213 15 0 0 25 0 4 0 517462819 695402496 128281 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=679104 CPUtime=222.26 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 44509 0 0 0 22214 12 0 0 25 0 4 0 517462819 695402496 128281 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=679104 CPUtime=221.03 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 1706526 0 0 0 21856 247 0 0 25 0 4 0 517462819 695402496 128281 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.89
Current children cumulated vsize (KiB) 679104

[startup+282.3 s]

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

[pid=29976] ppid=29974 vsize=1246132 CPUtime=2805.27 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3433926 0 0 0 279999 528 0 0 25 0 4 0 517462817 1276039168 222640 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 311533 222640 384 105 0 307037 0
[pid=29976/tid=29983] ppid=29974 vsize=1246132 CPUtime=702.28 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 102419 0 0 0 70195 33 0 0 25 0 4 0 517462819 1276039168 222640 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1246132 CPUtime=702.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 66704 0 0 0 70203 22 0 0 25 0 4 0 517462819 1276039168 222640 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1246132 CPUtime=698.39 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 2996962 0 0 0 69409 430 0 0 25 0 4 0 517462819 1276039168 222640 33554432000 4194304 4623224 140736310409824 18446744073709551615 4546014 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.27
Current children cumulated vsize (KiB) 1246132

[startup+762.307 s]
/proc/loadavg: 8.18 7.83 6.11 9/188 30009
/proc/meminfo: memFree=28187992/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1265092 CPUtime=3044.96 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3904475 0 0 0 303897 599 0 0 25 0 4 0 517462817 1295454208 232839 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 316273 232839 377 105 0 311777 0
[pid=29976/tid=29983] ppid=29974 vsize=1265092 CPUtime=762.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 104366 0 0 0 76194 35 0 0 25 0 4 0 517462819 1295454208 232839 33554432000 4194304 4623224 140736310409824 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1265092 CPUtime=762.26 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 69593 0 0 0 76202 24 0 0 25 0 4 0 517462819 1295454208 232839 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1265092 CPUtime=758.06 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3425137 0 0 0 75316 490 0 0 25 0 4 0 517462819 1295454208 232839 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.96
Current children cumulated vsize (KiB) 1265092

[startup+822.3 s]
/proc/loadavg: 8.20 7.89 6.24 9/188 30011
/proc/meminfo: memFree=28082080/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1313128 CPUtime=3284.61 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3942221 0 0 0 327852 609 0 0 25 0 4 0 517462817 1344643072 245414 33554432000 4194304 4623224 140736310409824 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 328282 245414 377 105 0 323786 0
[pid=29976/tid=29983] ppid=29974 vsize=1313128 CPUtime=822.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 133439 0 0 0 82190 39 0 0 25 0 4 0 517462819 1344643072 245414 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1313128 CPUtime=822.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 74426 0 0 0 82196 29 0 0 25 0 4 0 517462819 1344643072 245414 33554432000 4194304 4623224 140736310409824 18446744073709551615 4317264 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1313128 CPUtime=817.73 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3425540 0 0 0 81282 491 0 0 25 0 4 0 517462819 1344643072 245414 33554432000 4194304 4623224 140736310409824 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.61
Current children cumulated vsize (KiB) 1313128

[startup+882.3 s]
/proc/loadavg: 8.13 7.93 6.35 9/188 30012
/proc/meminfo: memFree=27996620/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1315056 CPUtime=3524.28 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3951678 0 0 0 351814 614 0 0 25 0 4 0 517462817 1346617344 252174 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 328764 252174 377 105 0 324268 0
[pid=29976/tid=29983] ppid=29974 vsize=1315056 CPUtime=882.28 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 135965 0 0 0 88188 40 0 0 25 0 4 0 517462819 1346617344 252174 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1315056 CPUtime=882.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 75483 0 0 0 88195 30 0 0 25 0 4 0 517462819 1346617344 252174 33554432000 4194304 4623224 140736310409824 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1315056 CPUtime=877.39 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3426375 0 0 0 87248 491 0 0 25 0 4 0 517462819 1346617344 252174 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 1315056

[startup+942.3 s]
/proc/loadavg: 8.18 7.97 6.46 9/188 30014
/proc/meminfo: memFree=27915620/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1408888 CPUtime=3763.95 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3972502 0 0 0 375774 621 0 0 25 0 4 0 517462817 1442701312 258682 33554432000 4194304 4623224 140736310409824 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 352222 258682 377 105 0 347726 0
[pid=29976/tid=29983] ppid=29974 vsize=1408888 CPUtime=942.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 138638 0 0 0 94186 43 0 0 25 0 4 0 517462819 1442701312 258682 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1408888 CPUtime=942.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 75702 0 0 0 94194 31 0 0 25 0 4 0 517462819 1442701312 258682 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1408888 CPUtime=937.07 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3427885 0 0 0 93215 492 0 0 25 0 4 0 517462819 1442701312 258682 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.95
Current children cumulated vsize (KiB) 1408888

[startup+1002.3 s]
/proc/loadavg: 8.13 7.99 6.56 9/188 30015
/proc/meminfo: memFree=27809080/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1419144 CPUtime=4003.63 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 3985652 0 0 0 399735 628 0 0 25 0 4 0 517462817 1453203456 267493 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 354786 267493 377 105 0 350290 0
[pid=29976/tid=29983] ppid=29974 vsize=1419144 CPUtime=1002.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 141643 0 0 0 100182 47 0 0 25 0 4 0 517462819 1453203456 267493 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1419144 CPUtime=1002.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 76710 0 0 0 100194 31 0 0 25 0 4 0 517462819 1453203456 267494 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1419144 CPUtime=996.73 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3430931 0 0 0 99181 492 0 0 25 0 4 0 517462819 1453203456 267494 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 1419144

[startup+1062.3 s]
/proc/loadavg: 8.31 8.05 6.67 9/188 30017
/proc/meminfo: memFree=27707488/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1499136 CPUtime=4243.3 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4020260 0 0 0 423694 636 0 0 25 0 4 0 517462817 1535115264 281466 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 374784 281466 377 105 0 370288 0
[pid=29976/tid=29983] ppid=29974 vsize=1499136 CPUtime=1062.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 150629 0 0 0 106180 49 0 0 25 0 4 0 517462819 1535115264 281466 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1499136 CPUtime=1062.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 93869 0 0 0 106190 35 0 0 25 0 4 0 517462819 1535115264 281466 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1499136 CPUtime=1056.41 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3431446 0 0 0 105148 493 0 0 25 0 4 0 517462819 1535115264 281466 33554432000 4194304 4623224 140736310409824 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.3
Current children cumulated vsize (KiB) 1499136

[startup+1122.3 s]
/proc/loadavg: 8.23 8.07 6.76 9/188 30019
/proc/meminfo: memFree=27613596/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1499136 CPUtime=4482.97 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4030436 0 0 0 447655 642 0 0 25 0 4 0 517462817 1535115264 287017 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 374784 287017 377 105 0 370288 0
[pid=29976/tid=29983] ppid=29974 vsize=1499136 CPUtime=1122.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 152195 0 0 0 112177 52 0 0 25 0 4 0 517462819 1535115264 287017 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1499136 CPUtime=1122.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 94827 0 0 0 112189 36 0 0 25 0 4 0 517462819 1535115264 287017 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1499136 CPUtime=1116.07 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3432037 0 0 0 111114 493 0 0 25 0 4 0 517462819 1535115264 287017 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.97
Current children cumulated vsize (KiB) 1499136

[startup+1182.3 s]
/proc/loadavg: 8.32 8.12 6.85 9/188 30020
/proc/meminfo: memFree=27510524/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1522432 CPUtime=4722.65 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4053768 0 0 0 471616 649 0 0 25 0 4 0 517462817 1558970368 292907 33554432000 4194304 4623224 140736310409824 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 380608 292907 377 105 0 376112 0
[pid=29976/tid=29983] ppid=29974 vsize=1522432 CPUtime=1182.29 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 154934 0 0 0 118175 54 0 0 25 0 4 0 517462819 1558970368 292907 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1522432 CPUtime=1182.25 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 95342 0 0 0 118189 36 0 0 25 0 4 0 517462819 1558970368 292907 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1522432 CPUtime=1175.74 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3444093 0 0 0 117079 495 0 0 25 0 4 0 517462819 1558970368 292907 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 1522432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.23 8.11 6.88 9/188 30021
/proc/meminfo: memFree=27487316/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1522432 CPUtime=4800.15 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4056934 0 0 0 479366 649 0 0 25 0 4 0 517462817 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 380608 294076 377 105 0 376112 0
[pid=29976/tid=29983] ppid=29974 vsize=1522432 CPUtime=1201.7 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 155114 0 0 0 120116 54 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1522432 CPUtime=1201.66 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 95394 0 0 0 120130 36 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1522432 CPUtime=1195.03 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3444206 0 0 0 119008 495 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1522432

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.23 8.11 6.88 9/188 30021
/proc/meminfo: memFree=27487316/32951124 swapFree=67111344/67111528
[pid=29976] ppid=29974 vsize=1522432 CPUtime=4800.15 cores=0,2,4,6
/proc/29976/stat : 29976 (SArTagnan) R 29974 29976 29944 0 -1 4202496 4056934 0 0 0 479366 649 0 0 25 0 4 0 517462817 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29976/statm: 380608 294076 377 105 0 376112 0
[pid=29976/tid=29983] ppid=29974 vsize=1522432 CPUtime=1201.7 cores=0,2,4,6
/proc/29976/task/29983/stat : 29983 (SArTagnan) R 29974 29976 29944 0 -1 4202560 155114 0 0 0 120116 54 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29976/tid=29984] ppid=29974 vsize=1522432 CPUtime=1201.66 cores=0,2,4,6
/proc/29976/task/29984/stat : 29984 (SArTagnan) R 29974 29976 29944 0 -1 4202560 95394 0 0 0 120130 36 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29976/tid=29985] ppid=29974 vsize=1522432 CPUtime=1195.03 cores=0,2,4,6
/proc/29976/task/29985/stat : 29985 (SArTagnan) R 29974 29976 29944 0 -1 4202560 3444206 0 0 0 119008 495 0 0 25 0 4 0 517462819 1558970368 294076 33554432000 4194304 4623224 140736310409824 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1522432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.24
CPU user time (s): 4793.69
CPU system time (s): 6.55
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 1522432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.69
system time used= 6.55
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4056934
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= 756
involuntary context switches= 84336

runsolver used 1.84072 second user time and 4.72328 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 08:30:49
IDJOB=3259364
IDBENCH=71570
IDSOLVER=1656
FILE ID=node133/3259364-1304058649
RUNJOBID= node133-1304058649-29962
PBS_JOBID= 13170442
Free space on /tmp= 71892 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259364-1304058649/watcher-3259364-1304058649 -o /tmp/evaluation-result-3259364-1304058649/solver-3259364-1304058649 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3259364-1304058649.cnf -threads=4

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

MD5SUM BENCH= 601a386973128161e9173e2bdf583672
RANDOM SEED=2083939847

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31049288 kB
Buffers:        712064 kB
Cached:         763772 kB
SwapCached:        124 kB
Active:         550976 kB
Inactive:       992220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31049288 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:            4388 kB
Writeback:           0 kB
AnonPages:       67432 kB
Mapped:          14520 kB
Slab:           293420 kB
PageTables:       4624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71892 MiB
End job on node133 at 2011-04-29 08:50:53