Trace number 3385881

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 4800.21 1203.93

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x14.cnf
MD5SUMf76302f2442dfc7cabc2315e61e55fea
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 variables1176
Number of clauses78498
Sum of the clauses size310464
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21764
Number of clauses of size 30
Number of clauses of size 476734
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: 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-3385881-1305581224/watcher-3385881-1305581224 -o /tmp/evaluation-result-3385881-1305581224/solver-3385881-1305581224 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385881-1305581224.cnf -threads=4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.46 4.09 5.43 2/370 5830
/proc/meminfo: memFree=27868120/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=21648 CPUtime=0 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 1034 0 0 0 0 0 0 0 22 0 1 0 669722831 22167552 730 33554432000 4194304 4625164 140737207322032 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5830/statm: 5412 730 296 106 0 915 0

[startup+0.079299 s]
/proc/loadavg: 3.46 4.09 5.43 2/370 5830
/proc/meminfo: memFree=27868120/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=204992 CPUtime=0.13 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 8105 0 0 0 12 1 0 0 24 0 4 0 669722831 209911808 6018 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512205 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 51248 6018 338 106 0 46751 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 204992

[startup+0.100298 s]
/proc/loadavg: 3.46 4.09 5.43 2/370 5830
/proc/meminfo: memFree=27868120/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=207392 CPUtime=0.21 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 8884 0 0 0 20 1 0 0 24 0 4 0 669722831 212369408 6407 33554432000 4194304 4625164 140737207322032 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 51848 6407 338 106 0 47351 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 207392

[startup+0.30026 s]
/proc/loadavg: 3.46 4.09 5.43 2/370 5830
/proc/meminfo: memFree=27868120/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=276284 CPUtime=1.01 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 12489 0 0 0 100 1 0 0 25 0 4 0 669722831 282914816 7852 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 69071 7852 338 106 0 64574 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 276284

[startup+0.700187 s]
/proc/loadavg: 3.46 4.09 5.43 2/370 5830
/proc/meminfo: memFree=27868120/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=277404 CPUtime=2.61 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 17594 0 0 0 258 3 0 0 25 0 4 0 669722831 284061696 10206 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 69351 10206 339 106 0 64854 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 277404

[startup+1.50104 s]
/proc/loadavg: 3.46 4.09 5.43 9/380 5843
/proc/meminfo: memFree=27624476/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=279516 CPUtime=5.8 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 31108 0 0 0 575 5 0 0 25 0 4 0 669722831 286224384 15276 33554432000 4194304 4625164 140737207322032 18446744073709551615 4396493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 69879 15276 342 106 0 65382 0
[pid=5830/tid=5832] ppid=5828 vsize=279516 CPUtime=1.42 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 3304 0 0 0 142 0 0 0 25 0 4 0 669722836 286224384 15276 33554432000 4194304 4625164 140737207322032 18446744073709551615 4464251 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=279516 CPUtime=1.44 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 4874 0 0 0 142 2 0 0 20 0 4 0 669722836 286224384 15276 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=279516 CPUtime=1.43 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 13947 0 0 0 142 1 0 0 25 0 4 0 669722836 286224384 15276 33554432000 4194304 4625164 140737207322032 18446744073709551615 4550384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 279516

[startup+3.10075 s]
/proc/loadavg: 3.46 4.09 5.43 9/380 5843
/proc/meminfo: memFree=27560616/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=293608 CPUtime=12.18 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 53795 0 0 0 1209 9 0 0 25 0 4 0 669722831 300654592 25232 33554432000 4194304 4625164 140737207322032 18446744073709551615 4357288 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 73402 25232 342 106 0 68905 0
[pid=5830/tid=5832] ppid=5828 vsize=293608 CPUtime=3 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 6186 0 0 0 300 0 0 0 25 0 4 0 669722836 300654592 25232 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=293608 CPUtime=3.03 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 9275 0 0 0 300 3 0 0 25 0 4 0 669722836 300654592 25232 33554432000 4194304 4625164 140737207322032 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=293608 CPUtime=3.03 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 27911 0 0 0 300 3 0 0 25 0 4 0 669722836 300654592 25232 33554432000 4194304 4625164 140737207322032 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 293608

[startup+6.3012 s]
/proc/loadavg: 3.83 4.15 5.44 9/380 5843
/proc/meminfo: memFree=27476920/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=299556 CPUtime=24.94 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 93897 0 0 0 2477 17 0 0 25 0 4 0 669722831 306745344 38557 33554432000 4194304 4625164 140737207322032 18446744073709551615 4329101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 74889 38557 342 106 0 70392 0
[pid=5830/tid=5832] ppid=5828 vsize=299556 CPUtime=6.16 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 11239 0 0 0 615 1 0 0 25 0 4 0 669722836 306745344 38557 33554432000 4194304 4625164 140737207322032 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=299556 CPUtime=6.24 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 15159 0 0 0 618 6 0 0 25 0 4 0 669722836 306745344 38557 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=299556 CPUtime=6.23 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 54333 0 0 0 615 8 0 0 25 0 4 0 669722836 306745344 38557 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 299556

[startup+12.701 s]
/proc/loadavg: 4.16 4.21 5.46 9/380 5843
/proc/meminfo: memFree=27313160/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=386264 CPUtime=50.47 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 150956 0 0 0 5019 28 0 0 25 0 4 0 669722831 395534336 64120 33554432000 4194304 4625164 140737207322032 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 96566 64120 342 106 0 92069 0
[pid=5830/tid=5832] ppid=5828 vsize=386264 CPUtime=12.49 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 17573 0 0 0 1247 2 0 0 25 0 4 0 669722836 395534336 64120 33554432000 4194304 4625164 140737207322032 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=386264 CPUtime=12.63 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 27720 0 0 0 1253 10 0 0 25 0 4 0 669722836 395534336 64120 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=386264 CPUtime=12.63 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 89500 0 0 0 1251 12 0 0 25 0 4 0 669722836 395534336 64120 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 386264

[startup+25.5007 s]
/proc/loadavg: 5.01 4.40 5.50 9/380 5844
/proc/meminfo: memFree=27031816/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=634332 CPUtime=101.51 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 241311 0 0 0 10104 47 0 0 25 0 4 0 669722831 649555968 100857 33554432000 4194304 4625164 140737207322032 18446744073709551615 4396480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 158583 100857 373 106 0 154086 0
[pid=5830/tid=5832] ppid=5828 vsize=634332 CPUtime=25.13 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 35696 0 0 0 2507 6 0 0 25 0 4 0 669722836 649555968 100857 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=634332 CPUtime=25.44 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 42528 0 0 0 2526 18 0 0 25 0 4 0 669722836 649555968 100857 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=634332 CPUtime=25.43 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 140884 0 0 0 2524 19 0 0 25 0 4 0 669722836 649555968 100857 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 634332

[startup+51.101 s]
/proc/loadavg: 6.17 4.72 5.57 9/380 5844
/proc/meminfo: memFree=26669908/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=812416 CPUtime=203.61 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 377303 0 0 0 20284 77 0 0 25 0 4 0 669722831 831913984 151629 33554432000 4194304 4625164 140737207322032 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 203104 151629 342 106 0 198607 0
[pid=5830/tid=5832] ppid=5828 vsize=812416 CPUtime=50.43 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 40933 0 0 0 5035 8 0 0 25 0 4 0 669722836 831913984 151629 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=812416 CPUtime=51.03 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 62014 0 0 0 5075 28 0 0 25 0 4 0 669722836 831913984 151629 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=812416 CPUtime=51.03 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 243311 0 0 0 5068 35 0 0 25 0 4 0 669722836 831913984 151629 33554432000 4194304 4625164 140737207322032 18446744073709551615 4339874 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 812416

[startup+102.315 s]
/proc/loadavg: 7.20 5.22 5.70 9/380 5846
/proc/meminfo: memFree=26040848/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=1133032 CPUtime=407.84 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 552729 0 0 0 40668 116 0 0 25 0 4 0 669722831 1160224768 232418 33554432000 4194304 4625164 140737207322032 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 283258 232418 871 106 0 278761 0
[pid=5830/tid=5832] ppid=5828 vsize=1133032 CPUtime=101.02 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 79499 0 0 0 10087 15 0 0 25 0 4 0 669722836 1160224768 232418 33554432000 4194304 4625164 140737207322032 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=1133032 CPUtime=102.24 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 81961 0 0 0 10181 43 0 0 25 0 4 0 669722836 1160224768 232418 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=1133032 CPUtime=102.24 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 346144 0 0 0 10174 50 0 0 25 0 4 0 669722836 1160224768 232418 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.84
Current children cumulated vsize (KiB) 1133032

[startup+162.301 s]
/proc/loadavg: 7.74 5.74 5.84 9/380 5847
/proc/meminfo: memFree=25426636/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=1511212 CPUtime=647.08 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 798508 0 0 0 64541 167 0 0 25 0 4 0 669722831 1547481088 313582 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 377803 313582 342 106 0 373306 0
[pid=5830/tid=5832] ppid=5828 vsize=1511212 CPUtime=160.29 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 120070 0 0 0 16006 23 0 0 25 0 4 0 669722836 1547481088 313582 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=1511212 CPUtime=162.23 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 116708 0 0 0 16161 62 0 0 25 0 4 0 669722836 1547481088 313582 33554432000 4194304 4625164 140737207322032 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=1511212 CPUtime=162.22 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 497699 0 0 0 16152 70 0 0 25 0 4 0 669722836 1547481088 313582 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.08
Current children cumulated vsize (KiB) 1511212

[startup+222.301 s]
/proc/loadavg: 8.00 6.19 5.99 9/380 5849
/proc/meminfo: memFree=24950580/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=1705236 CPUtime=886.34 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 1013742 0 0 0 88411 223 0 0 25 0 4 0 669722831 1746161664 370153 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 426309 370153 342 106 0 421812 0
[pid=5830/tid=5832] ppid=5828 vsize=1705236 CPUtime=219.56 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 131789 0 0 0 21922 34 0 0 25 0 4 0 669722836 1746161664 370153 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=1705236 CPUtime=222.23 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 147531 0 0 0 22143 80 0 0 25 0 4 0 669722836 1746161664 370153 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=1705236 CPUtime=222.23 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 668675 0 0 0 22125 98 0 0 25 0 4 0 669722836 1746161664 370153 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.34
Current children cumulated vsize (KiB) 1705236

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.09 7.73 6.83 9/380 5862
/proc/meminfo: memFree=22991936/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=2830084 CPUtime=2800.32 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 2262385 0 0 0 279535 497 0 0 25 0 4 0 669722831 2898006016 613264 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 707521 613264 361 106 0 703024 0
[pid=5830/tid=5832] ppid=5828 vsize=2830084 CPUtime=693.49 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 298719 0 0 0 69242 107 0 0 25 0 4 0 669722836 2898006016 613264 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2830084 CPUtime=702.25 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153074 0 0 0 70144 81 0 0 25 0 4 0 669722836 2898006016 613264 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2830084 CPUtime=702.24 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 1579668 0 0 0 69959 265 0 0 25 0 4 0 669722836 2898006016 613264 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.32
Current children cumulated vsize (KiB) 2830084

[startup+762.315 s]
/proc/loadavg: 8.03 7.77 6.90 9/380 5863
/proc/meminfo: memFree=22803920/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=2847772 CPUtime=3039.62 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 2526252 0 0 0 303409 553 0 0 25 0 4 0 669722831 2916118528 637369 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 711943 637369 361 106 0 707446 0
[pid=5830/tid=5832] ppid=5828 vsize=2847772 CPUtime=752.75 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 309487 0 0 0 75162 113 0 0 25 0 4 0 669722836 2916118528 637369 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2847772 CPUtime=762.26 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153180 0 0 0 76145 81 0 0 25 0 4 0 669722836 2916118528 637369 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2847772 CPUtime=762.26 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 1734898 0 0 0 75930 296 0 0 25 0 4 0 669722836 2916118528 637369 33554432000 4194304 4625164 140737207322032 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.62
Current children cumulated vsize (KiB) 2847772

[startup+822.301 s]
/proc/loadavg: 8.05 7.83 6.97 9/380 5865
/proc/meminfo: memFree=22589736/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=2971328 CPUtime=3278.81 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 2843704 0 0 0 327269 612 0 0 25 0 4 0 669722831 3042639872 666305 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 742832 666305 361 106 0 738335 0
[pid=5830/tid=5832] ppid=5828 vsize=2971328 CPUtime=811.98 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 319337 0 0 0 81081 117 0 0 25 0 4 0 669722836 3042639872 666305 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2971328 CPUtime=822.25 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153327 0 0 0 82144 81 0 0 25 0 4 0 669722836 3042639872 666305 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2971328 CPUtime=822.24 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 1919379 0 0 0 81894 330 0 0 25 0 4 0 669722836 3042639872 666305 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552374 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.81
Current children cumulated vsize (KiB) 2971328

[startup+882.301 s]
/proc/loadavg: 8.02 7.86 7.04 9/380 5867
/proc/meminfo: memFree=22390316/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3076728 CPUtime=3518.06 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 3118724 0 0 0 351137 669 0 0 25 0 4 0 669722831 3150569472 692450 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 769182 692450 361 106 0 764685 0
[pid=5830/tid=5832] ppid=5828 vsize=3076728 CPUtime=871.22 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330420 0 0 0 86997 125 0 0 25 0 4 0 669722836 3150569472 692450 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3076728 CPUtime=882.25 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153400 0 0 0 88144 81 0 0 25 0 4 0 669722836 3150569472 692450 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3076728 CPUtime=882.25 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2081192 0 0 0 87865 360 0 0 25 0 4 0 669722836 3150569472 692450 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.06
Current children cumulated vsize (KiB) 3076728

[startup+942.301 s]
/proc/loadavg: 8.04 7.89 7.10 9/380 5868
/proc/meminfo: memFree=22243220/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3142264 CPUtime=3757.32 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 3356784 0 0 0 375013 719 0 0 25 0 4 0 669722831 3217678336 704691 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512039 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 785566 704691 361 106 0 781069 0
[pid=5830/tid=5832] ppid=5828 vsize=3142264 CPUtime=930.47 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330460 0 0 0 92922 125 0 0 25 0 4 0 669722836 3217678336 704691 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3142264 CPUtime=942.25 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153433 0 0 0 94144 81 0 0 25 0 4 0 669722836 3217678336 704691 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3142264 CPUtime=942.25 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2224567 0 0 0 93837 388 0 0 25 0 4 0 669722836 3217678336 704691 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.32
Current children cumulated vsize (KiB) 3142264

[startup+1002.3 s]
/proc/loadavg: 8.13 7.94 7.16 9/380 5870
/proc/meminfo: memFree=22106540/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3142264 CPUtime=3996.56 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 3605716 0 0 0 398887 769 0 0 25 0 4 0 669722831 3217678336 715844 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 785566 715844 361 106 0 781069 0
[pid=5830/tid=5832] ppid=5828 vsize=3142264 CPUtime=989.7 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330501 0 0 0 98845 125 0 0 25 0 4 0 669722836 3217678336 715844 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3142264 CPUtime=1002.26 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153472 0 0 0 100145 81 0 0 25 0 4 0 669722836 3217678336 715844 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3142264 CPUtime=1002.25 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2361522 0 0 0 99808 417 0 0 25 0 4 0 669722836 3217678336 715844 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.56
Current children cumulated vsize (KiB) 3142264

[startup+1062.3 s]
/proc/loadavg: 8.23 8.00 7.23 9/380 5871
/proc/meminfo: memFree=21974944/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3208448 CPUtime=4235.81 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 3815761 0 0 0 422773 808 0 0 25 0 4 0 669722831 3285450752 726581 33554432000 4194304 4625164 140737207322032 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 802112 726581 342 106 0 797615 0
[pid=5830/tid=5832] ppid=5828 vsize=3208448 CPUtime=1048.95 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330545 0 0 0 104770 125 0 0 25 0 4 0 669722836 3285450752 726581 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3208448 CPUtime=1062.26 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153522 0 0 0 106145 81 0 0 25 0 4 0 669722836 3285450752 726581 33554432000 4194304 4625164 140737207322032 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3208448 CPUtime=1062.25 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2491176 0 0 0 105784 441 0 0 25 0 4 0 669722836 3285450752 726581 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.81
Current children cumulated vsize (KiB) 3208448

[startup+1122.3 s]
/proc/loadavg: 8.16 8.01 7.28 9/380 5873
/proc/meminfo: memFree=21823136/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3210708 CPUtime=4475.05 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 3911391 0 0 0 446676 829 0 0 25 0 4 0 669722831 3287764992 738437 33554432000 4194304 4625164 140737207322032 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 802677 738437 342 106 0 798180 0
[pid=5830/tid=5832] ppid=5828 vsize=3210708 CPUtime=1108.18 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330577 0 0 0 110693 125 0 0 25 0 4 0 669722836 3287764992 738437 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3210708 CPUtime=1122.26 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153560 0 0 0 112145 81 0 0 25 0 4 0 669722836 3287764992 738437 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3210708 CPUtime=1122.26 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2586543 0 0 0 111764 462 0 0 25 0 4 0 669722836 3287764992 738437 33554432000 4194304 4625164 140737207322032 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.05
Current children cumulated vsize (KiB) 3210708

[startup+1182.3 s]
/proc/loadavg: 8.27 8.05 7.34 9/380 5874
/proc/meminfo: memFree=21692792/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3277456 CPUtime=4714.29 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 4051394 0 0 0 470573 856 0 0 25 0 4 0 669722831 3356114944 750456 33554432000 4194304 4625164 140737207322032 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 819364 750456 342 106 0 814867 0
[pid=5830/tid=5832] ppid=5828 vsize=3277456 CPUtime=1167.43 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330607 0 0 0 116618 125 0 0 25 0 4 0 669722836 3356114944 750456 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3277456 CPUtime=1182.26 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153611 0 0 0 118145 81 0 0 25 0 4 0 669722836 3356114944 750456 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3277456 CPUtime=1182.25 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2726155 0 0 0 117736 489 0 0 25 0 4 0 669722836 3356114944 750456 33554432000 4194304 4625164 140737207322032 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714.29
Current children cumulated vsize (KiB) 3277456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.19 8.05 7.35 9/380 5875
/proc/meminfo: memFree=21648268/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=3277456 CPUtime=4800.05 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) R 5828 5830 5006 0 -1 4202496 4100994 0 0 0 479137 868 0 0 25 0 4 0 669722831 3356114944 754318 33554432000 4194304 4625164 140737207322032 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 819364 754318 342 106 0 814867 0
[pid=5830/tid=5832] ppid=5828 vsize=3277456 CPUtime=1188.65 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4202560 330616 0 0 0 118740 125 0 0 25 0 4 0 669722836 3356114944 754322 33554432000 4194304 4625164 140737207322032 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=3277456 CPUtime=1203.77 cores=1,3,5,7
/proc/5830/task/5833/stat : 5833 (SArTagnan) R 5828 5830 5006 0 -1 4202560 153637 0 0 0 120296 81 0 0 25 0 4 0 669722836 3356114944 754322 33554432000 4194304 4625164 140737207322032 18446744073709551615 4488037 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=3277456 CPUtime=1203.77 cores=1,3,5,7
/proc/5830/task/5834/stat : 5834 (SArTagnan) R 5828 5830 5006 0 -1 4202560 2775567 0 0 0 119876 501 0 0 25 0 4 0 669722836 3356114944 754322 33554432000 4194304 4625164 140737207322032 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 3277456

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

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

[startup+1203.92 s]
/proc/loadavg: 8.19 8.05 7.35 9/380 5875
/proc/meminfo: memFree=21648268/32951124 swapFree=37160408/67111528
[pid=5830] ppid=5828 vsize=0 CPUtime=4800.18 cores=1,3,5,7
/proc/5830/stat : 5830 (SArTagnan) Z 5828 5830 5006 0 -1 4203548 4101001 0 0 0 479140 878 0 0 25 0 2 0 669722831 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5830/statm: 0 0 0 0 0 0 0
[pid=5830/tid=5832] ppid=5828 vsize=0 CPUtime=1188.76 cores=1,3,5,7
/proc/5830/task/5832/stat : 5832 (SArTagnan) R 5828 5830 5006 0 -1 4203588 330616 0 0 0 118741 135 0 0 25 0 2 0 669722836 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.93
CPU time (s): 4800.21
CPU user time (s): 4791.41
CPU system time (s): 8.80166
CPU usage (%): 398.71
Max. virtual memory (cumulated for all children) (KiB): 3277456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.41
system time used= 8.80166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4101001
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= 1713
involuntary context switches= 30018

runsolver used 4.03339 second user time and 11.1103 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-16 23:27:04
IDJOB=3385881
IDBENCH=83167
IDSOLVER=1871
FILE ID=node104/3385881-1305581224
RUNJOBID= node104-1305581224-5817
PBS_JOBID= 13350212
Free space on /tmp= 73268 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x14.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385881-1305581224/watcher-3385881-1305581224 -o /tmp/evaluation-result-3385881-1305581224/solver-3385881-1305581224 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385881-1305581224.cnf -threads=4

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

MD5SUM BENCH= f76302f2442dfc7cabc2315e61e55fea
RANDOM SEED=2046065294

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27868648 kB
Buffers:        302028 kB
Cached:        2721844 kB
SwapCached:     152312 kB
Active:        1261180 kB
Inactive:      3540216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27868648 kB
SwapTotal:    67111528 kB
SwapFree:     37160408 kB
Dirty:            4356 kB
Writeback:           0 kB
AnonPages:     1638456 kB
Mapped:          10412 kB
Slab:           127688 kB
PageTables:      89088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87705040 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= 73252 MiB
End job on node104 at 2011-05-16 23:47:10