Trace number 3386385

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.4 1205.23

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications 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 variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
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-3386385-1305577260/watcher-3386385-1305577260 -o /tmp/evaluation-result-3386385-1305577260/solver-3386385-1305577260 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386385-1305577260.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: 8.85 9.27 9.24 3/456 16964
/proc/meminfo: memFree=14451572/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=34240 CPUtime=0.01 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 2591 0 0 0 1 0 0 0 18 0 1 0 650142139 35061760 2411 33554432000 4194304 4625164 140736332179968 18446744073709551615 255106466000 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16964/statm: 8512 2373 296 106 0 4015 0

[startup+0.0702339 s]
/proc/loadavg: 8.85 9.27 9.24 3/456 16964
/proc/meminfo: memFree=14451572/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=39992 CPUtime=0.05 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 6111 0 0 0 5 0 0 0 18 0 1 0 650142139 40951808 3985 33554432000 4194304 4625164 140736332179968 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16964/statm: 9998 3986 296 106 0 5501 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 39992

[startup+0.101231 s]
/proc/loadavg: 8.85 9.27 9.24 3/456 16964
/proc/meminfo: memFree=14451572/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=43016 CPUtime=0.09 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 8087 0 0 0 8 1 0 0 18 0 1 0 650142139 44048384 4780 33554432000 4194304 4625164 140736332179968 18446744073709551615 255106768640 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16964/statm: 10754 4781 296 106 0 6257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43016

[startup+0.301109 s]
/proc/loadavg: 8.85 9.27 9.24 3/456 16964
/proc/meminfo: memFree=14451572/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=321940 CPUtime=0.77 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 22406 0 0 0 75 2 0 0 19 0 4 0 650142139 329666560 17191 33554432000 4194304 4625164 140736332179968 18446744073709551615 4390546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 80485 17191 335 106 0 75988 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 321940

[startup+0.701041 s]
/proc/loadavg: 8.85 9.27 9.24 3/456 16964
/proc/meminfo: memFree=14451572/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=323304 CPUtime=2.37 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 23746 0 0 0 235 2 0 0 19 0 4 0 650142139 331063296 17848 33554432000 4194304 4625164 140736332179968 18446744073709551615 4390549 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 80826 17848 335 106 0 76329 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 323304

[startup+1.5009 s]
/proc/loadavg: 8.85 9.27 9.24 11/466 16974
/proc/meminfo: memFree=14297740/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=327552 CPUtime=5.54 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 25583 0 0 0 552 2 0 0 21 0 4 0 650142139 335413248 18856 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 81888 18856 341 106 0 77391 0
[pid=16964/tid=16969] ppid=16961 vsize=327552 CPUtime=1.35 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 1604 0 0 0 135 0 0 0 23 0 4 0 650142153 335413248 18856 33554432000 4194304 4625164 140736332179968 18446744073709551615 4487184 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=327552 CPUtime=1.35 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 1873 0 0 0 135 0 0 0 23 0 4 0 650142153 335413248 18856 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=327552 CPUtime=1.33 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 3267 0 0 0 133 0 0 0 23 0 4 0 650142153 335413248 18856 33554432000 4194304 4625164 140736332179968 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 327552

[startup+3.10062 s]
/proc/loadavg: 8.85 9.27 9.24 10/466 16974
/proc/meminfo: memFree=14286092/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=327552 CPUtime=11.93 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 30144 0 0 0 1190 3 0 0 25 0 4 0 650142139 335413248 19631 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509483 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 81888 19631 341 106 0 77391 0
[pid=16964/tid=16969] ppid=16961 vsize=327552 CPUtime=2.95 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 1719 0 0 0 295 0 0 0 25 0 4 0 650142153 335413248 19631 33554432000 4194304 4625164 140736332179968 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=327552 CPUtime=2.95 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2104 0 0 0 295 0 0 0 25 0 4 0 650142153 335413248 19631 33554432000 4194304 4625164 140736332179968 18446744073709551615 4317294 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=327552 CPUtime=2.92 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 7372 0 0 0 291 1 0 0 25 0 4 0 650142153 335413248 19631 33554432000 4194304 4625164 140736332179968 18446744073709551615 4554524 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 327552

[startup+6.30106 s]
/proc/loadavg: 8.86 9.26 9.24 11/466 16974
/proc/meminfo: memFree=14269864/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=334048 CPUtime=24.68 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 42495 0 0 0 2463 5 0 0 25 0 4 0 650142139 342065152 21774 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509115 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 83512 21774 341 106 0 79015 0
[pid=16964/tid=16969] ppid=16961 vsize=334048 CPUtime=6.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2834 0 0 0 615 0 0 0 25 0 4 0 650142153 342065152 21774 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=334048 CPUtime=6.15 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 3669 0 0 0 615 0 0 0 25 0 4 0 650142153 342065152 21774 33554432000 4194304 4625164 140736332179968 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=334048 CPUtime=6.07 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 16004 0 0 0 605 2 0 0 25 0 4 0 650142153 342065152 21774 33554432000 4194304 4625164 140736332179968 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 334048

[startup+12.7009 s]
/proc/loadavg: 8.87 9.26 9.24 11/466 16974
/proc/meminfo: memFree=14248456/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=347872 CPUtime=50.17 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 67959 0 0 0 5008 9 0 0 25 0 4 0 650142139 356220928 24771 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 86968 24771 341 106 0 82471 0
[pid=16964/tid=16969] ppid=16961 vsize=347872 CPUtime=12.54 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 4688 0 0 0 1254 0 0 0 25 0 4 0 650142153 356220928 24771 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=347872 CPUtime=12.55 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 7951 0 0 0 1254 1 0 0 25 0 4 0 650142153 356220928 24771 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=347872 CPUtime=12.36 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 33445 0 0 0 1232 4 0 0 25 0 4 0 650142153 356220928 24771 33554432000 4194304 4625164 140736332179968 18446744073709551615 255106423794 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (KiB) 347872

[startup+25.5007 s]
/proc/loadavg: 8.90 9.25 9.24 10/466 16974
/proc/meminfo: memFree=14209164/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=349920 CPUtime=101.17 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 108573 0 0 0 10101 16 0 0 25 0 4 0 650142139 358318080 30385 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 87480 30385 343 106 0 82983 0
[pid=16964/tid=16969] ppid=16961 vsize=349920 CPUtime=25.35 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 6944 0 0 0 2534 1 0 0 25 0 4 0 650142153 358318080 30385 33554432000 4194304 4625164 140736332179968 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=349920 CPUtime=25.35 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 10089 0 0 0 2533 2 0 0 25 0 4 0 650142153 358318080 30385 33554432000 4194304 4625164 140736332179968 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=349920 CPUtime=24.96 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 69262 0 0 0 2487 9 0 0 25 0 4 0 650142153 358318080 30385 33554432000 4194304 4625164 140736332179968 18446744073709551615 4334985 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 349920

[startup+51.1012 s]
/proc/loadavg: 8.99 9.24 9.24 10/466 16975
/proc/meminfo: memFree=13705052/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=825644 CPUtime=203.17 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 315998 0 0 0 20274 43 0 0 25 0 4 0 650142139 845459456 145715 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 206411 145715 480 106 0 201914 0
[pid=16964/tid=16969] ppid=16961 vsize=825644 CPUtime=50.95 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 23070 0 0 0 5091 4 0 0 25 0 4 0 650142153 845459456 145715 33554432000 4194304 4625164 140736332179968 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=825644 CPUtime=50.94 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 32631 0 0 0 5090 4 0 0 25 0 4 0 650142153 845459456 145715 33554432000 4194304 4625164 140736332179968 18446744073709551615 4328194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=825644 CPUtime=50.15 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 92184 0 0 0 5003 12 0 0 25 0 4 0 650142153 845459456 145715 33554432000 4194304 4625164 140736332179968 18446744073709551615 4334112 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.17
Current children cumulated vsize (KiB) 825644

[startup+102.318 s]
/proc/loadavg: 9.06 9.22 9.23 11/466 16976
/proc/meminfo: memFree=13436836/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=915864 CPUtime=407.23 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 355664 0 0 0 40674 49 0 0 25 0 4 0 650142139 937844736 179405 33554432000 4194304 4625164 140736332179968 18446744073709551615 4512338 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 228966 179405 635 106 0 224469 0
[pid=16964/tid=16969] ppid=16961 vsize=915864 CPUtime=102.16 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 36448 0 0 0 10210 6 0 0 25 0 4 0 650142153 937844736 179405 33554432000 4194304 4625164 140736332179968 18446744073709551615 4291963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=915864 CPUtime=102.16 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 38460 0 0 0 10211 5 0 0 25 0 4 0 650142153 937844736 179405 33554432000 4194304 4625164 140736332179968 18446744073709551615 4486986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=915864 CPUtime=100.56 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 103937 0 0 0 10042 14 0 0 25 0 4 0 650142153 937844736 179405 33554432000 4194304 4625164 140736332179968 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 915864

[startup+162.301 s]
/proc/loadavg: 9.08 9.19 9.21 10/466 16978
/proc/meminfo: memFree=13176800/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=1056972 CPUtime=646.22 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 397935 0 0 0 64568 54 0 0 25 0 4 0 650142139 1082339328 206961 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509184 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 264243 206961 727 106 0 259746 0
[pid=16964/tid=16969] ppid=16961 vsize=1056972 CPUtime=162.14 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 47863 0 0 0 16206 8 0 0 25 0 4 0 650142153 1082339328 206961 33554432000 4194304 4625164 140736332179968 18446744073709551615 4464392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=1056972 CPUtime=162.14 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 39755 0 0 0 16209 5 0 0 25 0 4 0 650142153 1082339328 206961 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=1056972 CPUtime=159.62 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 111104 0 0 0 15947 15 0 0 25 0 4 0 650142153 1082339328 206961 33554432000 4194304 4625164 140736332179968 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.22
Current children cumulated vsize (KiB) 1056972

[startup+222.301 s]
/proc/loadavg: 9.08 9.17 9.20 11/466 16980
/proc/meminfo: memFree=12918256/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=1269504 CPUtime=885.27 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 540393 0 0 0 88448 79 0 0 25 0 4 0 650142139 1299972096 241274 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 317376 241274 516 106 0 312879 0
[pid=16964/tid=16969] ppid=16961 vsize=1269504 CPUtime=222.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 59970 0 0 0 22202 13 0 0 25 0 4 0 650142153 1299972096 241274 33554432000 4194304 4625164 140736332179968 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=1269504 CPUtime=222.15 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 47458 0 0 0 22208 7 0 0 25 0 4 0 650142153 1299972096 241274 33554432000 4194304 4625164 140736332179968 18446744073709551615 4317339 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=1269504 CPUtime=218.66 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 209639 0 0 0 21837 29 0 0 25 0 4 0 650142153 1299972096 241274 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.27
Current children cumulated vsize (KiB) 1269504

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 9.05 9.12 9.17 11/466 16995
/proc/meminfo: memFree=11402740/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2426900 CPUtime=2796.92 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 2338899 0 0 0 279321 371 0 0 25 0 4 0 650142139 2485145600 491594 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509011 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 606725 491596 403 106 0 602228 0
[pid=16964/tid=16969] ppid=16961 vsize=2426900 CPUtime=702.14 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 142003 0 0 0 70167 47 0 0 25 0 4 0 650142153 2485145600 491596 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2426900 CPUtime=702 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 88493 0 0 0 70175 25 0 0 25 0 4 0 650142153 2485145600 491600 33554432000 4194304 4625164 140736332179968 18446744073709551615 4316897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2426900 CPUtime=690.99 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 1654323 0 0 0 68860 239 0 0 25 0 4 0 650142153 2485145600 491600 33554432000 4194304 4625164 140736332179968 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2796.92
Current children cumulated vsize (KiB) 2426900

[startup+762.318 s]
/proc/loadavg: 9.20 9.15 9.17 11/466 16997
/proc/meminfo: memFree=11148908/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2582612 CPUtime=3036.04 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 2556042 0 0 0 303198 406 0 0 25 0 4 0 650142139 2644594688 511842 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 645653 511842 397 106 0 641156 0
[pid=16964/tid=16969] ppid=16961 vsize=2582612 CPUtime=762.16 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 142244 0 0 0 76169 47 0 0 25 0 4 0 650142153 2644594688 511842 33554432000 4194304 4625164 140736332179968 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2582612 CPUtime=762.02 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 92902 0 0 0 76174 28 0 0 25 0 4 0 650142153 2644594688 511842 33554432000 4194304 4625164 140736332179968 18446744073709551615 4316833 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2582612 CPUtime=750.07 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 1818729 0 0 0 74741 266 0 0 25 0 4 0 650142153 2644594688 511842 33554432000 4194304 4625164 140736332179968 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3036.04
Current children cumulated vsize (KiB) 2582612

[startup+822.301 s]
/proc/loadavg: 9.07 9.12 9.16 11/466 16999
/proc/meminfo: memFree=11077472/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2582612 CPUtime=3275.03 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 2783089 0 0 0 327059 444 0 0 25 0 4 0 650142139 2644594688 529462 33554432000 4194304 4625164 140736332179968 18446744073709551615 4519659 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 645653 529462 399 106 0 641156 0
[pid=16964/tid=16969] ppid=16961 vsize=2582612 CPUtime=822.14 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 142572 0 0 0 82167 47 0 0 25 0 4 0 650142153 2644594688 529462 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2582612 CPUtime=822.01 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 97190 0 0 0 82168 33 0 0 25 0 4 0 650142153 2644594688 529462 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2582612 CPUtime=809.1 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2037156 0 0 0 80611 299 0 0 25 0 4 0 650142153 2644594688 529462 33554432000 4194304 4625164 140736332179968 18446744073709551615 47190639853145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3275.03
Current children cumulated vsize (KiB) 2582612

[startup+882.301 s]
/proc/loadavg: 9.22 9.14 9.16 11/466 17000
/proc/meminfo: memFree=11014724/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2648148 CPUtime=3514.09 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3009343 0 0 0 350929 480 0 0 25 0 4 0 650142139 2711703552 544017 33554432000 4194304 4625164 140736332179968 18446744073709551615 4519676 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 662037 544017 368 106 0 657540 0
[pid=16964/tid=16969] ppid=16961 vsize=2648148 CPUtime=882.14 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 142922 0 0 0 88167 47 0 0 25 0 4 0 650142153 2711703552 544017 33554432000 4194304 4625164 140736332179968 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2648148 CPUtime=882.01 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 98528 0 0 0 88167 34 0 0 25 0 4 0 650142153 2711703552 544017 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2648148 CPUtime=868.15 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2256763 0 0 0 86482 333 0 0 25 0 4 0 650142153 2711703552 544017 33554432000 4194304 4625164 140736332179968 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3514.09
Current children cumulated vsize (KiB) 2648148

[startup+942.301 s]
/proc/loadavg: 9.27 9.16 9.17 10/466 17002
/proc/meminfo: memFree=10954952/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2713684 CPUtime=3753.15 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3233029 0 0 0 374800 515 0 0 25 0 4 0 650142139 2778812416 557664 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 678421 557664 367 106 0 673924 0
[pid=16964/tid=16969] ppid=16961 vsize=2713684 CPUtime=942.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 143120 0 0 0 94167 48 0 0 25 0 4 0 650142153 2778812416 557664 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2713684 CPUtime=942.01 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 100299 0 0 0 94167 34 0 0 25 0 4 0 650142153 2778812416 557664 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2713684 CPUtime=927.22 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2472376 0 0 0 92356 366 0 0 25 0 4 0 650142153 2778812416 557664 33554432000 4194304 4625164 140736332179968 18446744073709551615 4553318 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3753.15
Current children cumulated vsize (KiB) 2713684

[startup+1002.3 s]
/proc/loadavg: 9.20 9.16 9.17 11/466 17003
/proc/meminfo: memFree=10878560/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2728896 CPUtime=3992.19 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3352316 0 0 0 398682 537 0 0 25 0 4 0 650142139 2794389504 577968 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 682224 577968 367 106 0 677727 0
[pid=16964/tid=16969] ppid=16961 vsize=2728896 CPUtime=1002.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 143428 0 0 0 100167 48 0 0 25 0 4 0 650142153 2794389504 577968 33554432000 4194304 4625164 140736332179968 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2728896 CPUtime=1002.01 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 105344 0 0 0 100163 38 0 0 25 0 4 0 650142153 2794389504 577968 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2728896 CPUtime=986.25 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2579526 0 0 0 98243 382 0 0 25 0 4 0 650142153 2794389504 577968 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3992.19
Current children cumulated vsize (KiB) 2728896

[startup+1062.3 s]
/proc/loadavg: 9.22 9.17 9.17 10/466 17005
/proc/meminfo: memFree=10809116/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2764564 CPUtime=4231.26 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3370006 0 0 0 422585 541 0 0 25 0 4 0 650142139 2830913536 594921 33554432000 4194304 4625164 140736332179968 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 691141 594921 367 106 0 686644 0
[pid=16964/tid=16969] ppid=16961 vsize=2764564 CPUtime=1062.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 143691 0 0 0 106167 48 0 0 25 0 4 0 650142153 2830913536 594921 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2764564 CPUtime=1062.01 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 106207 0 0 0 106163 38 0 0 25 0 4 0 650142153 2830913536 594921 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2764564 CPUtime=1045.32 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2588482 0 0 0 104149 383 0 0 25 0 4 0 650142153 2830913536 594921 33554432000 4194304 4625164 140736332179968 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4231.26
Current children cumulated vsize (KiB) 2764564

[startup+1122.3 s]
/proc/loadavg: 9.18 9.17 9.17 11/466 17007
/proc/meminfo: memFree=10686844/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=2999952 CPUtime=4470.31 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3484822 0 0 0 446474 557 0 0 25 0 4 0 650142139 3071950848 625267 33554432000 4194304 4625164 140736332179968 18446744073709551615 4509287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 749988 625267 367 106 0 745491 0
[pid=16964/tid=16969] ppid=16961 vsize=2999952 CPUtime=1122.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 143856 0 0 0 112167 48 0 0 25 0 4 0 650142153 3071950848 625267 33554432000 4194304 4625164 140736332179968 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=2999952 CPUtime=1122.02 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 120305 0 0 0 112160 42 0 0 25 0 4 0 650142153 3071950848 625267 33554432000 4194304 4625164 140736332179968 18446744073709551615 4288793 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=2999952 CPUtime=1104.36 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2597485 0 0 0 110052 384 0 0 25 0 4 0 650142153 3071950848 625267 33554432000 4194304 4625164 140736332179968 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4470.31
Current children cumulated vsize (KiB) 2999952

[startup+1182.3 s]
/proc/loadavg: 9.07 9.14 9.16 10/466 17008
/proc/meminfo: memFree=10624956/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=3028500 CPUtime=4709.37 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3499960 0 0 0 470374 563 0 0 25 0 4 0 650142139 3101184000 640282 33554432000 4194304 4625164 140736332179968 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 757125 640282 367 106 0 752628 0
[pid=16964/tid=16969] ppid=16961 vsize=3028500 CPUtime=1182.15 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 144053 0 0 0 118167 48 0 0 25 0 4 0 650142153 3101184000 640282 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330621 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=3028500 CPUtime=1182.02 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 124877 0 0 0 118156 46 0 0 25 0 4 0 650142153 3101184000 640282 33554432000 4194304 4625164 140736332179968 18446744073709551615 4352636 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=3028500 CPUtime=1163.42 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2605181 0 0 0 115956 386 0 0 25 0 4 0 650142153 3101184000 640282 33554432000 4194304 4625164 140736332179968 18446744073709551615 4548692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4709.37
Current children cumulated vsize (KiB) 3028500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.1 s]
/proc/loadavg: 9.26 9.17 9.17 10/466 17009
/proc/meminfo: memFree=10602636/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=3042620 CPUtime=4800.25 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) R 16961 16964 16929 0 -1 4202496 3504860 0 0 0 479461 564 0 0 25 0 4 0 650142139 3115642880 645086 33554432000 4194304 4625164 140736332179968 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 760655 645086 367 106 0 756158 0
[pid=16964/tid=16969] ppid=16961 vsize=3042620 CPUtime=1204.96 cores=0,2,4,6
/proc/16964/task/16969/stat : 16969 (SArTagnan) R 16961 16964 16929 0 -1 4202560 144123 0 0 0 120448 48 0 0 25 0 4 0 650142153 3115642880 645086 33554432000 4194304 4625164 140736332179968 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16964/tid=16970] ppid=16961 vsize=3042620 CPUtime=1204.83 cores=0,2,4,6
/proc/16964/task/16970/stat : 16970 (SArTagnan) R 16961 16964 16929 0 -1 4202560 125288 0 0 0 120437 46 0 0 25 0 4 0 650142153 3115642880 645086 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=3042620 CPUtime=1185.86 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4202560 2608668 0 0 0 118200 386 0 0 25 0 4 0 650142153 3115642880 645086 33554432000 4194304 4625164 140736332179968 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 3042620

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

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

[startup+1205.22 s]
/proc/loadavg: 9.26 9.17 9.17 10/466 17009
/proc/meminfo: memFree=10602636/32951124 swapFree=67111348/67111528
[pid=16964] ppid=16961 vsize=0 CPUtime=4800.38 cores=0,2,4,6
/proc/16964/stat : 16964 (SArTagnan) Z 16961 16964 16929 0 -1 4203548 3504860 0 0 0 479464 574 0 0 25 0 2 0 650142139 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16964/statm: 0 0 0 0 0 0 0
[pid=16964/tid=16971] ppid=16961 vsize=0 CPUtime=1185.96 cores=0,2,4,6
/proc/16964/task/16971/stat : 16971 (SArTagnan) R 16961 16964 16929 0 -1 4203588 2608668 0 0 0 118200 396 0 0 25 0 2 0 650142153 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.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.23
CPU time (s): 4800.4
CPU user time (s): 4794.64
CPU system time (s): 5.75213
CPU usage (%): 398.298
Max. virtual memory (cumulated for all children) (KiB): 3210592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.64
system time used= 5.75212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3504860
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= 759
involuntary context switches= 37065

runsolver used 5.05723 second user time and 13.6829 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-16 22:21:00
IDJOB=3386385
IDBENCH=70797
IDSOLVER=1871
FILE ID=node144/3386385-1305577260
RUNJOBID= node144-1305577260-16947
PBS_JOBID= 13350220
Free space on /tmp= 73260 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386385-1305577260/watcher-3386385-1305577260 -o /tmp/evaluation-result-3386385-1305577260/solver-3386385-1305577260 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386385-1305577260.cnf -threads=4

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1809307578

node144.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.850
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.70
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.850
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.16
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.850
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.850
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.83
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.850
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14451868 kB
Buffers:        330736 kB
Cached:        4109636 kB
SwapCached:          0 kB
Active:       15271720 kB
Inactive:      2847752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14451868 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10120 kB
Writeback:           0 kB
AnonPages:    13679720 kB
Mapped:          37452 kB
Slab:           246976 kB
PageTables:      61132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 136758356 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= 73260 MiB
End job on node144 at 2011-05-16 22:41:07