Trace number 3386105

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) 3879.84 1300.1

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
MD5SUM836d368f7cf78173b8e7f8b131296e2f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

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-3386105-1305578496/watcher-3386105-1305578496 -o /tmp/evaluation-result-3386105-1305578496/solver-3386105-1305578496 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386105-1305578496.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: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=24872 CPUtime=0 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 464 0 0 0 0 0 0 0 25 0 1 0 748080259 25468928 403 33554432000 4194304 4625164 140737398737536 18446744073709551615 256415088848 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/793/statm: 6218 403 295 106 0 1721 0

[startup+0.04259 s]
/proc/loadavg: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=27352 CPUtime=0.03 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 2214 0 0 0 3 0 0 0 25 0 1 0 748080259 28008448 977 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/793/statm: 6838 977 296 106 0 2341 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27352

[startup+0.145179 s]
/proc/loadavg: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=279120 CPUtime=2.49 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 15629 0 0 0 247 2 0 0 19 0 4 0 748080259 285818880 10706 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 69780 10706 342 106 0 65283 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 279120

[startup+0.980347 s]
/proc/loadavg: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=279120 CPUtime=2.79 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 16322 0 0 0 277 2 0 0 19 0 4 0 748080259 285818880 11399 33554432000 4194304 4625164 140737398737536 18446744073709551615 4499479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 69780 11399 342 106 0 65283 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 279120

[startup+1.08033 s]
/proc/loadavg: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=279120 CPUtime=3.09 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 16447 0 0 0 307 2 0 0 19 0 4 0 748080259 285818880 11524 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 69780 11524 342 106 0 65283 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279120

[startup+1.50025 s]
/proc/loadavg: 9.25 9.19 9.10 8/457 793
/proc/meminfo: memFree=12690760/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=279252 CPUtime=4.34 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 19122 0 0 0 432 2 0 0 19 0 4 0 748080259 285954048 13499 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511899 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 69813 13499 342 106 0 65316 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 279252

[startup+3.10095 s]
/proc/loadavg: 9.23 9.18 9.10 10/461 797
/proc/meminfo: memFree=12626296/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=281548 CPUtime=9.11 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 24038 0 0 0 908 3 0 0 23 0 4 0 748080259 288305152 16288 33554432000 4194304 4625164 140737398737536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 70387 16288 343 106 0 65890 0
[pid=793/tid=795] ppid=791 vsize=281548 CPUtime=0.91 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 1082 0 0 0 91 0 0 0 25 0 4 0 748080266 288305152 16288 33554432000 4194304 4625164 140737398737536 18446744073709551615 4465746 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=281548 CPUtime=2.2 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 4794 0 0 0 220 0 0 0 21 0 4 0 748080266 288305152 16288 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=281548 CPUtime=3.02 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 5153 0 0 0 302 0 0 0 25 0 4 0 748080266 288305152 16288 33554432000 4194304 4625164 140737398737536 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 281548

[startup+6.30035 s]
/proc/loadavg: 9.23 9.18 9.10 10/461 797
/proc/meminfo: memFree=12597528/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=301180 CPUtime=18.64 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 33954 0 0 0 1859 5 0 0 25 0 4 0 748080259 308408320 23529 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 75295 23529 345 106 0 70798 0
[pid=793/tid=795] ppid=791 vsize=301180 CPUtime=3.24 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 3583 0 0 0 324 0 0 0 25 0 4 0 748080266 308408320 23529 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=793/tid=796] ppid=791 vsize=301180 CPUtime=3.8 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 7068 0 0 0 379 1 0 0 25 0 4 0 748080266 308408320 23529 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339628 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=301180 CPUtime=5.43 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 7301 0 0 0 542 1 0 0 25 0 4 0 748080266 308408320 23529 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.64
Current children cumulated vsize (KiB) 301180

[startup+12.7011 s]
/proc/loadavg: 9.36 9.21 9.11 10/461 798
/proc/meminfo: memFree=12552672/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=318732 CPUtime=37.76 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 53952 0 0 0 3768 8 0 0 25 0 4 0 748080259 326381568 33025 33554432000 4194304 4625164 140737398737536 18446744073709551615 4513505 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 79683 33025 352 106 0 75186 0
[pid=793/tid=795] ppid=791 vsize=318732 CPUtime=7.81 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 7329 0 0 0 780 1 0 0 25 0 4 0 748080266 326381568 33028 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=318732 CPUtime=7.77 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 11038 0 0 0 776 1 0 0 25 0 4 0 748080266 326381568 33028 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=793/tid=797] ppid=791 vsize=318732 CPUtime=9.64 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 18036 0 0 0 961 3 0 0 25 0 4 0 748080266 326381568 33028 33554432000 4194304 4625164 140737398737536 18446744073709551615 4375426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37.76
Current children cumulated vsize (KiB) 318732

[startup+25.5007 s]
/proc/loadavg: 9.30 9.20 9.10 10/461 798
/proc/meminfo: memFree=12485952/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=359956 CPUtime=75.94 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 104239 0 0 0 7578 16 0 0 25 0 4 0 748080259 368594944 47306 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 89989 47306 343 106 0 85492 0
[pid=793/tid=795] ppid=791 vsize=359956 CPUtime=19.38 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 12738 0 0 0 1936 2 0 0 25 0 4 0 748080266 368594944 47306 33554432000 4194304 4625164 140737398737536 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=359956 CPUtime=14.89 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 16494 0 0 0 1486 3 0 0 25 0 4 0 748080266 368594944 47306 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=359956 CPUtime=16.48 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 47092 0 0 0 1642 6 0 0 25 0 4 0 748080266 368594944 47306 33554432000 4194304 4625164 140737398737536 18446744073709551615 256415435111 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 359956

[startup+51.1009 s]
/proc/loadavg: 9.25 9.20 9.10 10/461 799
/proc/meminfo: memFree=12346500/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=532016 CPUtime=151.96 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 205276 0 0 0 15158 38 0 0 25 0 4 0 748080259 544784384 78874 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393080 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/793/statm: 133004 78874 343 106 0 128507 0
[pid=793/tid=795] ppid=791 vsize=532016 CPUtime=38.09 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 23250 0 0 0 3801 8 0 0 25 0 4 0 748080266 544784384 78874 33554432000 4194304 4625164 140737398737536 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=532016 CPUtime=34 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 28573 0 0 0 3393 7 0 0 25 0 4 0 748080266 544784384 78874 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=793/tid=797] ppid=791 vsize=532016 CPUtime=32.99 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 99027 0 0 0 3286 13 0 0 25 0 4 0 748080266 544784384 78874 33554432000 4194304 4625164 140737398737536 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 151.96
Current children cumulated vsize (KiB) 532016

[startup+102.3 s]
/proc/loadavg: 9.29 9.21 9.11 10/461 800
/proc/meminfo: memFree=12097004/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=667712 CPUtime=305.26 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 454840 0 0 0 30436 90 0 0 25 0 4 0 748080259 683737088 132856 33554432000 4194304 4625164 140737398737536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/793/statm: 166928 132856 343 106 0 162431 0
[pid=793/tid=795] ppid=791 vsize=667712 CPUtime=80.08 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 35840 0 0 0 7994 14 0 0 25 0 4 0 748080266 683737088 132856 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=667712 CPUtime=68.35 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 48841 0 0 0 6815 20 0 0 25 0 4 0 748080266 683737088 132856 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=793/tid=797] ppid=791 vsize=667712 CPUtime=68.88 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 260450 0 0 0 6848 40 0 0 25 0 4 0 748080266 683737088 132856 33554432000 4194304 4625164 140737398737536 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 305.26
Current children cumulated vsize (KiB) 667712

[startup+162.301 s]
/proc/loadavg: 9.15 9.19 9.10 10/461 802
/proc/meminfo: memFree=11877264/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=972980 CPUtime=483.32 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 762499 0 0 0 48187 145 0 0 25 0 4 0 748080259 996331520 179160 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 243245 179160 343 106 0 238748 0
[pid=793/tid=795] ppid=791 vsize=972980 CPUtime=126.92 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 53057 0 0 0 12670 22 0 0 19 0 4 0 748080266 996331520 179164 33554432000 4194304 4625164 140737398737536 18446744073709551615 256415052833 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=972980 CPUtime=109.37 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 67910 0 0 0 10907 30 0 0 25 0 4 0 748080266 996331520 179164 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=972980 CPUtime=100.18 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 479929 0 0 0 9949 69 0 0 25 0 4 0 748080266 996331520 179164 33554432000 4194304 4625164 140737398737536 18446744073709551615 4562171 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 483.32
Current children cumulated vsize (KiB) 972980

[startup+222.301 s]
/proc/loadavg: 9.17 9.18 9.10 10/461 803
/proc/meminfo: memFree=11641896/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=1145916 CPUtime=664.82 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 1086319 0 0 0 66284 198 0 0 25 0 4 0 748080259 1173417984 220911 33554432000 4194304 4625164 140737398737536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 286479 220911 343 106 0 281982 0
[pid=793/tid=795] ppid=791 vsize=1145916 CPUtime=169.18 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 60133 0 0 0 16890 28 0 0 25 0 4 0 748080266 1173417984 220911 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=1145916 CPUtime=155.84 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 79949 0 0 0 15545 39 0 0 25 0 4 0 748080266 1173417984 220911 33554432000 4194304 4625164 140737398737536 18446744073709551615 4203632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=1145916 CPUtime=137.01 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 718081 0 0 0 13600 101 0 0 25 0 4 0 748080266 1173417984 220911 33554432000 4194304 4625164 140737398737536 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 664.82
Current children cumulated vsize (KiB) 1145916

[startup+282.317 s]
/proc/loadavg: 9.20 9.19 9.11 10/461 805
/proc/meminfo: memFree=11456372/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=1348076 CPUtime=843.35 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 1330808 0 0 0 84092 243 0 0 25 0 4 0 748080259 1380429824 253104 33554432000 4194304 4625164 140737398737536 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/793/statm: 337019 253104 348 106 0 332522 0
[pid=793/tid=795] ppid=791 vsize=1348076 CPUtime=213.37 cores=0,2,4,6

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

[pid=793] ppid=791 vsize=1882368 CPUtime=2274.86 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 3251418 0 0 0 226932 554 0 0 25 0 4 0 748080259 1927544832 377855 33554432000 4194304 4625164 140737398737536 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 470592 377855 344 106 0 466095 0
[pid=793/tid=795] ppid=791 vsize=1882368 CPUtime=632.25 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 92113 0 0 0 63177 48 0 0 25 0 4 0 748080266 1927544832 377855 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=1882368 CPUtime=497.17 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 113647 0 0 0 49655 62 0 0 25 0 4 0 748080266 1927544832 377855 33554432000 4194304 4625164 140737398737536 18446744073709551615 4330844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=1882368 CPUtime=411.73 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 2553686 0 0 0 40795 378 0 0 25 0 4 0 748080266 1927544832 377855 33554432000 4194304 4625164 140737398737536 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2274.86
Current children cumulated vsize (KiB) 1882368

[startup+822.3 s]
/proc/loadavg: 9.29 9.22 9.12 10/461 865
/proc/meminfo: memFree=10376576/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=1951820 CPUtime=2453.95 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 3434273 0 0 0 244810 585 0 0 25 0 4 0 748080259 1998663680 385939 33554432000 4194304 4625164 140737398737536 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 487955 385939 344 106 0 483458 0
[pid=793/tid=795] ppid=791 vsize=1951820 CPUtime=692.27 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 92302 0 0 0 69179 48 0 0 25 0 4 0 748080266 1998663680 385939 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=1951820 CPUtime=526.72 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 113886 0 0 0 52610 62 0 0 25 0 4 0 748080266 1998663680 385939 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=1951820 CPUtime=441.27 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 2732209 0 0 0 43719 408 0 0 25 0 4 0 748080266 1998663680 385939 33554432000 4194304 4625164 140737398737536 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2453.95
Current children cumulated vsize (KiB) 1951820

[startup+882.301 s]
/proc/loadavg: 9.19 9.19 9.11 10/461 867
/proc/meminfo: memFree=10268200/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=1955000 CPUtime=2633.03 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 3652373 0 0 0 262685 618 0 0 25 0 4 0 748080259 2001920000 394426 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 488750 394426 344 106 0 484253 0
[pid=793/tid=795] ppid=791 vsize=1955000 CPUtime=752.26 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 92484 0 0 0 75178 48 0 0 25 0 4 0 748080266 2001920000 394426 33554432000 4194304 4625164 140737398737536 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=1955000 CPUtime=556.23 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 114038 0 0 0 55561 62 0 0 25 0 4 0 748080266 2001920000 394426 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=1955000 CPUtime=470.82 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 2945679 0 0 0 46643 439 0 0 25 0 4 0 748080266 2001920000 394426 33554432000 4194304 4625164 140737398737536 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2633.03
Current children cumulated vsize (KiB) 1955000

[startup+942.318 s]
/proc/loadavg: 9.25 9.20 9.12 10/461 868
/proc/meminfo: memFree=10103648/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=1957084 CPUtime=2812.15 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 3950902 0 0 0 280555 660 0 0 25 0 4 0 748080259 2004054016 405026 33554432000 4194304 4625164 140737398737536 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 489271 405026 344 106 0 484774 0
[pid=793/tid=795] ppid=791 vsize=1957084 CPUtime=798.73 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 92746 0 0 0 79825 48 0 0 25 0 4 0 748080266 2004054016 405026 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=1957084 CPUtime=586.01 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 114247 0 0 0 58539 62 0 0 25 0 4 0 748080266 2004054016 405026 33554432000 4194304 4625164 140737398737536 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=797] ppid=791 vsize=1957084 CPUtime=513.67 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 3238217 0 0 0 50887 480 0 0 25 0 4 0 748080266 2004054016 405026 33554432000 4194304 4625164 140737398737536 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2812.15
Current children cumulated vsize (KiB) 1957084

[startup+1002.3 s]
/proc/loadavg: 9.10 9.16 9.11 10/461 870
/proc/meminfo: memFree=9983364/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2025348 CPUtime=2991.19 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 4247085 0 0 0 298415 704 0 0 25 0 4 0 748080259 2073956352 414854 33554432000 4194304 4625164 140737398737536 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 506337 414854 344 106 0 501840 0
[pid=793/tid=795] ppid=791 vsize=2025348 CPUtime=846.28 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 92983 0 0 0 84580 48 0 0 25 0 4 0 748080266 2073956352 414854 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=796] ppid=791 vsize=2025348 CPUtime=615.75 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 114477 0 0 0 61512 63 0 0 25 0 4 0 748080266 2073956352 414854 33554432000 4194304 4625164 140737398737536 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2025348 CPUtime=555.44 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 3529083 0 0 0 55022 522 0 0 25 0 4 0 748080266 2073956352 414854 33554432000 4194304 4625164 140737398737536 18446744073709551615 4579520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2991.19
Current children cumulated vsize (KiB) 2025348

[startup+1062.3 s]
/proc/loadavg: 9.13 9.16 9.10 10/461 872
/proc/meminfo: memFree=9868284/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2051144 CPUtime=3170.26 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 4534059 0 0 0 316280 746 0 0 25 0 4 0 748080259 2100371456 426595 33554432000 4194304 4625164 140737398737536 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 512786 426595 344 106 0 508289 0
[pid=793/tid=795] ppid=791 vsize=2051144 CPUtime=875.87 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93177 0 0 0 87539 48 0 0 25 0 4 0 748080266 2100371456 426595 33554432000 4194304 4625164 140737398737536 18446744073709551615 4488068 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2051144 CPUtime=668.76 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 117679 0 0 0 66812 64 0 0 25 0 4 0 748080266 2100371456 426595 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2051144 CPUtime=591.9 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 3795621 0 0 0 58630 560 0 0 25 0 4 0 748080266 2100371456 426595 33554432000 4194304 4625164 140737398737536 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3170.26
Current children cumulated vsize (KiB) 2051144

[startup+1122.3 s]
/proc/loadavg: 9.10 9.14 9.10 10/461 874
/proc/meminfo: memFree=9777012/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2053748 CPUtime=3349.35 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 4747536 0 0 0 334155 780 0 0 25 0 4 0 748080259 2103037952 435084 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 513437 435084 344 106 0 508940 0
[pid=793/tid=795] ppid=791 vsize=2053748 CPUtime=905.47 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93360 0 0 0 90498 49 0 0 25 0 4 0 748080266 2103037952 435084 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2053748 CPUtime=728.76 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 117814 0 0 0 72812 64 0 0 25 0 4 0 748080266 2103037952 435084 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2053748 CPUtime=621.4 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 4003709 0 0 0 61548 592 0 0 25 0 4 0 748080266 2103037952 435084 33554432000 4194304 4625164 140737398737536 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3349.35
Current children cumulated vsize (KiB) 2053748

[startup+1182.3 s]
/proc/loadavg: 9.07 9.13 9.09 10/461 885
/proc/meminfo: memFree=9671364/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2059136 CPUtime=3528.41 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 4958976 0 0 0 352026 815 0 0 25 0 4 0 748080259 2108555264 443679 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393104 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 514784 443679 344 106 0 510287 0
[pid=793/tid=795] ppid=791 vsize=2059136 CPUtime=963.4 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93531 0 0 0 96291 49 0 0 25 0 4 0 748080266 2108555264 443679 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2059136 CPUtime=788.76 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 118082 0 0 0 78812 64 0 0 25 0 4 0 748080266 2108555264 443679 33554432000 4194304 4625164 140737398737536 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2059136 CPUtime=651.39 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 4208718 0 0 0 64513 626 0 0 25 0 4 0 748080266 2108555264 443679 33554432000 4194304 4625164 140737398737536 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3528.41
Current children cumulated vsize (KiB) 2059136

[startup+1242.3 s]
/proc/loadavg: 9.11 9.13 9.09 10/461 886
/proc/meminfo: memFree=9508920/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2059504 CPUtime=3707.5 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 5161022 0 0 0 369899 851 0 0 25 0 4 0 748080259 2108932096 449988 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 514876 449988 344 106 0 510379 0
[pid=793/tid=795] ppid=791 vsize=2059504 CPUtime=1022.48 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93704 0 0 0 102199 49 0 0 25 0 4 0 748080266 2108932096 449988 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2059504 CPUtime=848.76 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 118207 0 0 0 84812 64 0 0 25 0 4 0 748080266 2108932096 449988 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2059504 CPUtime=681.39 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 4407437 0 0 0 67479 660 0 0 25 0 4 0 748080266 2108932096 449988 33554432000 4194304 4625164 140737398737536 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3707.5
Current children cumulated vsize (KiB) 2059504



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 9.12 9.14 9.09 10/461 888
/proc/meminfo: memFree=9425704/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2127440 CPUtime=3879.71 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 5358393 0 0 0 387086 885 0 0 25 0 4 0 748080259 2178498560 456693 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 531860 456693 344 106 0 527363 0
[pid=793/tid=795] ppid=791 vsize=2127440 CPUtime=1079.29 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93915 0 0 0 107880 49 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2127440 CPUtime=906.48 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 118314 0 0 0 90584 64 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2127440 CPUtime=710.26 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 4601222 0 0 0 70333 693 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3879.71
Current children cumulated vsize (KiB) 2127440

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.12 9.14 9.09 10/461 888
/proc/meminfo: memFree=9425704/32950928 swapFree=67111200/67111528
[pid=793] ppid=791 vsize=2127440 CPUtime=3879.71 cores=0,2,4,6
/proc/793/stat : 793 (SArTagnan) R 791 793 617 0 -1 4202496 5358393 0 0 0 387086 885 0 0 25 0 4 0 748080259 2178498560 456693 33554432000 4194304 4625164 140737398737536 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/793/statm: 531860 456693 344 106 0 527363 0
[pid=793/tid=795] ppid=791 vsize=2127440 CPUtime=1079.29 cores=0,2,4,6
/proc/793/task/795/stat : 795 (SArTagnan) R 791 793 617 0 -1 4202560 93915 0 0 0 107880 49 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=793/tid=796] ppid=791 vsize=2127440 CPUtime=906.48 cores=0,2,4,6
/proc/793/task/796/stat : 796 (SArTagnan) R 791 793 617 0 -1 4202560 118314 0 0 0 90584 64 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=793/tid=797] ppid=791 vsize=2127440 CPUtime=710.26 cores=0,2,4,6
/proc/793/task/797/stat : 797 (SArTagnan) R 791 793 617 0 -1 4202560 4601222 0 0 0 70333 693 0 0 25 0 4 0 748080266 2178498560 456548 33554432000 4194304 4625164 140737398737536 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3879.71
Current children cumulated vsize (KiB) 2127440

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.1
CPU time (s): 3879.84
CPU user time (s): 3870.91
CPU system time (s): 8.93364
CPU usage (%): 298.426
Max. virtual memory (cumulated for all children) (KiB): 2311344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3870.91
system time used= 8.93364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5358413
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= 17304
involuntary context switches= 31533

runsolver used 5.76112 second user time and 14.1838 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-16 22:41:36
IDJOB=3386105
IDBENCH=71385
IDSOLVER=1871
FILE ID=node115/3386105-1305578496
RUNJOBID= node115-1305576977-635
PBS_JOBID= 13350213
Free space on /tmp= 73264 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2400c266431gyes1.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386105-1305578496/watcher-3386105-1305578496 -o /tmp/evaluation-result-3386105-1305578496/solver-3386105-1305578496 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386105-1305578496.cnf -threads=4

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

MD5SUM BENCH= 836d368f7cf78173b8e7f8b131296e2f
RANDOM SEED=1059345358

node115.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.811
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.62
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.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.811
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.811
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.811
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.77
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.811
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.74
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.811
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.811
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:     32950928 kB
MemFree:      12690792 kB
Buffers:        283652 kB
Cached:        3264848 kB
SwapCached:          0 kB
Active:       16832504 kB
Inactive:      3096628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12690792 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:    16380060 kB
Mapped:          36992 kB
Slab:           196876 kB
PageTables:      67220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 123281928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73260 MiB
End job on node115 at 2011-05-16 23:03:18