Trace number 3386380

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) 3989.27 1300.05

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
MD5SUM2fe3650d4a602f63086e937176360ebb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8750
Number of clauses25865
Sum of the clauses size60349
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 217242
Number of clauses of size 38621
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386380-1305577288/watcher-3386380-1305577288 -o /tmp/evaluation-result-3386380-1305577288/solver-3386380-1305577288 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386380-1305577288.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: 2.07 2.02 2.04 4/342 5800
/proc/meminfo: memFree=16846412/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=20484 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 880 0 0 0 0 0 0 0 18 0 1 0 669326999 20975616 740 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5800/statm: 5121 740 296 106 0 624 0

[startup+0.115323 s]
/proc/loadavg: 2.07 2.02 2.04 4/342 5800
/proc/meminfo: memFree=16846412/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=252820 CPUtime=0.22 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 2281 0 0 0 22 0 0 0 18 0 4 0 669326999 258887680 2035 33554432000 4194304 4625164 140733561704880 18446744073709551615 4504594 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 63205 2035 336 106 0 58708 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 252820

[startup+0.249412 s]
/proc/loadavg: 2.07 2.02 2.04 4/342 5800
/proc/meminfo: memFree=16846412/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=253240 CPUtime=0.62 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 2715 0 0 0 62 0 0 0 18 0 4 0 669326999 259317760 2253 33554432000 4194304 4625164 140733561704880 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 63310 2253 336 106 0 58813 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 253240

[startup+0.349393 s]
/proc/loadavg: 2.07 2.02 2.04 4/342 5800
/proc/meminfo: memFree=16846412/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=254280 CPUtime=1.02 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 3168 0 0 0 102 0 0 0 18 0 4 0 669326999 260382720 2472 33554432000 4194304 4625164 140733561704880 18446744073709551615 4390623 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 63570 2472 342 106 0 59073 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 254280

[startup+0.700332 s]
/proc/loadavg: 2.07 2.02 2.04 4/342 5800
/proc/meminfo: memFree=16846412/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=273720 CPUtime=2.42 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 16626 0 0 0 240 2 0 0 18 0 4 0 669326999 280289280 8339 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 68430 8339 346 106 0 63933 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 273720

[startup+1.50119 s]
/proc/loadavg: 2.07 2.02 2.04 11/352 5813
/proc/meminfo: memFree=16663316/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=276432 CPUtime=5.61 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 20077 0 0 0 558 3 0 0 19 0 4 0 669326999 283066368 9860 33554432000 4194304 4625164 140733561704880 18446744073709551615 4513881 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 69108 9860 347 106 0 64611 0
[pid=5800/tid=5802] ppid=5798 vsize=276432 CPUtime=1.38 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3223 0 0 0 138 0 0 0 19 0 4 0 669327000 283066368 9860 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=276432 CPUtime=1.35 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3335 0 0 0 135 0 0 0 23 0 4 0 669327000 283066368 9860 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=276432 CPUtime=1.36 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3751 0 0 0 136 0 0 0 23 0 4 0 669327000 283066368 9860 33554432000 4194304 4625164 140733561704880 18446744073709551615 4291713 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 276432

[startup+3.1009 s]
/proc/loadavg: 2.71 2.15 2.08 11/352 5813
/proc/meminfo: memFree=16640996/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=283564 CPUtime=12 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 32513 0 0 0 1195 5 0 0 24 0 4 0 669326999 290369536 11548 33554432000 4194304 4625164 140733561704880 18446744073709551615 246516492091 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 70891 11548 347 106 0 66394 0
[pid=5800/tid=5802] ppid=5798 vsize=283564 CPUtime=2.97 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 4444 0 0 0 297 0 0 0 25 0 4 0 669327000 290369536 11548 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=283564 CPUtime=2.94 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 5418 0 0 0 294 0 0 0 25 0 4 0 669327000 290369536 11548 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=283564 CPUtime=2.96 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 12814 0 0 0 295 1 0 0 25 0 4 0 669327000 290369536 11548 33554432000 4194304 4625164 140733561704880 18446744073709551615 4334731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 283564

[startup+6.30031 s]
/proc/loadavg: 2.71 2.15 2.08 11/352 5813
/proc/meminfo: memFree=16616296/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=285304 CPUtime=24.76 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 42521 0 0 0 2468 8 0 0 25 0 4 0 669326999 292151296 15512 33554432000 4194304 4625164 140733561704880 18446744073709551615 4508352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 71326 15512 347 106 0 66829 0
[pid=5800/tid=5802] ppid=5798 vsize=285304 CPUtime=6.18 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 5979 0 0 0 617 1 0 0 25 0 4 0 669327000 292151296 15512 33554432000 4194304 4625164 140733561704880 18446744073709551615 4291811 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=285304 CPUtime=6.1 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 6920 0 0 0 609 1 0 0 25 0 4 0 669327000 292151296 15512 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=285304 CPUtime=6.16 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 19590 0 0 0 613 3 0 0 25 0 4 0 669327000 292151296 15512 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 285304

[startup+12.7011 s]
/proc/loadavg: 3.91 2.42 2.17 11/352 5813
/proc/meminfo: memFree=16565240/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=298136 CPUtime=50.29 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 92568 0 0 0 5011 18 0 0 25 0 4 0 669326999 305291264 21213 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 74534 21213 347 106 0 70037 0
[pid=5800/tid=5802] ppid=5798 vsize=298136 CPUtime=12.58 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 8941 0 0 0 1256 2 0 0 25 0 4 0 669327000 305291264 21213 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=298136 CPUtime=12.43 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 10242 0 0 0 1241 2 0 0 25 0 4 0 669327000 305291264 21213 33554432000 4194304 4625164 140733561704880 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=298136 CPUtime=12.56 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 63184 0 0 0 1245 11 0 0 25 0 4 0 669327000 305291264 21213 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 298136

[startup+25.5008 s]
/proc/loadavg: 4.92 2.69 2.26 11/352 5813
/proc/meminfo: memFree=16507692/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=305352 CPUtime=101.34 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 164266 0 0 0 10102 32 0 0 25 0 4 0 669326999 312680448 27018 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 76338 27018 347 106 0 71841 0
[pid=5800/tid=5802] ppid=5798 vsize=305352 CPUtime=25.38 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 12980 0 0 0 2535 3 0 0 25 0 4 0 669327000 312680448 27018 33554432000 4194304 4625164 140733561704880 18446744073709551615 4486939 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=305352 CPUtime=25.09 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 13932 0 0 0 2505 4 0 0 25 0 4 0 669327000 312680448 27018 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352636 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=305352 CPUtime=25.36 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 126189 0 0 0 2513 23 0 0 25 0 4 0 669327000 312680448 27018 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 305352

[startup+51.1012 s]
/proc/loadavg: 6.80 3.31 2.48 11/352 5814
/proc/meminfo: memFree=16443880/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=312152 CPUtime=203.47 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 341721 0 0 0 20280 67 0 0 25 0 4 0 669326999 319643648 36514 33554432000 4194304 4625164 140733561704880 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 78038 36514 347 106 0 73541 0
[pid=5800/tid=5802] ppid=5798 vsize=312152 CPUtime=50.97 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 14362 0 0 0 5094 3 0 0 25 0 4 0 669327000 319643648 36514 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=312152 CPUtime=50.41 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 18609 0 0 0 5036 5 0 0 25 0 4 0 669327000 319643648 36514 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=312152 CPUtime=50.96 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 295568 0 0 0 5040 56 0 0 25 0 4 0 669327000 319643648 36514 33554432000 4194304 4625164 140733561704880 18446744073709551615 4335599 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 312152

[startup+102.301 s]
/proc/loadavg: 8.78 4.45 2.91 11/352 5815
/proc/meminfo: memFree=16340004/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=337176 CPUtime=389.42 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 565470 0 0 0 38831 111 0 0 25 0 4 0 669326999 345268224 53595 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 84294 53595 354 106 0 79797 0
[pid=5800/tid=5802] ppid=5798 vsize=337176 CPUtime=102.18 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 19221 0 0 0 10214 4 0 0 25 0 4 0 669327000 345268224 53595 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=337176 CPUtime=93.59 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 24856 0 0 0 9347 12 0 0 25 0 4 0 669327000 345268224 53595 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=337176 CPUtime=101.72 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 504237 0 0 0 10082 90 0 0 25 0 4 0 669327000 345268224 53595 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 389.42
Current children cumulated vsize (KiB) 337176

[startup+162.301 s]
/proc/loadavg: 9.61 5.41 3.33 11/352 5817
/proc/meminfo: memFree=16242012/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=380284 CPUtime=568.75 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 793729 0 0 0 56730 145 0 0 25 0 4 0 669326999 389410816 67660 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 95071 67660 354 106 0 90574 0
[pid=5800/tid=5802] ppid=5798 vsize=380284 CPUtime=162.18 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 20752 0 0 0 16213 5 0 0 25 0 4 0 669327000 389410816 67660 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352765 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=380284 CPUtime=123.2 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 30882 0 0 0 12307 13 0 0 25 0 4 0 669327000 389410816 67660 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=380284 CPUtime=160.56 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 720079 0 0 0 15934 122 0 0 25 0 4 0 669327000 389410816 67660 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 568.75
Current children cumulated vsize (KiB) 380284

[startup+222.313 s]
/proc/loadavg: 10.08 6.36 3.80 11/352 5819
/proc/meminfo: memFree=16135220/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=520136 CPUtime=748.13 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 1098816 0 0 0 74613 200 0 0 25 0 4 0 669326999 532619264 80050 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5800/statm: 130034 80050 413 106 0 125537 0
[pid=5800/tid=5802] ppid=5798 vsize=520136 CPUtime=216.1 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 22169 0 0 0 21604 6 0 0 25 0 4 0 669327000 532619264 80050 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=520136 CPUtime=159.01 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 31514 0 0 0 15887 14 0 0 25 0 4 0 669327000 532619264 80050 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=520136 CPUtime=214.27 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 1020241 0 0 0 21253 174 0 0 25 0 4 0 669327000 532619264 80050 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352577 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 748.13
Current children cumulated vsize (KiB) 520136

[startup+282.301 s]

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

[pid=5800] ppid=5798 vsize=714640 CPUtime=2373.49 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 2913595 0 0 0 236839 510 0 0 25 0 4 0 669326999 731791360 147669 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 178660 147669 593 106 0 174163 0
[pid=5800/tid=5802] ppid=5798 vsize=714640 CPUtime=564.12 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 33814 0 0 0 56400 12 0 0 25 0 4 0 669327000 731791360 147669 33554432000 4194304 4625164 140733561704880 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=714640 CPUtime=606.86 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 49959 0 0 0 60659 27 0 0 25 0 4 0 669327000 731791360 147669 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=714640 CPUtime=541.52 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 2781748 0 0 0 53693 459 0 0 25 0 4 0 669327000 731791360 147669 33554432000 4194304 4625164 140733561704880 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2373.49
Current children cumulated vsize (KiB) 714640

[startup+822.301 s]
/proc/loadavg: 10.19 9.66 6.80 11/352 5835
/proc/meminfo: memFree=14615196/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=780176 CPUtime=2561.26 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 3165680 0 0 0 255580 546 0 0 25 0 4 0 669326999 798900224 152186 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 195044 152186 525 106 0 190547 0
[pid=5800/tid=5802] ppid=5798 vsize=780176 CPUtime=599.98 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 34291 0 0 0 59986 12 0 0 25 0 4 0 669327000 798900224 152186 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=780176 CPUtime=658.71 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 50570 0 0 0 65844 27 0 0 25 0 4 0 669327000 798900224 152186 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=780176 CPUtime=586.13 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3032180 0 0 0 58118 495 0 0 25 0 4 0 669327000 798900224 152186 33554432000 4194304 4625164 140733561704880 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.26
Current children cumulated vsize (KiB) 780176

[startup+882.313 s]
/proc/loadavg: 10.20 9.76 7.03 11/352 5836
/proc/meminfo: memFree=14582796/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=780176 CPUtime=2740.65 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 3538958 0 0 0 273464 601 0 0 25 0 4 0 669326999 798900224 158836 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511948 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 195044 158836 524 106 0 190547 0
[pid=5800/tid=5802] ppid=5798 vsize=780176 CPUtime=630 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 34352 0 0 0 62988 12 0 0 25 0 4 0 669327000 798900224 158836 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=780176 CPUtime=688.71 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 50742 0 0 0 68844 27 0 0 25 0 4 0 669327000 798900224 158836 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=780176 CPUtime=646.14 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3405131 0 0 0 64064 550 0 0 25 0 4 0 669327000 798900224 158837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2740.65
Current children cumulated vsize (KiB) 780176

[startup+942.301 s]
/proc/loadavg: 10.32 9.88 7.22 12/352 5838
/proc/meminfo: memFree=14537272/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=808924 CPUtime=2919.97 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 3836540 0 0 0 291348 649 0 0 25 0 4 0 669326999 828338176 167486 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 202231 167486 729 106 0 197734 0
[pid=5800/tid=5802] ppid=5798 vsize=808924 CPUtime=677.72 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 42200 0 0 0 67759 13 0 0 25 0 4 0 669327000 828338176 167486 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=808924 CPUtime=718.71 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51073 0 0 0 71843 28 0 0 25 0 4 0 669327000 828338176 167486 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=808924 CPUtime=688.4 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3692695 0 0 0 68245 595 0 0 25 0 4 0 669327000 828338176 167486 33554432000 4194304 4625164 140733561704880 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2919.97
Current children cumulated vsize (KiB) 808924

[startup+1002.3 s]
/proc/loadavg: 10.23 9.94 7.42 11/352 5839
/proc/meminfo: memFree=14503504/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=894888 CPUtime=3099.3 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4049876 0 0 0 309246 684 0 0 25 0 4 0 669326999 916365312 171436 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 223722 171437 728 106 0 219225 0
[pid=5800/tid=5802] ppid=5798 vsize=894888 CPUtime=737.72 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 42301 0 0 0 73759 13 0 0 25 0 4 0 669327000 916365312 171437 33554432000 4194304 4625164 140733561704880 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=894888 CPUtime=748.8 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51100 0 0 0 74852 28 0 0 25 0 4 0 669327000 916365312 171437 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=894888 CPUtime=718.31 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3894942 0 0 0 71202 629 0 0 25 0 4 0 669327000 916365312 171437 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3099.3
Current children cumulated vsize (KiB) 894888

[startup+1062.3 s]
/proc/loadavg: 10.37 10.04 7.60 12/352 5841
/proc/meminfo: memFree=14477820/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=899000 CPUtime=3278.67 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4075044 0 0 0 327175 692 0 0 25 0 4 0 669326999 920576000 175565 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 224750 175565 728 106 0 220253 0
[pid=5800/tid=5802] ppid=5798 vsize=899000 CPUtime=797.73 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 44727 0 0 0 79756 17 0 0 25 0 4 0 669327000 920576000 175565 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=899000 CPUtime=778.72 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51112 0 0 0 77844 28 0 0 25 0 4 0 669327000 920576000 175565 33554432000 4194304 4625164 140733561704880 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=899000 CPUtime=748.39 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3916840 0 0 0 74206 633 0 0 25 0 4 0 669327000 920576000 175565 33554432000 4194304 4625164 140733561704880 18446744073709551615 4579601 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.67
Current children cumulated vsize (KiB) 899000

[startup+1122.3 s]
/proc/loadavg: 10.17 10.04 7.76 11/352 5843
/proc/meminfo: memFree=14421612/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=899000 CPUtime=3458.01 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4154993 0 0 0 345094 707 0 0 25 0 4 0 669326999 920576000 179003 33554432000 4194304 4625164 140733561704880 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 224750 179003 347 106 0 220253 0
[pid=5800/tid=5802] ppid=5798 vsize=899000 CPUtime=857.73 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 44832 0 0 0 85756 17 0 0 25 0 4 0 669327000 920576000 179003 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=899000 CPUtime=808.73 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51195 0 0 0 80845 28 0 0 25 0 4 0 669327000 920576000 179003 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=899000 CPUtime=778.39 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 3995804 0 0 0 77192 647 0 0 25 0 4 0 669327000 920576000 179003 33554432000 4194304 4625164 140733561704880 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3458.01
Current children cumulated vsize (KiB) 899000

[startup+1182.3 s]
/proc/loadavg: 10.22 10.08 7.90 11/352 5844
/proc/meminfo: memFree=14380428/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=965356 CPUtime=3637.37 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4364749 0 0 0 362997 740 0 0 25 0 4 0 669326999 988524544 183053 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511997 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 241339 183053 347 106 0 236842 0
[pid=5800/tid=5802] ppid=5798 vsize=965356 CPUtime=917.73 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 45068 0 0 0 91756 17 0 0 25 0 4 0 669327000 988524544 183053 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=965356 CPUtime=838.83 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51274 0 0 0 83855 28 0 0 25 0 4 0 669327000 988524544 183053 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=965356 CPUtime=808.28 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 4204310 0 0 0 80148 680 0 0 25 0 4 0 669327000 988524544 183053 33554432000 4194304 4625164 140733561704880 18446744073709551615 4552464 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3637.37
Current children cumulated vsize (KiB) 965356

[startup+1242.3 s]
/proc/loadavg: 10.12 10.08 8.05 11/352 5846
/proc/meminfo: memFree=14314804/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=1030892 CPUtime=3816.71 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4754297 0 0 0 380869 802 0 0 25 0 4 0 669326999 1055633408 189756 33554432000 4194304 4625164 140733561704880 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 257723 189756 348 106 0 253226 0
[pid=5800/tid=5802] ppid=5798 vsize=1030892 CPUtime=949.79 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 45248 0 0 0 94962 17 0 0 25 0 4 0 669327000 1055633408 189756 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=1030892 CPUtime=868.86 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51321 0 0 0 86858 28 0 0 25 0 4 0 669327000 1055633408 189756 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=1030892 CPUtime=866.18 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 4592775 0 0 0 85877 741 0 0 25 0 4 0 669327000 1055633408 189756 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3816.71
Current children cumulated vsize (KiB) 1030892



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.28 10.14 8.18 11/352 5847
/proc/meminfo: memFree=14248948/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=1044500 CPUtime=3989.21 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4891003 0 0 0 398093 828 0 0 25 0 4 0 669326999 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4513601 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 261125 196837 347 106 0 256628 0
[pid=5800/tid=5802] ppid=5798 vsize=1044500 CPUtime=979.14 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 46887 0 0 0 97895 19 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=1044500 CPUtime=905.07 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51727 0 0 0 90479 28 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=1044500 CPUtime=916.04 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 4726533 0 0 0 90840 764 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3989.21
Current children cumulated vsize (KiB) 1044500

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: 10.28 10.14 8.18 11/352 5847
/proc/meminfo: memFree=14248948/32951124 swapFree=54450792/67111528
[pid=5800] ppid=5798 vsize=1044500 CPUtime=3989.21 cores=1,3,5,7
/proc/5800/stat : 5800 (SArTagnan) R 5798 5800 5768 0 -1 4202496 4891003 0 0 0 398093 828 0 0 25 0 4 0 669326999 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4513601 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 261125 196837 347 106 0 256628 0
[pid=5800/tid=5802] ppid=5798 vsize=1044500 CPUtime=979.14 cores=1,3,5,7
/proc/5800/task/5802/stat : 5802 (SArTagnan) R 5798 5800 5768 0 -1 4202560 46887 0 0 0 97895 19 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=1044500 CPUtime=905.07 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (SArTagnan) R 5798 5800 5768 0 -1 4202560 51727 0 0 0 90479 28 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=1044500 CPUtime=916.04 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (SArTagnan) R 5798 5800 5768 0 -1 4202560 4726533 0 0 0 90840 764 0 0 25 0 4 0 669327000 1069568000 196837 33554432000 4194304 4625164 140733561704880 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3989.21
Current children cumulated vsize (KiB) 1044500

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.05
CPU time (s): 3989.27
CPU user time (s): 3980.96
CPU system time (s): 8.31474
CPU usage (%): 306.855
Max. virtual memory (cumulated for all children) (KiB): 1044500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3980.96
system time used= 8.31474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4891004
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= 1500
involuntary context switches= 31598

runsolver used 3.87141 second user time and 10.3244 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-16 22:21:28
IDJOB=3386380
IDBENCH=70810
IDSOLVER=1871
FILE ID=node134/3386380-1305577288
RUNJOBID= node134-1305577288-5787
PBS_JOBID= 13350221
Free space on /tmp= 73576 MiB

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

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

MD5SUM BENCH= 2fe3650d4a602f63086e937176360ebb
RANDOM SEED=804032426

node134.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.831
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16846444 kB
Buffers:        164312 kB
Cached:         688400 kB
SwapCached:      16428 kB
Active:        4770460 kB
Inactive:     11093244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16846444 kB
SwapTotal:    67111528 kB
SwapFree:     54450792 kB
Dirty:            4408 kB
Writeback:           0 kB
AnonPages:    15002328 kB
Mapped:          15720 kB
Slab:            98128 kB
PageTables:      76956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 72726556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73568 MiB
End job on node134 at 2011-05-16 22:43:10