Trace number 3251222

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
MD5SUM556c58061360a1b195d9b2f28888af77
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.03469
Satisfiable
(Un)Satisfiability was proved
Number of variables2115
Number of clauses356340
Sum of the clauses size714705
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2356295
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251222-1304122969/watcher-3251222-1304122969 -o /tmp/evaluation-result-3251222-1304122969/solver-3251222-1304122969 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3251222-1304122969.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: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=27272 CPUtime=0 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 615 0 0 0 0 0 0 0 24 0 1 0 504713183 27926528 495 33554432000 4194304 4623224 140735380969760 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26750/statm: 6818 495 297 105 0 2322 0

[startup+0.039375 s]
/proc/loadavg: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=29428 CPUtime=0.03 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 2152 0 0 0 3 0 0 0 24 0 1 0 504713183 30134272 953 33554432000 4194304 4623224 140735380969760 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26750/statm: 7357 953 297 105 0 2861 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29428

[startup+0.107476 s]
/proc/loadavg: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=210724 CPUtime=0.14 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 8087 0 0 0 13 1 0 0 25 0 4 0 504713183 215781376 5411 33554432000 4194304 4623224 140735380969760 18446744073709551615 212039352431 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 52681 5411 331 105 0 48185 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 210724

[startup+0.361264 s]
/proc/loadavg: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=319816 CPUtime=1.38 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) S 26748 26750 26718 0 -1 4202496 33338 0 0 0 129 9 0 0 18 0 4 0 504713183 327491584 19883 33554432000 4194304 4623224 140735380969760 18446744073709551615 212039760366 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 79954 19883 382 105 0 75458 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 319816

[startup+1.10411 s]
/proc/loadavg: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=319816 CPUtime=4.11 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 37552 0 0 0 399 12 0 0 19 0 4 0 504713183 327491584 23845 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 79954 23845 375 105 0 75458 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 319816

[startup+1.50104 s]
/proc/loadavg: 3.43 5.44 6.86 2/174 26750
/proc/meminfo: memFree=31084020/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=319816 CPUtime=5.7 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 38930 0 0 0 557 13 0 0 19 0 4 0 504713183 327491584 25221 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510621 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 79954 25221 387 105 0 75458 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 319816

[startup+3.10076 s]
/proc/loadavg: 3.63 5.44 6.86 9/184 26763
/proc/meminfo: memFree=30794656/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=320444 CPUtime=12.09 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 47063 0 0 0 1195 14 0 0 25 0 4 0 504713183 328134656 31668 33554432000 4194304 4623224 140735380969760 18446744073709551615 4497500 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 80111 31668 387 105 0 75615 0
[pid=26750/tid=26752] ppid=26748 vsize=320444 CPUtime=3 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 5399 0 0 0 299 1 0 0 25 0 4 0 504713192 328134656 31668 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=320444 CPUtime=2.99 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 8208 0 0 0 294 5 0 0 23 0 4 0 504713192 328134656 31668 33554432000 4194304 4623224 140735380969760 18446744073709551615 4461235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=320444 CPUtime=3 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3889 0 0 0 300 0 0 0 25 0 4 0 504713192 328134656 31668 33554432000 4194304 4623224 140735380969760 18446744073709551615 4561448 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 320444

[startup+6.30119 s]
/proc/loadavg: 3.98 5.49 6.86 9/184 26763
/proc/meminfo: memFree=30703640/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=327516 CPUtime=24.86 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 65375 0 0 0 2469 17 0 0 25 0 4 0 504713183 335376384 40333 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 81879 40333 387 105 0 77383 0
[pid=26750/tid=26752] ppid=26748 vsize=327516 CPUtime=6.2 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 9285 0 0 0 618 2 0 0 25 0 4 0 504713192 335376384 40333 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=327516 CPUtime=6.19 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 12115 0 0 0 613 6 0 0 25 0 4 0 504713192 335376384 40333 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=327516 CPUtime=6.19 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 14110 0 0 0 618 1 0 0 25 0 4 0 504713192 335376384 40333 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545390 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 327516

[startup+12.701 s]
/proc/loadavg: 4.38 5.54 6.87 9/184 26764
/proc/meminfo: memFree=30511752/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=405356 CPUtime=50.45 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 97187 0 0 0 5020 25 0 0 25 0 4 0 504713183 415084544 60329 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 101339 60329 495 105 0 96843 0
[pid=26750/tid=26752] ppid=26748 vsize=405356 CPUtime=12.6 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 18358 0 0 0 1255 5 0 0 25 0 4 0 504713192 415084544 60329 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=405356 CPUtime=12.6 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 17614 0 0 0 1252 8 0 0 25 0 4 0 504713192 415084544 60329 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=405356 CPUtime=12.6 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 30010 0 0 0 1256 4 0 0 25 0 4 0 504713192 415084544 60329 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545943 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 405356

[startup+25.5008 s]
/proc/loadavg: 5.02 5.64 6.89 9/184 26764
/proc/meminfo: memFree=30283984/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=528004 CPUtime=101.56 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 131899 0 0 0 10120 36 0 0 25 0 4 0 504713183 540676096 88438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 132001 88438 720 105 0 127505 0
[pid=26750/tid=26752] ppid=26748 vsize=528004 CPUtime=25.4 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 26829 0 0 0 2532 8 0 0 25 0 4 0 504713192 540676096 88438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=528004 CPUtime=25.38 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 30302 0 0 0 2525 13 0 0 25 0 4 0 504713192 540676096 88438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=528004 CPUtime=25.4 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 35326 0 0 0 2534 6 0 0 25 0 4 0 504713192 540676096 88438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545997 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 528004

[startup+51.1002 s]
/proc/loadavg: 6.10 5.85 6.92 9/184 26765
/proc/meminfo: memFree=29719180/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=987924 CPUtime=203.79 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 407760 0 0 0 20295 84 0 0 25 0 4 0 504713183 1011634176 203397 33554432000 4194304 4623224 140735380969760 18446744073709551615 4388004 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 246981 203397 903 105 0 242485 0
[pid=26750/tid=26752] ppid=26748 vsize=987924 CPUtime=50.99 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 40973 0 0 0 5088 11 0 0 25 0 4 0 504713192 1011634176 203397 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=987924 CPUtime=50.97 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 50480 0 0 0 5074 23 0 0 25 0 4 0 504713192 1011634176 203397 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=987924 CPUtime=50.99 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 68479 0 0 0 5088 11 0 0 25 0 4 0 504713192 1011634176 203397 33554432000 4194304 4623224 140735380969760 18446744073709551615 212039310695 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 987924

[startup+102.301 s]
/proc/loadavg: 7.29 6.22 6.99 9/184 26766
/proc/meminfo: memFree=28833916/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=1403296 CPUtime=408.31 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 767422 0 0 0 40690 141 0 0 25 0 4 0 504713183 1436975104 293118 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 350824 293118 621 105 0 346328 0
[pid=26750/tid=26752] ppid=26748 vsize=1403296 CPUtime=102.18 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 63511 0 0 0 10202 16 0 0 25 0 4 0 504713192 1436975104 293118 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=1403296 CPUtime=102.17 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 72154 0 0 0 10185 32 0 0 25 0 4 0 504713192 1436975104 293118 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=1403296 CPUtime=102.2 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 252124 0 0 0 10183 37 0 0 25 0 4 0 504713192 1436975104 293118 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 1403296

[startup+162.3 s]
/proc/loadavg: 8.08 6.64 7.08 9/184 26771
/proc/meminfo: memFree=28363724/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=1834104 CPUtime=647.96 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 1335426 0 0 0 64564 232 0 0 25 0 4 0 504713183 1878122496 365814 33554432000 4194304 4623224 140735380969760 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 458526 365814 402 105 0 454030 0
[pid=26750/tid=26752] ppid=26748 vsize=1834104 CPUtime=162.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 86241 0 0 0 16195 21 0 0 25 0 4 0 504713192 1878122496 365814 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=1834104 CPUtime=162.15 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 101425 0 0 0 16171 44 0 0 25 0 4 0 504713192 1878122496 365814 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=1834104 CPUtime=162.2 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 607541 0 0 0 16130 90 0 0 25 0 4 0 504713192 1878122496 365814 33554432000 4194304 4623224 140735380969760 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.96
Current children cumulated vsize (KiB) 1834104

[startup+222.301 s]
/proc/loadavg: 8.14 6.91 7.15 9/184 26772
/proc/meminfo: memFree=27958556/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2372744 CPUtime=887.61 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 1653046 0 0 0 88471 290 0 0 25 0 4 0 504713183 2429689856 437939 33554432000 4194304 4623224 140735380969760 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 593186 437939 387 105 0 588690 0
[pid=26750/tid=26752] ppid=26748 vsize=2372744 CPUtime=222.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 86754 0 0 0 22194 22 0 0 25 0 4 0 504713192 2429689856 437939 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2372744 CPUtime=222.14 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 133081 0 0 0 22156 58 0 0 25 0 4 0 504713192 2429689856 437939 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2372744 CPUtime=222.2 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 632535 0 0 0 22127 93 0 0 25 0 4 0 504713192 2429689856 437939 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.61
Current children cumulated vsize (KiB) 2372744

[startup+282.307 s]
/proc/loadavg: 8.15 7.14 7.21 9/184 26774
/proc/meminfo: memFree=27834372/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2404480 CPUtime=1127.3 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 1822441 0 0 0 112410 320 0 0 25 0 4 0 504713183 2462187520 449354 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 601120 449354 370 105 0 596624 0
[pid=26750/tid=26752] ppid=26748 vsize=2404480 CPUtime=282.17 cores=0,2,4,6

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

Current children cumulated CPU time (s) 2565.3
Current children cumulated vsize (KiB) 2536772

[startup+702.301 s]
/proc/loadavg: 8.02 7.86 7.52 9/184 26785
/proc/meminfo: memFree=27093888/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2644832 CPUtime=2804.98 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4208003 0 0 0 279766 732 0 0 25 0 4 0 504713183 2708307968 530618 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 661208 530618 342 105 0 656712 0
[pid=26750/tid=26752] ppid=26748 vsize=2644832 CPUtime=702.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 93647 0 0 0 70193 23 0 0 25 0 4 0 504713192 2708307968 530618 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2644832 CPUtime=702.1 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 135071 0 0 0 70150 60 0 0 25 0 4 0 504713192 2708307968 530618 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2644832 CPUtime=702.21 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3117733 0 0 0 69702 519 0 0 25 0 4 0 504713192 2708307968 530618 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.98
Current children cumulated vsize (KiB) 2644832

[startup+762.301 s]
/proc/loadavg: 8.01 7.88 7.55 9/184 26787
/proc/meminfo: memFree=26991288/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2661336 CPUtime=3044.65 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4222789 0 0 0 303729 736 0 0 25 0 4 0 504713183 2725208064 544456 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415031 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 665334 544456 342 105 0 660838 0
[pid=26750/tid=26752] ppid=26748 vsize=2661336 CPUtime=762.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 93764 0 0 0 76192 24 0 0 25 0 4 0 504713192 2725208064 544456 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2661336 CPUtime=762.11 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 135477 0 0 0 76150 61 0 0 25 0 4 0 504713192 2725208064 544456 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2661336 CPUtime=762.21 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3122418 0 0 0 75700 521 0 0 25 0 4 0 504713192 2725208064 544456 33554432000 4194304 4623224 140735380969760 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.65
Current children cumulated vsize (KiB) 2661336

[startup+822.3 s]
/proc/loadavg: 8.00 7.90 7.58 9/184 26788
/proc/meminfo: memFree=26884848/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2692072 CPUtime=3284.34 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4234765 0 0 0 327694 740 0 0 25 0 4 0 504713183 2756681728 555628 33554432000 4194304 4623224 140735380969760 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 673018 555628 342 105 0 668522 0
[pid=26750/tid=26752] ppid=26748 vsize=2692072 CPUtime=822.17 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 93925 0 0 0 82193 24 0 0 25 0 4 0 504713192 2756681728 555628 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2692072 CPUtime=822.1 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136062 0 0 0 82149 61 0 0 25 0 4 0 504713192 2756681728 555628 33554432000 4194304 4623224 140735380969760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2692072 CPUtime=822.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3128826 0 0 0 81699 523 0 0 25 0 4 0 504713192 2756681728 555628 33554432000 4194304 4623224 140735380969760 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.34
Current children cumulated vsize (KiB) 2692072

[startup+882.301 s]
/proc/loadavg: 8.00 7.91 7.60 9/184 26790
/proc/meminfo: memFree=26681068/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2743104 CPUtime=3523.99 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4262422 0 0 0 351654 745 0 0 25 0 4 0 504713183 2808938496 564702 33554432000 4194304 4623224 140735380969760 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 685776 564702 342 105 0 681280 0
[pid=26750/tid=26752] ppid=26748 vsize=2743104 CPUtime=882.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94084 0 0 0 88192 24 0 0 25 0 4 0 504713192 2808938496 564702 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2743104 CPUtime=882.09 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136112 0 0 0 88148 61 0 0 25 0 4 0 504713192 2808938496 564702 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2743104 CPUtime=882.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3133472 0 0 0 87698 524 0 0 25 0 4 0 504713192 2808938496 564702 33554432000 4194304 4623224 140735380969760 18446744073709551615 4549326 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.99
Current children cumulated vsize (KiB) 2743104

[startup+942.307 s]
/proc/loadavg: 8.05 7.94 7.63 9/184 26791
/proc/meminfo: memFree=26344608/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2759572 CPUtime=3763.69 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4272676 0 0 0 375620 749 0 0 25 0 4 0 504713183 2825801728 573985 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 689893 573985 342 105 0 685397 0
[pid=26750/tid=26752] ppid=26748 vsize=2759572 CPUtime=942.17 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94230 0 0 0 94193 24 0 0 25 0 4 0 504713192 2825801728 573985 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2759572 CPUtime=942.1 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136310 0 0 0 94148 62 0 0 25 0 4 0 504713192 2825801728 573985 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2759572 CPUtime=942.23 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3138065 0 0 0 93698 525 0 0 25 0 4 0 504713192 2825801728 573985 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.69
Current children cumulated vsize (KiB) 2759572

[startup+1002.3 s]
/proc/loadavg: 8.06 7.96 7.65 9/184 26793
/proc/meminfo: memFree=26130288/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2775820 CPUtime=4003.34 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4281865 0 0 0 399582 752 0 0 25 0 4 0 504713183 2842439680 582251 33554432000 4194304 4623224 140735380969760 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 693955 582251 342 105 0 689459 0
[pid=26750/tid=26752] ppid=26748 vsize=2775820 CPUtime=1002.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94374 0 0 0 100192 24 0 0 25 0 4 0 504713192 2842439680 582251 33554432000 4194304 4623224 140735380969760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2775820 CPUtime=1002.09 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136352 0 0 0 100147 62 0 0 25 0 4 0 504713192 2842439680 582251 33554432000 4194304 4623224 140735380969760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2775820 CPUtime=1002.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3142380 0 0 0 99695 527 0 0 25 0 4 0 504713192 2842439680 582251 33554432000 4194304 4623224 140735380969760 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.34
Current children cumulated vsize (KiB) 2775820

[startup+1062.3 s]
/proc/loadavg: 8.06 7.98 7.68 9/184 26795
/proc/meminfo: memFree=25903700/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2790844 CPUtime=4243.01 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4291766 0 0 0 423547 754 0 0 25 0 4 0 504713183 2857824256 591229 33554432000 4194304 4623224 140735380969760 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 697711 591229 342 105 0 693215 0
[pid=26750/tid=26752] ppid=26748 vsize=2790844 CPUtime=1062.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94508 0 0 0 106192 24 0 0 25 0 4 0 504713192 2857824256 591229 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2790844 CPUtime=1062.09 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136478 0 0 0 106147 62 0 0 25 0 4 0 504713192 2857824256 591229 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2790844 CPUtime=1062.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3146781 0 0 0 105695 527 0 0 25 0 4 0 504713192 2857824256 591229 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.01
Current children cumulated vsize (KiB) 2790844

[startup+1122.3 s]
/proc/loadavg: 8.12 8.01 7.70 9/184 26796
/proc/meminfo: memFree=25712560/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=2805460 CPUtime=4482.69 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4300930 0 0 0 447513 756 0 0 25 0 4 0 504713183 2872791040 599438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415071 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 701365 599438 342 105 0 696869 0
[pid=26750/tid=26752] ppid=26748 vsize=2805460 CPUtime=1122.16 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94714 0 0 0 112192 24 0 0 25 0 4 0 504713192 2872791040 599438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=2805460 CPUtime=1122.08 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 136778 0 0 0 112146 62 0 0 25 0 4 0 504713192 2872791040 599438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=2805460 CPUtime=1122.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3151019 0 0 0 111694 528 0 0 25 0 4 0 504713192 2872791040 599438 33554432000 4194304 4623224 140735380969760 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.69
Current children cumulated vsize (KiB) 2805460

[startup+1182.3 s]
/proc/loadavg: 8.13 8.04 7.73 9/184 26798
/proc/meminfo: memFree=25212680/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=3309084 CPUtime=4722.32 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4582141 0 0 0 471435 797 0 0 25 0 4 0 504713183 3388502016 637973 33554432000 4194304 4623224 140735380969760 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 827271 637973 342 105 0 822775 0
[pid=26750/tid=26752] ppid=26748 vsize=3309084 CPUtime=1182.13 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 94973 0 0 0 118189 24 0 0 25 0 4 0 504713192 3388502016 637973 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=3309084 CPUtime=1182.08 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 137486 0 0 0 118146 62 0 0 25 0 4 0 504713192 3388502016 637973 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=3309084 CPUtime=1182.22 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3155675 0 0 0 117693 529 0 0 25 0 4 0 504713192 3388502016 637973 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.32
Current children cumulated vsize (KiB) 3309084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.09 8.03 7.73 9/184 26798
/proc/meminfo: memFree=25147188/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=3351296 CPUtime=4800.26 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4202496 4604962 0 0 0 479225 801 0 0 25 0 4 0 504713183 3431727104 641912 33554432000 4194304 4623224 140735380969760 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26750/statm: 837824 641912 342 105 0 833328 0
[pid=26750/tid=26752] ppid=26748 vsize=3351296 CPUtime=1201.64 cores=0,2,4,6
/proc/26750/task/26752/stat : 26752 (SArTagnan) R 26748 26750 26718 0 -1 4202560 115394 0 0 0 120137 27 0 0 25 0 4 0 504713192 3431727104 641912 33554432000 4194304 4623224 140735380969760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26750/tid=26753] ppid=26748 vsize=3351296 CPUtime=1201.58 cores=0,2,4,6
/proc/26750/task/26753/stat : 26753 (SArTagnan) R 26748 26750 26718 0 -1 4202560 137596 0 0 0 120096 62 0 0 25 0 4 0 504713192 3431727104 641912 33554432000 4194304 4623224 140735380969760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26750/tid=26754] ppid=26748 vsize=3351296 CPUtime=1201.74 cores=0,2,4,6
/proc/26750/task/26754/stat : 26754 (SArTagnan) R 26748 26750 26718 0 -1 4202560 3156962 0 0 0 119644 530 0 0 25 0 4 0 504713192 3431727104 641912 33554432000 4194304 4623224 140735380969760 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 3351296

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

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

[startup+1201.92 s]
/proc/loadavg: 8.09 8.03 7.73 9/184 26798
/proc/meminfo: memFree=25147188/32951124 swapFree=67106388/67111528
[pid=26750] ppid=26748 vsize=0 CPUtime=4800.38 cores=0,2,4,6
/proc/26750/stat : 26750 (SArTagnan) R 26748 26750 26718 0 -1 4203524 4604962 0 0 0 479227 811 0 0 25 0 1 0 504713183 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26750/statm: 0 0 0 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): 1201.93
CPU time (s): 4800.4
CPU user time (s): 4792.27
CPU system time (s): 8.12476
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 4271840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.27
system time used= 8.12476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4604962
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= 1696
involuntary context switches= 24368

runsolver used 1.87471 second user time and 4.68729 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-30 02:22:49
IDJOB=3251222
IDBENCH=88216
IDSOLVER=1656
FILE ID=node146/3251222-1304122969
RUNJOBID= node146-1304122969-26736
PBS_JOBID= 13170750
Free space on /tmp= 72992 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251222-1304122969/watcher-3251222-1304122969 -o /tmp/evaluation-result-3251222-1304122969/solver-3251222-1304122969 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3251222-1304122969.cnf -threads=4

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

MD5SUM BENCH= 556c58061360a1b195d9b2f28888af77
RANDOM SEED=2042686803

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31084424 kB
Buffers:        389192 kB
Cached:        1041096 kB
SwapCached:        540 kB
Active:          92832 kB
Inactive:      1399720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31084424 kB
SwapTotal:    67111528 kB
SwapFree:     67106388 kB
Dirty:            5940 kB
Writeback:           0 kB
AnonPages:       61096 kB
Mapped:          14268 kB
Slab:           309812 kB
PageTables:       4872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188516 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= 72976 MiB
End job on node146 at 2011-04-30 02:42:53