Trace number 3249374

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.5 1202.27

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x40.cnf
MD5SUM65a5698edfd6f3a12089595d81c196e3
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 variables3360
Number of clauses661080
Sum of the clauses size2634240
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25040
Number of clauses of size 30
Number of clauses of size 4656040
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3249374-1304087885/watcher-3249374-1304087885 -o /tmp/evaluation-result-3249374-1304087885/solver-3249374-1304087885 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3249374-1304087885.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: 5.76 7.44 6.14 1/172 8303
/proc/meminfo: memFree=29744392/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=34992 CPUtime=0 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 710 0 0 0 0 0 0 0 21 0 1 0 501203856 35831808 648 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8303/statm: 8748 649 297 105 0 4252 0

[startup+0.069676 s]
/proc/loadavg: 5.76 7.44 6.14 1/172 8303
/proc/meminfo: memFree=29744392/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=44880 CPUtime=0.06 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 6596 0 0 0 6 0 0 0 21 0 1 0 501203856 45957120 3465 33554432000 4194304 4623224 140734002995184 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8303/statm: 11220 3466 297 105 0 6724 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 44880

[startup+0.100667 s]
/proc/loadavg: 5.76 7.44 6.14 1/172 8303
/proc/meminfo: memFree=29744392/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=50208 CPUtime=0.09 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 9617 0 0 0 8 1 0 0 21 0 1 0 501203856 51412992 4838 33554432000 4194304 4623224 140734002995184 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8303/statm: 12552 4841 297 105 0 8056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50208

[startup+0.300608 s]
/proc/loadavg: 5.76 7.44 6.14 1/172 8303
/proc/meminfo: memFree=29744392/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=79160 CPUtime=0.29 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 26881 0 0 0 26 3 0 0 22 0 1 0 501203856 81059840 13157 33554432000 4194304 4623224 140734002995184 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8303/statm: 19790 13159 297 105 0 15294 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79160

[startup+0.700496 s]
/proc/loadavg: 5.76 7.44 6.14 1/172 8303
/proc/meminfo: memFree=29744392/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=471160 CPUtime=1.46 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 70120 0 0 0 138 8 0 0 25 0 4 0 501203856 482467840 50372 33554432000 4194304 4623224 140734002995184 18446744073709551615 4414891 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 117790 50372 339 105 0 113294 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 471160

[startup+1.50036 s]
/proc/loadavg: 5.76 7.44 6.14 9/184 8320
/proc/meminfo: memFree=29487260/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=496520 CPUtime=4.64 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 119263 0 0 0 449 15 0 0 25 0 4 0 501203856 508436480 56589 33554432000 4194304 4623224 140734002995184 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 124130 56589 338 105 0 119634 0
[pid=8303/tid=8318] ppid=8301 vsize=496520 CPUtime=1.04 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 8464 0 0 0 103 1 0 0 25 0 4 0 501203900 508436480 56589 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=496520 CPUtime=1.05 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 8290 0 0 0 104 1 0 0 25 0 4 0 501203900 508436480 56589 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=496520 CPUtime=1.03 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 43974 0 0 0 98 5 0 0 18 0 4 0 501203900 508436480 56589 33554432000 4194304 4623224 140734002995184 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 496520

[startup+3.10108 s]
/proc/loadavg: 6.02 7.47 6.15 9/184 8320
/proc/meminfo: memFree=29440640/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=496520 CPUtime=11.04 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 187727 0 0 0 1080 24 0 0 25 0 4 0 501203856 508436480 59568 33554432000 4194304 4623224 140734002995184 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 124130 59568 338 105 0 119634 0
[pid=8303/tid=8318] ppid=8301 vsize=496520 CPUtime=2.65 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 9432 0 0 0 263 2 0 0 25 0 4 0 501203900 508436480 59569 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376917 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=496520 CPUtime=2.64 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 8752 0 0 0 263 1 0 0 25 0 4 0 501203900 508436480 59569 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=496520 CPUtime=2.63 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 110806 0 0 0 250 13 0 0 21 0 4 0 501203900 508436480 59569 33554432000 4194304 4623224 140734002995184 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.04
Current children cumulated vsize (KiB) 496520

[startup+6.30052 s]
/proc/loadavg: 6.02 7.47 6.15 9/184 8320
/proc/meminfo: memFree=29351888/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=496520 CPUtime=23.81 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 321978 0 0 0 2338 43 0 0 25 0 4 0 501203856 508436480 65907 33554432000 4194304 4623224 140734002995184 18446744073709551615 4355901 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 124130 65907 338 105 0 119634 0
[pid=8303/tid=8318] ppid=8301 vsize=496520 CPUtime=5.82 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 12147 0 0 0 578 4 0 0 25 0 4 0 501203900 508436480 65907 33554432000 4194304 4623224 140734002995184 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=496520 CPUtime=5.84 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 9502 0 0 0 583 1 0 0 25 0 4 0 501203900 508436480 65907 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=496520 CPUtime=5.83 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 241302 0 0 0 553 30 0 0 25 0 4 0 501203900 508436480 65907 33554432000 4194304 4623224 140734002995184 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.81
Current children cumulated vsize (KiB) 496520

[startup+12.7004 s]
/proc/loadavg: 6.32 7.48 6.17 9/184 8320
/proc/meminfo: memFree=29197976/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=521632 CPUtime=49.36 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 589720 0 0 0 4854 82 0 0 25 0 4 0 501203856 534151168 77103 33554432000 4194304 4623224 140734002995184 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 130408 77104 338 105 0 125912 0
[pid=8303/tid=8318] ppid=8301 vsize=521632 CPUtime=12.18 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 22513 0 0 0 1210 8 0 0 25 0 4 0 501203900 534151168 77105 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=521632 CPUtime=12.24 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 13564 0 0 0 1222 2 0 0 25 0 4 0 501203900 534151168 77106 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=521632 CPUtime=12.22 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 494529 0 0 0 1158 64 0 0 25 0 4 0 501203900 534151168 77107 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.36
Current children cumulated vsize (KiB) 521632

[startup+25.5011 s]
/proc/loadavg: 6.58 7.50 6.19 9/184 8321
/proc/meminfo: memFree=28928192/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=617080 CPUtime=100.48 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 977064 0 0 0 9914 134 0 0 25 0 4 0 501203856 631889920 104644 33554432000 4194304 4623224 140734002995184 18446744073709551615 4360122 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 154270 104644 341 105 0 149774 0
[pid=8303/tid=8318] ppid=8301 vsize=617080 CPUtime=24.95 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 27305 0 0 0 2484 11 0 0 25 0 4 0 501203900 631889920 104644 33554432000 4194304 4623224 140734002995184 18446744073709551615 4377484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=617080 CPUtime=24.98 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 30265 0 0 0 2492 6 0 0 25 0 4 0 501203900 631889920 104644 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=617080 CPUtime=25.02 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 859911 0 0 0 2393 109 0 0 25 0 4 0 501203900 631889920 104644 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.48
Current children cumulated vsize (KiB) 617080

[startup+51.1007 s]
/proc/loadavg: 7.12 7.55 6.24 9/184 8322
/proc/meminfo: memFree=28524980/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=782440 CPUtime=202.72 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 1793108 0 0 0 20022 250 0 0 25 0 4 0 501203856 801218560 147565 33554432000 4194304 4623224 140734002995184 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 195610 147567 341 105 0 191114 0
[pid=8303/tid=8318] ppid=8301 vsize=782440 CPUtime=50.55 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 45367 0 0 0 5036 19 0 0 25 0 4 0 501203900 801218560 147568 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=782440 CPUtime=50.43 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 58310 0 0 0 5032 11 0 0 25 0 4 0 501203900 801218560 147568 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=782440 CPUtime=50.61 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 1620699 0 0 0 4851 210 0 0 25 0 4 0 501203900 801218560 147570 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.72
Current children cumulated vsize (KiB) 782440

[startup+102.307 s]
/proc/loadavg: 7.65 7.63 6.34 9/184 8323
/proc/meminfo: memFree=27859952/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=1171416 CPUtime=407.23 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 2787607 0 0 0 40312 411 0 0 25 0 4 0 501203856 1199529984 230212 33554432000 4194304 4623224 140734002995184 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 292854 230212 497 105 0 288358 0
[pid=8303/tid=8318] ppid=8301 vsize=1171416 CPUtime=101.75 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 71495 0 0 0 10147 28 0 0 25 0 4 0 501203900 1199529984 230212 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=1171416 CPUtime=101.33 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 88598 0 0 0 10105 28 0 0 25 0 4 0 501203900 1199529984 230212 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366455 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=1171416 CPUtime=101.82 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 2549417 0 0 0 9839 343 0 0 25 0 4 0 501203900 1199529984 230212 33554432000 4194304 4623224 140734002995184 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 1171416

[startup+162.301 s]
/proc/loadavg: 7.87 7.69 6.44 9/184 8324
/proc/meminfo: memFree=27300696/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=1449192 CPUtime=646.86 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 4378983 0 0 0 64034 652 0 0 25 0 4 0 501203856 1483972608 294257 33554432000 4194304 4623224 140734002995184 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 362298 294257 342 105 0 357802 0
[pid=8303/tid=8318] ppid=8301 vsize=1449192 CPUtime=161.74 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 109295 0 0 0 16136 38 0 0 25 0 4 0 501203900 1483972608 294257 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=1449192 CPUtime=160.99 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 120724 0 0 0 16057 42 0 0 25 0 4 0 501203900 1483972608 294257 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=1449192 CPUtime=161.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 4060286 0 0 0 15622 558 0 0 25 0 4 0 501203900 1483972608 294257 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.86
Current children cumulated vsize (KiB) 1449192

[startup+222.301 s]
/proc/loadavg: 8.00 7.76 6.54 9/184 8326
/proc/meminfo: memFree=26864820/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=1730672 CPUtime=886.51 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 5776423 0 0 0 87803 848 0 0 25 0 4 0 501203856 1772208128 352527 33554432000 4194304 4623224 140734002995184 18446744073709551615 4415985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 432668 352527 342 105 0 428172 0
[pid=8303/tid=8318] ppid=8301 vsize=1730672 CPUtime=221.74 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 119263 0 0 0 22132 42 0 0 25 0 4 0 501203900 1772208128 352527 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=1730672 CPUtime=220.66 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 135678 0 0 0 22017 49 0 0 25 0 4 0 501203900 1772208128 352527 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=1730672 CPUtime=221.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 5420055 0 0 0 21438 742 0 0 25 0 4 0 501203900 1772208128 352527 33554432000 4194304 4623224 140734002995184 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.51
Current children cumulated vsize (KiB) 1730672

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.11 8.02 7.15 9/184 8339
/proc/meminfo: memFree=25025240/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=2721032 CPUtime=2803.87 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 13868886 0 0 0 278282 2105 0 0 25 0 4 0 501203856 2786336768 587480 33554432000 4194304 4623224 140734002995184 18446744073709551615 4414859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 680258 587481 342 105 0 675762 0
[pid=8303/tid=8318] ppid=8301 vsize=2721032 CPUtime=701.73 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 243783 0 0 0 70105 68 0 0 25 0 4 0 501203900 2786336768 587481 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=2721032 CPUtime=698.01 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 136505 0 0 0 69751 50 0 0 25 0 4 0 501203900 2786336768 587483 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=2721032 CPUtime=701.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 13348261 0 0 0 68217 1963 0 0 25 0 4 0 501203900 2786336768 587483 33554432000 4194304 4623224 140734002995184 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.87
Current children cumulated vsize (KiB) 2721032

[startup+762.307 s]
/proc/loadavg: 8.20 8.06 7.22 9/184 8340
/proc/meminfo: memFree=24886468/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=2759108 CPUtime=3043.55 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 14279817 0 0 0 302177 2178 0 0 25 0 4 0 501203856 2825326592 605614 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 689777 605614 342 105 0 685281 0
[pid=8303/tid=8318] ppid=8301 vsize=2759108 CPUtime=761.73 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 247445 0 0 0 76101 72 0 0 25 0 4 0 501203900 2825326592 605614 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=2759108 CPUtime=757.68 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 136583 0 0 0 75718 50 0 0 25 0 4 0 501203900 2825326592 605614 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=2759108 CPUtime=761.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 13754172 0 0 0 74149 2031 0 0 25 0 4 0 501203900 2825326592 605614 33554432000 4194304 4623224 140734002995184 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.55
Current children cumulated vsize (KiB) 2759108

[startup+822.301 s]
/proc/loadavg: 8.18 8.07 7.28 9/184 8342
/proc/meminfo: memFree=24687804/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=2868388 CPUtime=3283.2 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 15068829 0 0 0 326010 2310 0 0 25 0 4 0 501203856 2937229312 631651 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 717097 631651 342 105 0 712601 0
[pid=8303/tid=8318] ppid=8301 vsize=2868388 CPUtime=821.72 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 252073 0 0 0 82096 76 0 0 25 0 4 0 501203900 2937229312 631651 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=2868388 CPUtime=817.34 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 136660 0 0 0 81684 50 0 0 25 0 4 0 501203900 2937229312 631651 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=2868388 CPUtime=821.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 14514385 0 0 0 80024 2156 0 0 25 0 4 0 501203900 2937229312 631651 33554432000 4194304 4623224 140734002995184 18446744073709551615 4546853 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.2
Current children cumulated vsize (KiB) 2868388

[startup+882.3 s]
/proc/loadavg: 8.16 8.09 7.33 9/184 8344
/proc/meminfo: memFree=24552752/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=2933924 CPUtime=3522.87 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 16053444 0 0 0 349824 2463 0 0 25 0 4 0 501203856 3004338176 650755 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 733481 650755 342 105 0 728985 0
[pid=8303/tid=8318] ppid=8301 vsize=2933924 CPUtime=881.72 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 255380 0 0 0 88093 79 0 0 25 0 4 0 501203900 3004338176 650755 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=2933924 CPUtime=877.01 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 136760 0 0 0 87651 50 0 0 25 0 4 0 501203900 3004338176 650755 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=2933924 CPUtime=881.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 15494715 0 0 0 85874 2306 0 0 25 0 4 0 501203900 3004338176 650755 33554432000 4194304 4623224 140734002995184 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.87
Current children cumulated vsize (KiB) 2933924

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 7.38 9/184 8345
/proc/meminfo: memFree=24379880/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3027952 CPUtime=3762.54 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 16972772 0 0 0 373643 2611 0 0 25 0 4 0 501203856 3100622848 669606 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 756988 669607 342 105 0 752492 0
[pid=8303/tid=8318] ppid=8301 vsize=3027952 CPUtime=941.72 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 259769 0 0 0 94090 82 0 0 25 0 4 0 501203900 3100622848 669607 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3027952 CPUtime=936.68 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 136874 0 0 0 93618 50 0 0 25 0 4 0 501203900 3100622848 669608 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3027952 CPUtime=941.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 16393979 0 0 0 91731 2449 0 0 25 0 4 0 501203900 3100622848 669609 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.54
Current children cumulated vsize (KiB) 3027952

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 7.42 9/184 8347
/proc/meminfo: memFree=24195472/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3093488 CPUtime=4002.21 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 17927707 0 0 0 397460 2761 0 0 25 0 4 0 501203856 3167731712 694249 33554432000 4194304 4623224 140734002995184 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 773372 694249 342 105 0 768876 0
[pid=8303/tid=8318] ppid=8301 vsize=3093488 CPUtime=1001.72 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 267369 0 0 0 100087 85 0 0 25 0 4 0 501203900 3167731712 694249 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3093488 CPUtime=996.34 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 137003 0 0 0 99584 50 0 0 25 0 4 0 501203900 3167731712 694249 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3093488 CPUtime=1001.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 17340000 0 0 0 97585 2595 0 0 25 0 4 0 501203900 3167731712 694249 33554432000 4194304 4623224 140734002995184 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.21
Current children cumulated vsize (KiB) 3093488

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 7.47 9/184 8348
/proc/meminfo: memFree=24054224/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3159024 CPUtime=4241.88 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 18812060 0 0 0 421280 2908 0 0 25 0 4 0 501203856 3234840576 712454 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 789756 712454 342 105 0 785260 0
[pid=8303/tid=8318] ppid=8301 vsize=3159024 CPUtime=1061.71 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 270604 0 0 0 106083 88 0 0 25 0 4 0 501203900 3234840576 712454 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3159024 CPUtime=1056.02 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 137106 0 0 0 105552 50 0 0 25 0 4 0 501203900 3234840576 712454 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3159024 CPUtime=1061.8 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 18219852 0 0 0 103441 2739 0 0 25 0 4 0 501203900 3234840576 712454 33554432000 4194304 4623224 140734002995184 18446744073709551615 4365088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.88
Current children cumulated vsize (KiB) 3159024

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 7.50 9/184 8350
/proc/meminfo: memFree=23835472/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3442832 CPUtime=4481.53 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 19777659 0 0 0 445086 3067 0 0 25 0 4 0 501203856 3525459968 739735 33554432000 4194304 4623224 140734002995184 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 860708 739735 342 105 0 856212 0
[pid=8303/tid=8318] ppid=8301 vsize=3442832 CPUtime=1121.72 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 358891 0 0 0 112066 106 0 0 25 0 4 0 501203900 3525459968 739735 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3442832 CPUtime=1115.68 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 137263 0 0 0 111518 50 0 0 25 0 4 0 501203900 3525459968 739735 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3442832 CPUtime=1121.79 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 19096110 0 0 0 109299 2880 0 0 25 0 4 0 501203900 3525459968 739735 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.53
Current children cumulated vsize (KiB) 3442832

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 7.52 10/184 8352
/proc/meminfo: memFree=23689136/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3508368 CPUtime=4721.2 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 20671373 0 0 0 468911 3209 0 0 25 0 4 0 501203856 3592568832 758106 33554432000 4194304 4623224 140734002995184 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 877092 758106 342 105 0 872596 0
[pid=8303/tid=8318] ppid=8301 vsize=3508368 CPUtime=1181.71 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 363065 0 0 0 118061 110 0 0 25 0 4 0 501203900 3592568832 758106 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3508368 CPUtime=1175.35 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 137403 0 0 0 117485 50 0 0 25 0 4 0 501203900 3592568832 758107 33554432000 4194304 4623224 140734002995184 18446744073709551615 4357644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3508368 CPUtime=1181.79 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 19984269 0 0 0 115162 3017 0 0 25 0 4 0 501203900 3592568832 758107 33554432000 4194304 4623224 140734002995184 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.2
Current children cumulated vsize (KiB) 3508368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.01 8.07 7.54 5/179 8353
/proc/meminfo: memFree=26690960/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=3460408 CPUtime=4800.3 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) R 8301 8303 8275 0 -1 4202496 20705678 0 0 0 476815 3215 0 0 25 0 4 0 501203856 3543457792 761289 33554432000 4194304 4623224 140734002995184 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 865102 761289 342 105 0 860606 0
[pid=8303/tid=8318] ppid=8301 vsize=3460408 CPUtime=1201.51 cores=0,2,4,6
/proc/8303/task/8318/stat : 8318 (SArTagnan) R 8301 8303 8275 0 -1 4202560 364092 0 0 0 120041 110 0 0 25 0 4 0 501203900 3543457792 761289 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=3460408 CPUtime=1195.04 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4202560 137436 0 0 0 119454 50 0 0 25 0 4 0 501203900 3543457792 761289 33554432000 4194304 4623224 140734002995184 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8303/tid=8320] ppid=8301 vsize=3460408 CPUtime=1201.6 cores=0,2,4,6
/proc/8303/task/8320/stat : 8320 (SArTagnan) R 8301 8303 8275 0 -1 4202560 20016480 0 0 0 117137 3023 0 0 25 0 4 0 501203900 3543457792 761289 33554432000 4194304 4623224 140734002995184 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 3460408

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

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

[startup+1202.21 s]
/proc/loadavg: 8.01 8.07 7.54 2/178 8354
/proc/meminfo: memFree=28638636/32951124 swapFree=67111348/67111528
[pid=8303] ppid=8301 vsize=0 CPUtime=4800.44 cores=0,2,4,6
/proc/8303/stat : 8303 (SArTagnan) Z 8301 8303 8275 0 -1 4203548 20705678 0 0 0 476818 3226 0 0 25 0 2 0 501203856 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8303/statm: 0 0 0 0 0 0 0
[pid=8303/tid=8319] ppid=8301 vsize=0 CPUtime=1195.16 cores=0,2,4,6
/proc/8303/task/8319/stat : 8319 (SArTagnan) R 8301 8303 8275 0 -1 4203588 137436 0 0 0 119455 61 0 0 25 0 2 0 501203900 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.27
CPU time (s): 4800.5
CPU user time (s): 4768.18
CPU system time (s): 32.3141
CPU usage (%): 399.287
Max. virtual memory (cumulated for all children) (KiB): 3615688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4768.18
system time used= 32.3141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20705678
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= 5045
involuntary context switches= 36194

runsolver used 2.00569 second user time and 4.56031 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 16:38:05
IDJOB=3249374
IDBENCH=83166
IDSOLVER=1656
FILE ID=node140/3249374-1304087885
RUNJOBID= node140-1304087883-8293
PBS_JOBID= 13170564
Free space on /tmp= 72648 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x40.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249374-1304087885/watcher-3249374-1304087885 -o /tmp/evaluation-result-3249374-1304087885/solver-3249374-1304087885 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3249374-1304087885.cnf -threads=4

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

MD5SUM BENCH= 65a5698edfd6f3a12089595d81c196e3
RANDOM SEED=731156237

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29744680 kB
Buffers:        997904 kB
Cached:        1654420 kB
SwapCached:        180 kB
Active:         265936 kB
Inactive:      2448892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29744680 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           16460 kB
Writeback:           0 kB
AnonPages:       61680 kB
Mapped:          14420 kB
Slab:           426852 kB
PageTables:       4476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182508 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= 72648 MiB
End job on node140 at 2011-04-29 16:58:09