Trace number 3281677

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.27 1201.97

General information on the benchmark

Namemizh-sha0-36-4.cnf
MD5SUMf43e1bf70d9ce8021bafd328efc83ae7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.6226
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210235
Sum of the clauses size628383
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286992
Number of clauses of size 338042
Number of clauses of size 485024
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-3281677-1304040962/watcher-3281677-1304040962 -o /tmp/evaluation-result-3281677-1304040962/solver-3281677-1304040962 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3281677-1304040962.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: 7.77 8.00 7.98 5/180 25874
/proc/meminfo: memFree=8619308/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=27708 CPUtime=0 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 1378 0 0 0 0 0 0 0 25 0 1 0 594326915 28372992 1315 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25874/statm: 6927 1315 300 105 0 2431 0

[startup+0.081126 s]
/proc/loadavg: 7.77 8.00 7.98 5/180 25874
/proc/meminfo: memFree=8619308/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=36904 CPUtime=0.07 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6013 0 0 0 7 0 0 0 25 0 1 0 594326915 37789696 3727 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25874/statm: 9226 3727 301 105 0 4730 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36904

[startup+0.101121 s]
/proc/loadavg: 7.77 8.00 7.98 5/180 25874
/proc/meminfo: memFree=8619308/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=38096 CPUtime=0.09 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6985 0 0 0 9 0 0 0 25 0 1 0 594326915 39010304 4236 33554432000 4194304 4623224 140734068003664 18446744073709551615 218880564992 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25874/statm: 9524 4237 301 105 0 5028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38096

[startup+0.301024 s]
/proc/loadavg: 7.77 8.00 7.98 5/180 25874
/proc/meminfo: memFree=8619308/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=312384 CPUtime=0.84 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 22312 0 0 0 82 2 0 0 18 0 4 0 594326915 319881216 15844 33554432000 4194304 4623224 140734068003664 18446744073709551615 4368435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 78096 15844 334 105 0 73600 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 312384

[startup+0.700955 s]
/proc/loadavg: 7.77 8.00 7.98 5/180 25874
/proc/meminfo: memFree=8619308/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=321024 CPUtime=2.44 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 30093 0 0 0 240 4 0 0 18 0 4 0 594326915 328728576 16885 33554432000 4194304 4623224 140734068003664 18446744073709551615 4526882 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 80256 16886 343 105 0 75760 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 321024

[startup+1.50082 s]
/proc/loadavg: 7.77 8.00 7.98 9/184 25878
/proc/meminfo: memFree=8546248/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=447116 CPUtime=5.62 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 99095 0 0 0 548 14 0 0 20 0 4 0 594326915 457846784 46315 33554432000 4194304 4623224 140734068003664 18446744073709551615 218880262613 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 111779 46334 343 105 0 107283 0
[pid=25874/tid=25876] ppid=25872 vsize=447116 CPUtime=1.36 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 17621 0 0 0 134 2 0 0 25 0 4 0 594326927 457846784 46344 33554432000 4194304 4623224 140734068003664 18446744073709551615 4278237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=447116 CPUtime=1.36 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 13593 0 0 0 135 1 0 0 25 0 4 0 594326927 457846784 46355 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=447116 CPUtime=1.37 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 19745 0 0 0 134 3 0 0 25 0 4 0 594326927 457846784 46367 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 447116

[startup+3.10054 s]
/proc/loadavg: 7.77 8.00 7.98 9/184 25878
/proc/meminfo: memFree=8403892/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=447120 CPUtime=12 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 126914 0 0 0 1183 17 0 0 24 0 4 0 594326915 457850880 53140 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510146 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 111780 53140 344 105 0 107284 0
[pid=25874/tid=25876] ppid=25872 vsize=447120 CPUtime=2.95 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 18689 0 0 0 293 2 0 0 25 0 4 0 594326927 457850880 53140 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=447120 CPUtime=2.96 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 18201 0 0 0 294 2 0 0 25 0 4 0 594326927 457850880 53140 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=447120 CPUtime=2.97 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 35038 0 0 0 293 4 0 0 25 0 4 0 594326927 457850880 53140 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 447120

[startup+6.30098 s]
/proc/loadavg: 7.79 8.00 7.98 9/184 25878
/proc/meminfo: memFree=8401428/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=447120 CPUtime=24.79 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 163026 0 0 0 2456 23 0 0 25 0 4 0 594326915 457850880 54111 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 111780 54111 344 105 0 107284 0
[pid=25874/tid=25876] ppid=25872 vsize=447120 CPUtime=6.13 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 18702 0 0 0 611 2 0 0 25 0 4 0 594326927 457850880 54111 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=447120 CPUtime=6.16 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 18305 0 0 0 614 2 0 0 25 0 4 0 594326927 457850880 54111 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=447120 CPUtime=6.17 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 69940 0 0 0 608 9 0 0 25 0 4 0 594326927 457850880 54111 33554432000 4194304 4623224 140734068003664 18446744073709551615 4545642 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 447120

[startup+12.7009 s]
/proc/loadavg: 7.89 8.01 7.99 9/184 25878
/proc/meminfo: memFree=8391272/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=447120 CPUtime=50.35 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 182101 0 0 0 5009 26 0 0 25 0 4 0 594326915 457850880 55377 33554432000 4194304 4623224 140734068003664 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 111780 55377 345 105 0 107284 0
[pid=25874/tid=25876] ppid=25872 vsize=447120 CPUtime=12.49 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 19025 0 0 0 1247 2 0 0 25 0 4 0 594326927 457850880 55377 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=447120 CPUtime=12.56 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 18624 0 0 0 1254 2 0 0 25 0 4 0 594326927 457850880 55377 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=447120 CPUtime=12.57 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 88274 0 0 0 1245 12 0 0 25 0 4 0 594326927 457850880 55377 33554432000 4194304 4623224 140734068003664 18446744073709551615 4467877 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 447120

[startup+25.5006 s]
/proc/loadavg: 7.91 8.01 7.99 9/184 25879
/proc/meminfo: memFree=8368464/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=447352 CPUtime=101.48 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 199710 0 0 0 10119 29 0 0 25 0 4 0 594326915 458088448 56829 33554432000 4194304 4623224 140734068003664 18446744073709551615 4416157 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 111838 56829 345 105 0 107342 0
[pid=25874/tid=25876] ppid=25872 vsize=447352 CPUtime=25.23 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 19399 0 0 0 2520 3 0 0 25 0 4 0 594326927 458088448 56829 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=447352 CPUtime=25.37 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 19471 0 0 0 2534 3 0 0 25 0 4 0 594326927 458088448 56829 33554432000 4194304 4623224 140734068003664 18446744073709551615 4276032 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=447352 CPUtime=25.36 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 104660 0 0 0 2523 13 0 0 25 0 4 0 594326927 458088448 56829 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 447352

[startup+51.1011 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 25879
/proc/meminfo: memFree=8304740/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=464392 CPUtime=203.73 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 313496 0 0 0 20326 47 0 0 25 0 4 0 594326915 475537408 63076 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 116098 63076 345 105 0 111602 0
[pid=25874/tid=25876] ppid=25872 vsize=464392 CPUtime=50.68 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 25857 0 0 0 5064 4 0 0 25 0 4 0 594326927 475537408 63076 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=464392 CPUtime=50.96 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 21278 0 0 0 5092 4 0 0 25 0 4 0 594326927 475537408 63076 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=464392 CPUtime=50.97 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 210181 0 0 0 5067 30 0 0 25 0 4 0 594326927 475537408 63076 33554432000 4194304 4623224 140734068003664 18446744073709551615 4545943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 464392

[startup+102.306 s]
/proc/loadavg: 8.12 8.05 8.00 9/184 25881
/proc/meminfo: memFree=8149596/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=495032 CPUtime=408.26 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 663109 0 0 0 40721 105 0 0 25 0 4 0 594326915 506912768 76612 33554432000 4194304 4623224 140734068003664 18446744073709551615 4384389 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 123758 76612 345 105 0 119262 0
[pid=25874/tid=25876] ppid=25872 vsize=495032 CPUtime=101.6 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 27815 0 0 0 10156 4 0 0 25 0 4 0 594326927 506912768 76612 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=495032 CPUtime=102.16 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 29379 0 0 0 10210 6 0 0 25 0 4 0 594326927 506912768 76612 33554432000 4194304 4623224 140734068003664 18446744073709551615 4474451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=495032 CPUtime=102.18 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 543235 0 0 0 10134 84 0 0 25 0 4 0 594326927 506912768 76612 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 495032

[startup+162.301 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 25882
/proc/meminfo: memFree=7859420/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=502292 CPUtime=647.88 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 1044403 0 0 0 64621 167 0 0 25 0 4 0 594326915 514347008 93366 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510101 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 125573 93366 345 105 0 121077 0
[pid=25874/tid=25876] ppid=25872 vsize=502292 CPUtime=161.26 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 29422 0 0 0 16121 5 0 0 25 0 4 0 594326927 514347008 93366 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=502292 CPUtime=162.13 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 32087 0 0 0 16207 6 0 0 25 0 4 0 594326927 514347008 93366 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=502292 CPUtime=162.17 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 918478 0 0 0 16073 144 0 0 25 0 4 0 594326927 514347008 93366 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.88
Current children cumulated vsize (KiB) 502292

[startup+222.301 s]
/proc/loadavg: 8.33 8.14 8.04 9/184 25887
/proc/meminfo: memFree=7676412/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=549572 CPUtime=886.74 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 1343772 0 0 0 88455 219 0 0 25 0 4 0 594326915 562761728 106843 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510302 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 137393 106843 345 105 0 132897 0
[pid=25874/tid=25876] ppid=25872 vsize=549572 CPUtime=220.91 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 40329 0 0 0 22083 8 0 0 25 0 4 0 594326927 562761728 106843 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=549572 CPUtime=221.84 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 35291 0 0 0 22175 9 0 0 25 0 4 0 594326927 562761728 106843 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=549572 CPUtime=222.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 1194304 0 0 0 22014 189 0 0 25 0 4 0 594326927 562761728 106843 33554432000 4194304 4623224 140734068003664 18446744073709551615 4363945 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.74
Current children cumulated vsize (KiB) 549572

[startup+282.301 s]

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

[pid=25874] ppid=25872 vsize=950168 CPUtime=2804.13 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 3805947 0 0 0 279780 633 0 0 25 0 4 0 594326915 972972032 194877 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 237542 194877 345 105 0 233046 0
[pid=25874/tid=25876] ppid=25872 vsize=950168 CPUtime=698.35 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 54120 0 0 0 69818 17 0 0 25 0 4 0 594326927 972972032 194877 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=950168 CPUtime=701.79 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 58361 0 0 0 70161 18 0 0 25 0 4 0 594326927 972972032 194877 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=950168 CPUtime=702.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 3594417 0 0 0 69625 578 0 0 25 0 4 0 594326927 972972032 194877 33554432000 4194304 4623224 140734068003664 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.13
Current children cumulated vsize (KiB) 950168

[startup+762.307 s]
/proc/loadavg: 4.14 5.94 7.16 5/175 25919
/proc/meminfo: memFree=13696860/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1089012 CPUtime=3043.87 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 4168657 0 0 0 303693 694 0 0 25 0 4 0 594326915 1115148288 210588 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 272253 210588 345 105 0 267757 0
[pid=25874/tid=25876] ppid=25872 vsize=1089012 CPUtime=758.08 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 58041 0 0 0 75789 19 0 0 25 0 4 0 594326927 1115148288 210588 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1089012 CPUtime=761.78 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 60175 0 0 0 76159 19 0 0 25 0 4 0 594326927 1115148288 210588 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1089012 CPUtime=762.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 3950627 0 0 0 75568 635 0 0 25 0 4 0 594326927 1115148288 210588 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.87
Current children cumulated vsize (KiB) 1089012

[startup+822.3 s]
/proc/loadavg: 4.08 5.60 6.97 5/175 25921
/proc/meminfo: memFree=13670448/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1089012 CPUtime=3283.56 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 4536253 0 0 0 327585 771 0 0 25 0 4 0 594326915 1115148288 217287 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 272253 217287 345 105 0 267757 0
[pid=25874/tid=25876] ppid=25872 vsize=1089012 CPUtime=817.8 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 61741 0 0 0 81743 37 0 0 25 0 4 0 594326927 1115148288 217287 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1089012 CPUtime=821.77 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 62028 0 0 0 82157 20 0 0 25 0 4 0 594326927 1115148288 217287 33554432000 4194304 4623224 140734068003664 18446744073709551615 4377936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1089012 CPUtime=822.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 4312095 0 0 0 81509 694 0 0 25 0 4 0 594326927 1115148288 217287 33554432000 4194304 4623224 140734068003664 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.56
Current children cumulated vsize (KiB) 1089012

[startup+882.301 s]
/proc/loadavg: 4.03 5.30 6.78 5/175 25922
/proc/meminfo: memFree=13635980/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1096528 CPUtime=3523.26 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 4835543 0 0 0 351503 823 0 0 25 0 4 0 594326915 1122844672 225609 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 274132 225609 345 105 0 269636 0
[pid=25874/tid=25876] ppid=25872 vsize=1096528 CPUtime=877.52 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 62632 0 0 0 87714 38 0 0 25 0 4 0 594326927 1122844672 225609 33554432000 4194304 4623224 140734068003664 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1096528 CPUtime=881.75 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 63444 0 0 0 88155 20 0 0 25 0 4 0 594326927 1122844672 225609 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1096528 CPUtime=882.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 4608411 0 0 0 87458 745 0 0 25 0 4 0 594326927 1122844672 225609 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.26
Current children cumulated vsize (KiB) 1096528

[startup+942.3 s]
/proc/loadavg: 4.04 5.08 6.61 5/175 25924
/proc/meminfo: memFree=13596680/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1097456 CPUtime=3762.98 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 5200723 0 0 0 375413 885 0 0 25 0 4 0 594326915 1123794944 236190 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 274364 236190 345 105 0 269868 0
[pid=25874/tid=25876] ppid=25872 vsize=1097456 CPUtime=937.24 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 65090 0 0 0 93685 39 0 0 25 0 4 0 594326927 1123794944 236190 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1097456 CPUtime=941.74 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 66129 0 0 0 94152 22 0 0 25 0 4 0 594326927 1123794944 236190 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1097456 CPUtime=942.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 4967616 0 0 0 93400 803 0 0 25 0 4 0 594326927 1123794944 236190 33554432000 4194304 4623224 140734068003664 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.98
Current children cumulated vsize (KiB) 1097456

[startup+1002.3 s]
/proc/loadavg: 4.09 4.90 6.44 5/175 25926
/proc/meminfo: memFree=13563080/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1162992 CPUtime=4002.7 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 5632509 0 0 0 399307 963 0 0 25 0 4 0 594326915 1190903808 244511 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 290748 244511 345 105 0 286252 0
[pid=25874/tid=25876] ppid=25872 vsize=1162992 CPUtime=996.96 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 65206 0 0 0 99657 39 0 0 25 0 4 0 594326927 1190903808 244511 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1162992 CPUtime=1001.75 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 69205 0 0 0 100147 28 0 0 25 0 4 0 594326927 1190903808 244511 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1162992 CPUtime=1002.04 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 5395319 0 0 0 99328 876 0 0 25 0 4 0 594326927 1190903808 244511 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.7
Current children cumulated vsize (KiB) 1162992

[startup+1062.3 s]
/proc/loadavg: 4.03 4.73 6.29 5/175 25927
/proc/meminfo: memFree=13481368/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1221660 CPUtime=4242.43 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6054711 0 0 0 423208 1035 0 0 25 0 4 0 594326915 1250979840 254322 33554432000 4194304 4623224 140734068003664 18446744073709551615 4415985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 305415 254322 345 105 0 300919 0
[pid=25874/tid=25876] ppid=25872 vsize=1221660 CPUtime=1056.7 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 68762 0 0 0 105629 41 0 0 25 0 4 0 594326927 1250979840 254322 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1221660 CPUtime=1061.74 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 70648 0 0 0 106146 28 0 0 25 0 4 0 594326927 1250979840 254322 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1221660 CPUtime=1062.03 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 5793014 0 0 0 105261 942 0 0 25 0 4 0 594326927 1250979840 254322 33554432000 4194304 4623224 140734068003664 18446744073709551615 218880232320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 1221660

[startup+1122.3 s]
/proc/loadavg: 4.07 4.61 6.15 5/175 25929
/proc/meminfo: memFree=13483228/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1288076 CPUtime=4482.13 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6357407 0 0 0 447125 1088 0 0 25 0 4 0 594326915 1318989824 263539 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 322019 263539 345 105 0 317523 0
[pid=25874/tid=25876] ppid=25872 vsize=1288076 CPUtime=1116.41 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 71871 0 0 0 111598 43 0 0 25 0 4 0 594326927 1318989824 263539 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1288076 CPUtime=1121.73 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 72349 0 0 0 112143 30 0 0 25 0 4 0 594326927 1318989824 263539 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1288076 CPUtime=1122.04 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 6090211 0 0 0 111212 992 0 0 25 0 4 0 594326927 1318989824 263539 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.13
Current children cumulated vsize (KiB) 1288076

[startup+1182.3 s]
/proc/loadavg: 4.02 4.50 6.01 5/175 25930
/proc/meminfo: memFree=13418260/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1360436 CPUtime=4721.85 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6632146 0 0 0 471014 1171 0 0 25 0 4 0 594326915 1393086464 280236 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 340109 280236 345 105 0 335613 0
[pid=25874/tid=25876] ppid=25872 vsize=1360436 CPUtime=1176.13 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 79033 0 0 0 117548 65 0 0 25 0 4 0 594326927 1393086464 280236 33554432000 4194304 4623224 140734068003664 18446744073709551615 4463084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1360436 CPUtime=1181.73 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 75350 0 0 0 118131 42 0 0 25 0 4 0 594326927 1393086464 280236 33554432000 4194304 4623224 140734068003664 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1360436 CPUtime=1182.04 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 6354099 0 0 0 117164 1040 0 0 25 0 4 0 594326927 1393086464 280236 33554432000 4194304 4623224 140734068003664 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.85
Current children cumulated vsize (KiB) 1360436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.02 4.46 5.97 5/175 25931
/proc/meminfo: memFree=13409328/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1376868 CPUtime=4800.17 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6723035 0 0 0 478830 1187 0 0 25 0 4 0 594326915 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 344217 282316 345 105 0 339721 0
[pid=25874/tid=25876] ppid=25872 vsize=1376868 CPUtime=1195.65 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 79169 0 0 0 119500 65 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1376868 CPUtime=1201.33 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 75411 0 0 0 120091 42 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1376868 CPUtime=1201.65 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 6444443 0 0 0 119108 1057 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1376868

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

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

[startup+1201.9 s]
/proc/loadavg: 4.02 4.46 5.97 5/175 25931
/proc/meminfo: memFree=13409328/32950928 swapFree=67111528/67111528
[pid=25874] ppid=25872 vsize=1376868 CPUtime=4800.17 cores=0,2,4,6
/proc/25874/stat : 25874 (SArTagnan) R 25872 25874 25497 0 -1 4202496 6723035 0 0 0 478830 1187 0 0 25 0 4 0 594326915 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25874/statm: 344217 282316 345 105 0 339721 0
[pid=25874/tid=25876] ppid=25872 vsize=1376868 CPUtime=1195.65 cores=0,2,4,6
/proc/25874/task/25876/stat : 25876 (SArTagnan) R 25872 25874 25497 0 -1 4202560 79169 0 0 0 119500 65 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25874/tid=25877] ppid=25872 vsize=1376868 CPUtime=1201.33 cores=0,2,4,6
/proc/25874/task/25877/stat : 25877 (SArTagnan) R 25872 25874 25497 0 -1 4202560 75411 0 0 0 120091 42 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25874/tid=25878] ppid=25872 vsize=1376868 CPUtime=1201.65 cores=0,2,4,6
/proc/25874/task/25878/stat : 25878 (SArTagnan) R 25872 25874 25497 0 -1 4202560 6444443 0 0 0 119108 1057 0 0 25 0 4 0 594326927 1409912832 282316 33554432000 4194304 4623224 140734068003664 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1376868

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.97
CPU time (s): 4800.27
CPU user time (s): 4788.33
CPU system time (s): 11.9352
CPU usage (%): 399.366
Max. virtual memory (cumulated for all children) (KiB): 1376868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.33
system time used= 11.9352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6723037
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= 9075
involuntary context switches= 22454

runsolver used 1.84672 second user time and 4.10938 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 03:36:03
IDJOB=3281677
IDBENCH=69598
IDSOLVER=1656
FILE ID=node112/3281677-1304040962
RUNJOBID= node112-1304037872-25515
PBS_JOBID= 13170375
Free space on /tmp= 72432 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-4.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281677-1304040962/watcher-3281677-1304040962 -o /tmp/evaluation-result-3281677-1304040962/solver-3281677-1304040962 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3281677-1304040962.cnf -threads=4

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

MD5SUM BENCH= f43e1bf70d9ce8021bafd328efc83ae7
RANDOM SEED=999858400

node112.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.828
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.65
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.828
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.828
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.828
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.82
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.828
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	: 5261.27
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.828
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.828
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       8619464 kB
Buffers:       1994452 kB
Cached:       15928668 kB
SwapCached:          0 kB
Active:       12979124 kB
Inactive:     10786536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8619464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4680 kB
Writeback:           0 kB
AnonPages:     5842228 kB
Mapped:          15460 kB
Slab:           492008 kB
PageTables:      16280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  7341852 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= 72560 MiB
End job on node112 at 2011-04-29 03:56:06