Trace number 3386218

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) 3902.67 1300.08

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
MD5SUM780d946576ec5746b4ea9832bb01dbc5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1033.89
Satisfiable
(Un)Satisfiability was proved
Number of variables229544
Number of clauses1070757
Sum of the clauses size2471122
Maximum clause length10
Minimum clause length1
Number of clauses of size 119156
Number of clauses of size 2831957
Number of clauses of size 3176604
Number of clauses of size 44780
Number of clauses of size 519120
Number of clauses of size over 519140

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-3386218-1305576495/watcher-3386218-1305576495 -o /tmp/evaluation-result-3386218-1305576495/solver-3386218-1305576495 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386218-1305576495.cnf -threads=4 

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

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


[startup+0 s]
/proc/loadavg: 9.51 10.08 10.13 4/512 10130
/proc/meminfo: memFree=13521876/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=27496 CPUtime=0 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2565 0 0 0 0 0 0 0 21 0 1 0 669247310 28155904 2503 33554432000 4194304 4625164 140736171752832 18446744073709551615 4305886 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/10130/statm: 6874 2516 291 106 0 2377 0

[startup+0.104678 s]
/proc/loadavg: 9.51 10.08 10.13 4/512 10130
/proc/meminfo: memFree=13521876/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=71136 CPUtime=0.09 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 8958 0 0 0 9 0 0 0 21 0 1 0 669247310 72843264 6299 33554432000 4194304 4625164 140736171752832 18446744073709551615 212687675136 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/10130/statm: 17784 6300 296 106 0 13287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71136

[startup+0.200663 s]
/proc/loadavg: 9.51 10.08 10.13 4/512 10130
/proc/meminfo: memFree=13521876/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=84952 CPUtime=0.19 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 13719 0 0 0 18 1 0 0 21 0 1 0 669247310 86990848 9512 33554432000 4194304 4625164 140736171752832 18446744073709551615 212687372747 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/10130/statm: 21238 9534 296 106 0 16741 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 84952

[startup+0.300643 s]
/proc/loadavg: 9.51 10.08 10.13 4/512 10130
/proc/meminfo: memFree=13521876/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=89112 CPUtime=0.28 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 16766 0 0 0 27 1 0 0 22 0 1 0 669247310 91250688 10478 33554432000 4194304 4625164 140736171752832 18446744073709551615 4356567 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/10130/statm: 22278 10478 299 106 0 17781 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 89112

[startup+0.700541 s]
/proc/loadavg: 9.51 10.08 10.13 4/512 10130
/proc/meminfo: memFree=13521876/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=387420 CPUtime=1.11 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 52083 0 0 0 106 5 0 0 25 0 4 0 669247310 396718080 45794 33554432000 4194304 4625164 140736171752832 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 96855 45794 331 106 0 92358 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 387420

[startup+1.5004 s]
/proc/loadavg: 9.30 10.03 10.11 11/519 10137
/proc/meminfo: memFree=13228072/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=452956 CPUtime=3.5 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 58040 0 0 0 343 7 0 0 25 0 4 0 669247310 463826944 49583 33554432000 4194304 4625164 140736171752832 18446744073709551615 4503296 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 113239 49583 336 106 0 108742 0
[pid=10130/tid=10135] ppid=10128 vsize=452956 CPUtime=1.01 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 1327 0 0 0 101 0 0 0 25 0 4 0 669247358 463826944 49583 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334163 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=452956 CPUtime=0.88 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 3903 0 0 0 88 0 0 0 25 0 4 0 669247358 463826944 49583 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=452956 CPUtime=0.7 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 1902 0 0 0 70 0 0 0 25 0 4 0 669247358 463826944 49583 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 452956

[startup+3.1011 s]
/proc/loadavg: 9.30 10.03 10.11 11/519 10137
/proc/meminfo: memFree=13221632/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=452956 CPUtime=8.28 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 59413 0 0 0 821 7 0 0 25 0 4 0 669247310 463826944 50956 33554432000 4194304 4625164 140736171752832 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 113239 50956 336 106 0 108742 0
[pid=10130/tid=10135] ppid=10128 vsize=452956 CPUtime=2.61 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 1336 0 0 0 261 0 0 0 25 0 4 0 669247358 463826944 50956 33554432000 4194304 4625164 140736171752832 18446744073709551615 4464266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=452956 CPUtime=2.48 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 4409 0 0 0 248 0 0 0 25 0 4 0 669247358 463826944 50956 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=452956 CPUtime=1.49 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 1902 0 0 0 149 0 0 0 25 0 4 0 669247358 463826944 50956 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 452956

[startup+6.30052 s]
/proc/loadavg: 9.44 10.05 10.12 11/519 10137
/proc/meminfo: memFree=13212456/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=463944 CPUtime=17.82 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 63307 0 0 0 1775 7 0 0 25 0 4 0 669247310 475078656 54343 33554432000 4194304 4625164 140736171752832 18446744073709551615 4340576 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 115986 54343 397 106 0 111489 0
[pid=10130/tid=10135] ppid=10128 vsize=463944 CPUtime=5.81 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 1434 0 0 0 581 0 0 0 25 0 4 0 669247358 475078656 54343 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=463944 CPUtime=5.68 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 4464 0 0 0 568 0 0 0 25 0 4 0 669247358 475078656 54343 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=463944 CPUtime=3 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2778 0 0 0 300 0 0 0 25 0 4 0 669247358 475078656 54343 33554432000 4194304 4625164 140736171752832 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17.82
Current children cumulated vsize (KiB) 463944

[startup+12.7004 s]
/proc/loadavg: 9.48 10.04 10.11 11/519 10137
/proc/meminfo: memFree=13156612/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=502408 CPUtime=36.91 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 74506 0 0 0 3681 10 0 0 25 0 4 0 669247310 514465792 62444 33554432000 4194304 4625164 140736171752832 18446744073709551615 4390592 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10130/statm: 125602 62444 460 106 0 121105 0
[pid=10130/tid=10135] ppid=10128 vsize=502408 CPUtime=11.3 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 3486 0 0 0 1130 0 0 0 25 0 4 0 669247358 514465792 62444 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=502408 CPUtime=11.25 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 7409 0 0 0 1124 1 0 0 25 0 4 0 669247358 514465792 62444 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=502408 CPUtime=7 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2927 0 0 0 700 0 0 0 25 0 4 0 669247358 514465792 62444 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547441 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 36.91
Current children cumulated vsize (KiB) 502408

[startup+25.501 s]
/proc/loadavg: 9.60 10.04 10.11 11/519 10138
/proc/meminfo: memFree=13104792/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=502408 CPUtime=75.08 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 88477 0 0 0 7495 13 0 0 25 0 4 0 669247310 514465792 66238 33554432000 4194304 4625164 140736171752832 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10130/statm: 125602 66238 460 106 0 121105 0
[pid=10130/tid=10135] ppid=10128 vsize=502408 CPUtime=17.7 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 3771 0 0 0 1770 0 0 0 25 0 4 0 669247358 514465792 66238 33554432000 4194304 4625164 140736171752832 18446744073709551615 4352636 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=502408 CPUtime=17.65 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 8046 0 0 0 1764 1 0 0 25 0 4 0 669247358 514465792 66238 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=502408 CPUtime=19.57 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 13789 0 0 0 1955 2 0 0 25 0 4 0 669247358 514465792 66238 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 75.08
Current children cumulated vsize (KiB) 502408

[startup+51.1004 s]
/proc/loadavg: 9.73 10.04 10.11 11/519 10138
/proc/meminfo: memFree=12976320/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=513412 CPUtime=151.44 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 143783 0 0 0 15120 24 0 0 25 0 4 0 669247310 525733888 71475 33554432000 4194304 4625164 140736171752832 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10130/statm: 128353 71475 467 106 0 123856 0
[pid=10130/tid=10135] ppid=10128 vsize=513412 CPUtime=30.6 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 7489 0 0 0 3059 1 0 0 25 0 4 0 669247358 525733888 71475 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=513412 CPUtime=30.44 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 13003 0 0 0 3041 3 0 0 25 0 4 0 669247358 525733888 71475 33554432000 4194304 4625164 140736171752832 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=513412 CPUtime=44.65 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 59937 0 0 0 4455 10 0 0 25 0 4 0 669247358 525733888 71475 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 151.44
Current children cumulated vsize (KiB) 513412

[startup+102.301 s]
/proc/loadavg: 9.96 10.04 10.10 11/519 10140
/proc/meminfo: memFree=12696344/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=535768 CPUtime=317.35 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 215418 0 0 0 31696 39 0 0 25 0 4 0 669247310 548626432 78808 33554432000 4194304 4625164 140736171752832 18446744073709551615 4390688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 133942 78808 428 106 0 129445 0
[pid=10130/tid=10135] ppid=10128 vsize=535768 CPUtime=73.98 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 15825 0 0 0 7394 4 0 0 25 0 4 0 669247358 548626432 78809 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288722 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=535768 CPUtime=70.26 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 19496 0 0 0 7020 6 0 0 25 0 4 0 669247358 548626432 78809 33554432000 4194304 4625164 140736171752832 18446744073709551615 4316690 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=535768 CPUtime=81.06 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 113546 0 0 0 8086 20 0 0 25 0 4 0 669247358 548626432 78809 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 317.35
Current children cumulated vsize (KiB) 535768

[startup+162.301 s]
/proc/loadavg: 10.14 10.08 10.11 11/519 10141
/proc/meminfo: memFree=12184096/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=548144 CPUtime=501.64 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 227840 0 0 0 50121 43 0 0 25 0 4 0 669247310 561299456 83080 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 137036 83080 428 106 0 132539 0
[pid=10130/tid=10135] ppid=10128 vsize=548144 CPUtime=112.37 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 24035 0 0 0 11231 6 0 0 25 0 4 0 669247358 561299456 83080 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=548144 CPUtime=118.81 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 20443 0 0 0 11875 6 0 0 25 0 4 0 669247358 561299456 83080 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=548144 CPUtime=125.57 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 113946 0 0 0 12537 20 0 0 25 0 4 0 669247358 561299456 83080 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334147 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 501.64
Current children cumulated vsize (KiB) 548144

[startup+222.32 s]
/proc/loadavg: 10.05 10.06 10.09 11/519 10143
/proc/meminfo: memFree=11800176/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=548144 CPUtime=680.67 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 237943 0 0 0 68020 47 0 0 25 0 4 0 669247310 561299456 87241 33554432000 4194304 4625164 140736171752832 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10130/statm: 137036 87241 428 106 0 132539 0
[pid=10130/tid=10135] ppid=10128 vsize=548144 CPUtime=169.45 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 27665 0 0 0 16937 8 0 0 25 0 4 0 669247358 561299456 87241 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=548144 CPUtime=178.84 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 20939 0 0 0 17877 7 0 0 25 0 4 0 669247358 561299456 87241 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=548144 CPUtime=157.37 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 119554 0 0 0 15716 21 0 0 25 0 4 0 669247358 561299456 87241 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547164 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 680.67
Current children cumulated vsize (KiB) 548144

[startup+282.3 s]

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

[pid=10130] ppid=10128 vsize=894384 CPUtime=2291.34 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2305006 0 0 0 228743 391 0 0 25 0 4 0 669247310 915849216 166865 33554432000 4194304 4625164 140736171752832 18446744073709551615 4512869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 223596 166865 347 106 0 219099 0
[pid=10130/tid=10135] ppid=10128 vsize=894384 CPUtime=611.63 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 107470 0 0 0 61135 28 0 0 25 0 4 0 669247358 915849216 166865 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=894384 CPUtime=518.49 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 34124 0 0 0 51834 15 0 0 25 0 4 0 669247358 915849216 166865 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=894384 CPUtime=502.35 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2029631 0 0 0 49909 326 0 0 25 0 4 0 669247358 915849216 166865 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2291.34
Current children cumulated vsize (KiB) 894384

[startup+822.301 s]
/proc/loadavg: 10.11 10.11 10.09 11/519 10159
/proc/meminfo: memFree=10801472/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1056544 CPUtime=2477.69 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2343589 0 0 0 247370 399 0 0 25 0 4 0 669247310 1081901056 180302 33554432000 4194304 4625164 140736171752832 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 264136 180302 347 106 0 259639 0
[pid=10130/tid=10135] ppid=10128 vsize=1056544 CPUtime=669.44 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 109991 0 0 0 66915 29 0 0 25 0 4 0 669247358 1081901056 180302 33554432000 4194304 4625164 140736171752832 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1056544 CPUtime=578.47 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 35016 0 0 0 57831 16 0 0 25 0 4 0 669247358 1081901056 180302 33554432000 4194304 4625164 140736171752832 18446744073709551615 4317920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1056544 CPUtime=540.88 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2041622 0 0 0 53761 327 0 0 25 0 4 0 669247358 1081901056 180302 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2477.69
Current children cumulated vsize (KiB) 1056544

[startup+882.32 s]
/proc/loadavg: 10.28 10.16 10.11 11/519 10160
/proc/meminfo: memFree=10652164/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1133760 CPUtime=2656.71 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2509329 0 0 0 265245 426 0 0 25 0 4 0 669247310 1160970240 200150 33554432000 4194304 4625164 140736171752832 18446744073709551615 4512032 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10130/statm: 283440 200150 347 106 0 278943 0
[pid=10130/tid=10135] ppid=10128 vsize=1133760 CPUtime=726.12 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 112445 0 0 0 72580 32 0 0 25 0 4 0 669247358 1160970240 200150 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1133760 CPUtime=624.79 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 35295 0 0 0 62463 16 0 0 25 0 4 0 669247358 1160970240 200150 33554432000 4194304 4625164 140736171752832 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1133760 CPUtime=573.21 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2153098 0 0 0 56978 343 0 0 25 0 4 0 669247358 1160970240 200150 33554432000 4194304 4625164 140736171752832 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2656.71
Current children cumulated vsize (KiB) 1133760

[startup+942.3 s]
/proc/loadavg: 10.21 10.16 10.10 11/519 10162
/proc/meminfo: memFree=10550468/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1151736 CPUtime=2835.62 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2533515 0 0 0 283128 434 0 0 25 0 4 0 669247310 1179377664 216978 33554432000 4194304 4625164 140736171752832 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 287934 216978 347 106 0 283437 0
[pid=10130/tid=10135] ppid=10128 vsize=1151736 CPUtime=766.99 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 115237 0 0 0 76664 35 0 0 25 0 4 0 669247358 1179377664 216978 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1151736 CPUtime=667.36 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 35384 0 0 0 66720 16 0 0 25 0 4 0 669247358 1179377664 216978 33554432000 4194304 4625164 140736171752832 18446744073709551615 4288980 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1151736 CPUtime=622 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2161145 0 0 0 61856 344 0 0 25 0 4 0 669247358 1179377664 216978 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334439 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2835.62
Current children cumulated vsize (KiB) 1151736

[startup+1002.3 s]
/proc/loadavg: 10.29 10.18 10.11 11/519 10164
/proc/meminfo: memFree=10451756/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1318200 CPUtime=3014.58 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2592338 0 0 0 301011 447 0 0 25 0 4 0 669247310 1349836800 235421 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 329550 235421 347 106 0 325053 0
[pid=10130/tid=10135] ppid=10128 vsize=1318200 CPUtime=802.13 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 117659 0 0 0 80174 39 0 0 25 0 4 0 669247358 1349836800 235421 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1318200 CPUtime=717.07 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 35490 0 0 0 71691 16 0 0 25 0 4 0 669247358 1349836800 235421 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1318200 CPUtime=682.01 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2165177 0 0 0 67855 346 0 0 25 0 4 0 669247358 1349836800 235421 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3014.58
Current children cumulated vsize (KiB) 1318200

[startup+1062.3 s]
/proc/loadavg: 10.23 10.17 10.11 11/519 10165
/proc/meminfo: memFree=10334316/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1367440 CPUtime=3193.56 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2631643 0 0 0 318900 456 0 0 25 0 4 0 669247310 1400258560 252690 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 341860 252690 347 106 0 337363 0
[pid=10130/tid=10135] ppid=10128 vsize=1367440 CPUtime=832.27 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 119665 0 0 0 83186 41 0 0 25 0 4 0 669247358 1400258560 252690 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1367440 CPUtime=775.47 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 35880 0 0 0 77531 16 0 0 25 0 4 0 669247358 1400258560 252690 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1367440 CPUtime=737.81 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2167004 0 0 0 73435 346 0 0 25 0 4 0 669247358 1400258560 252690 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3193.56
Current children cumulated vsize (KiB) 1367440

[startup+1122.3 s]
/proc/loadavg: 10.23 10.18 10.11 11/519 10167
/proc/meminfo: memFree=10268704/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1372796 CPUtime=3372.52 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2646206 0 0 0 336790 462 0 0 25 0 4 0 669247310 1405743104 265852 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10130/statm: 343199 265852 347 106 0 338702 0
[pid=10130/tid=10135] ppid=10128 vsize=1372796 CPUtime=872.35 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 121959 0 0 0 87191 44 0 0 25 0 4 0 669247358 1405743104 265852 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1372796 CPUtime=824.97 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 36406 0 0 0 82480 17 0 0 25 0 4 0 669247358 1405743104 265852 33554432000 4194304 4625164 140736171752832 18446744073709551615 4316731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1372796 CPUtime=778.14 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2168421 0 0 0 77468 346 0 0 25 0 4 0 669247358 1405743104 265852 33554432000 4194304 4625164 140736171752832 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3372.52
Current children cumulated vsize (KiB) 1372796

[startup+1182.3 s]
/proc/loadavg: 10.16 10.16 10.11 11/519 10168
/proc/meminfo: memFree=10202840/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1397608 CPUtime=3551.5 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2671385 0 0 0 354680 470 0 0 25 0 4 0 669247310 1431150592 280457 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10130/statm: 349402 280457 347 106 0 344905 0
[pid=10130/tid=10135] ppid=10128 vsize=1397608 CPUtime=913.36 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 124296 0 0 0 91289 47 0 0 25 0 4 0 669247358 1431150592 280457 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1397608 CPUtime=873.22 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 47212 0 0 0 87304 18 0 0 25 0 4 0 669247358 1431150592 280457 33554432000 4194304 4625164 140736171752832 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1397608 CPUtime=838.15 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2170467 0 0 0 83468 347 0 0 25 0 4 0 669247358 1431150592 280457 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3551.5
Current children cumulated vsize (KiB) 1397608

[startup+1242.3 s]
/proc/loadavg: 10.19 10.16 10.10 11/519 10170
/proc/meminfo: memFree=10121356/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1499540 CPUtime=3730.45 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 2843450 0 0 0 372550 495 0 0 25 0 4 0 669247310 1535528960 299081 33554432000 4194304 4625164 140736171752832 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10130/statm: 374885 299081 347 106 0 370388 0
[pid=10130/tid=10135] ppid=10128 vsize=1499540 CPUtime=943.33 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 126311 0 0 0 94284 49 0 0 25 0 4 0 669247358 1535528960 299081 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1499540 CPUtime=917.34 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 47675 0 0 0 91715 19 0 0 25 0 4 0 669247358 1535528960 299081 33554432000 4194304 4625164 140736171752832 18446744073709551615 4317268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1499540 CPUtime=893.55 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2276986 0 0 0 88994 361 0 0 25 0 4 0 669247358 1535528960 299081 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3730.45
Current children cumulated vsize (KiB) 1499540



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 9.87 10.09 10.08 7/514 10173
/proc/meminfo: memFree=12268568/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1649052 CPUtime=3902.57 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 3180234 0 0 0 389712 545 0 0 25 0 4 0 669247310 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10130/statm: 412263 321402 347 106 0 407766 0
[pid=10130/tid=10135] ppid=10128 vsize=1649052 CPUtime=972.25 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 163479 0 0 0 97170 55 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1649052 CPUtime=974.05 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 47841 0 0 0 97386 19 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1649052 CPUtime=928.34 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2528221 0 0 0 92434 400 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3902.57
Current children cumulated vsize (KiB) 1649052

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

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

[startup+1300 s]
/proc/loadavg: 9.87 10.09 10.08 7/514 10173
/proc/meminfo: memFree=12268568/32951124 swapFree=67111348/67111528
[pid=10130] ppid=10128 vsize=1649052 CPUtime=3902.57 cores=1,3,5,7
/proc/10130/stat : 10130 (SArTagnan) R 10128 10130 10092 0 -1 4202496 3180234 0 0 0 389712 545 0 0 25 0 4 0 669247310 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10130/statm: 412263 321402 347 106 0 407766 0
[pid=10130/tid=10135] ppid=10128 vsize=1649052 CPUtime=972.25 cores=1,3,5,7
/proc/10130/task/10135/stat : 10135 (SArTagnan) R 10128 10130 10092 0 -1 4202560 163479 0 0 0 97170 55 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10130/tid=10136] ppid=10128 vsize=1649052 CPUtime=974.05 cores=1,3,5,7
/proc/10130/task/10136/stat : 10136 (SArTagnan) R 10128 10130 10092 0 -1 4202560 47841 0 0 0 97386 19 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10130/tid=10137] ppid=10128 vsize=1649052 CPUtime=928.34 cores=1,3,5,7
/proc/10130/task/10137/stat : 10137 (SArTagnan) R 10128 10130 10092 0 -1 4202560 2528221 0 0 0 92434 400 0 0 25 0 4 0 669247358 1688629248 321402 33554432000 4194304 4625164 140736171752832 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3902.57
Current children cumulated vsize (KiB) 1649052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 3902.67
CPU user time (s): 3897.16
CPU system time (s): 5.50816
CPU usage (%): 300.188
Max. virtual memory (cumulated for all children) (KiB): 1774056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3897.16
system time used= 5.50816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3180368
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= 2613
involuntary context switches= 31407

runsolver used 6.22505 second user time and 16.2095 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 22:08:16
IDJOB=3386218
IDBENCH=20384
IDSOLVER=1871
FILE ID=node139/3386218-1305576495
RUNJOBID= node139-1305576495-10111
PBS_JOBID= 13350204
Free space on /tmp= 73244 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386218-1305576495/watcher-3386218-1305576495 -o /tmp/evaluation-result-3386218-1305576495/solver-3386218-1305576495 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386218-1305576495.cnf -threads=4

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

MD5SUM BENCH= 780d946576ec5746b4ea9832bb01dbc5
RANDOM SEED=1462646649

node139.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.852
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.852
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.852
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.74
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.852
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.75
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13522156 kB
Buffers:        341948 kB
Cached:        3364324 kB
SwapCached:          0 kB
Active:       16882028 kB
Inactive:      2193820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13522156 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           33028 kB
Writeback:          20 kB
AnonPages:    15369892 kB
Mapped:          39552 kB
Slab:           210376 kB
PageTables:      70084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 140783308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73252 MiB
End job on node139 at 2011-05-16 22:29:58