Trace number 3266580

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24UNSAT 746.214 186.863

General information on the benchmark

NameSAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
MD5SUM15f5068fb216bf26d5385140ce74faaf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables118
Number of clauses314
Sum of the clauses size940
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 3312
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

746.01/186.84	
746.01/186.84	s UNSATISFIABLE
746.01/186.84	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266580-1304113024/watcher-3266580-1304113024 -o /tmp/evaluation-result-3266580-1304113024/solver-3266580-1304113024 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266580-1304113024.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: 7.44 7.92 7.78 4/176 4137
/proc/meminfo: memFree=24152288/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 451 0 0 0 0 0 0 0 20 0 4 0 522900107 50388992 387 33554432000 4194304 4623224 140733477461696 18446744073709551615 47249981728684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 12302 387 301 105 0 7806 0
[pid=4137/tid=4141] ppid=4135 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 522900107 50388992 387 33554432000 4194304 4623224 140733477461696 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 522900107 50388992 387 33554432000 4194304 4623224 140733477461696 18446744073709551615 212699472950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=49208 CPUtime=0 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 522900107 50388992 387 33554432000 4194304 4623224 140733477461696 18446744073709551615 47249981728690 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0630639 s]
/proc/loadavg: 7.44 7.92 7.78 4/176 4137
/proc/meminfo: memFree=24152288/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=247736 CPUtime=0.23 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 1813 0 0 0 23 0 0 0 20 0 4 0 522900107 253681664 1392 33554432000 4194304 4623224 140733477461696 18446744073709551615 4517548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 61934 1392 342 105 0 57438 0
[pid=4137/tid=4141] ppid=4135 vsize=247736 CPUtime=0.05 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 452 0 0 0 5 0 0 0 22 0 4 0 522900107 253681664 1392 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=247736 CPUtime=0.05 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 422 0 0 0 5 0 0 0 22 0 4 0 522900107 253681664 1392 33554432000 4194304 4623224 140733477461696 18446744073709551615 4463039 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=247736 CPUtime=0.05 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 276 0 0 0 5 0 0 0 21 0 4 0 522900107 253681664 1392 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 247736

[startup+0.101057 s]
/proc/loadavg: 7.44 7.92 7.78 4/176 4137
/proc/meminfo: memFree=24152288/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=248364 CPUtime=0.38 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 2562 0 0 0 38 0 0 0 21 0 4 0 522900107 254324736 1899 33554432000 4194304 4623224 140733477461696 18446744073709551615 212687334053 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 62091 1901 342 105 0 57595 0
[pid=4137/tid=4141] ppid=4135 vsize=248364 CPUtime=0.09 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 762 0 0 0 9 0 0 0 22 0 4 0 522900107 254324736 1901 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=248364 CPUtime=0.09 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 684 0 0 0 9 0 0 0 22 0 4 0 522900107 254324736 1901 33554432000 4194304 4623224 140733477461696 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=248364 CPUtime=0.09 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 331 0 0 0 9 0 0 0 21 0 4 0 522900107 254324736 1901 33554432000 4194304 4623224 140733477461696 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 248364

[startup+0.301024 s]
/proc/loadavg: 7.44 7.92 7.78 4/176 4137
/proc/meminfo: memFree=24152288/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=254648 CPUtime=1.17 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 5640 0 0 0 117 0 0 0 21 0 4 0 522900107 260759552 3917 33554432000 4194304 4623224 140733477461696 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 63662 3564 343 105 0 59166 0
[pid=4137/tid=4141] ppid=4135 vsize=254648 CPUtime=0.29 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 1772 0 0 0 29 0 0 0 22 0 4 0 522900107 260759552 3564 33554432000 4194304 4623224 140733477461696 18446744073709551615 4463033 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=253020 CPUtime=0.29 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 2026 0 0 0 29 0 0 0 22 0 4 0 522900107 259092480 3570 33554432000 4194304 4623224 140733477461696 18446744073709551615 4366665 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=253020 CPUtime=0.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 778 0 0 0 29 0 0 0 22 0 4 0 522900107 259092480 3571 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 254648

[startup+0.700951 s]
/proc/loadavg: 7.44 7.92 7.78 4/176 4137
/proc/meminfo: memFree=24152288/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=256680 CPUtime=2.78 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 9019 0 0 0 277 1 0 0 22 0 4 0 522900107 262840320 5866 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510183 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 64170 5866 349 105 0 59674 0
[pid=4137/tid=4141] ppid=4135 vsize=256680 CPUtime=0.68 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 2874 0 0 0 68 0 0 0 24 0 4 0 522900107 262840320 5866 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=256680 CPUtime=0.68 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 3201 0 0 0 68 0 0 0 25 0 4 0 522900107 262840320 5866 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=256680 CPUtime=0.69 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 1403 0 0 0 69 0 0 0 24 0 4 0 522900107 262840320 5866 33554432000 4194304 4623224 140733477461696 18446744073709551615 4545373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 256680

[startup+1.5008 s]
/proc/loadavg: 7.44 7.92 7.78 10/184 4145
/proc/meminfo: memFree=24087032/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=261104 CPUtime=5.97 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 14015 0 0 0 596 1 0 0 25 0 4 0 522900107 267370496 9070 33554432000 4194304 4623224 140733477461696 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 65276 9070 377 105 0 60780 0
[pid=4137/tid=4141] ppid=4135 vsize=261104 CPUtime=1.48 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 4663 0 0 0 148 0 0 0 25 0 4 0 522900107 267370496 9070 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=261104 CPUtime=1.48 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 4889 0 0 0 148 0 0 0 25 0 4 0 522900107 267370496 9070 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=261104 CPUtime=1.49 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 2127 0 0 0 149 0 0 0 25 0 4 0 522900107 267370496 9070 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 261104

[startup+3.10051 s]
/proc/loadavg: 7.44 7.92 7.78 10/184 4145
/proc/meminfo: memFree=24047848/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=279120 CPUtime=12.36 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 33330 0 0 0 1232 4 0 0 25 0 4 0 522900107 285818880 13263 33554432000 4194304 4623224 140733477461696 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 69780 13263 349 105 0 65284 0
[pid=4137/tid=4141] ppid=4135 vsize=279120 CPUtime=3.07 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 9096 0 0 0 306 1 0 0 25 0 4 0 522900107 285818880 13263 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=279120 CPUtime=3.09 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 10034 0 0 0 308 1 0 0 19 0 4 0 522900107 285818880 13263 33554432000 4194304 4623224 140733477461696 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=279120 CPUtime=3.09 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 11353 0 0 0 308 1 0 0 25 0 4 0 522900107 285818880 13263 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 279120

[startup+6.30093 s]
/proc/loadavg: 7.64 7.96 7.80 10/184 4145
/proc/meminfo: memFree=23974908/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=296636 CPUtime=25.15 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 41343 0 0 0 2509 6 0 0 25 0 4 0 522900107 303755264 17423 33554432000 4194304 4623224 140733477461696 18446744073709551615 4368621 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 74159 17423 343 105 0 69663 0
[pid=4137/tid=4141] ppid=4135 vsize=296636 CPUtime=6.26 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 13856 0 0 0 624 2 0 0 25 0 4 0 522900107 303755264 17423 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=296636 CPUtime=6.29 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 10461 0 0 0 628 1 0 0 25 0 4 0 522900107 303755264 17423 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=296636 CPUtime=6.28 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 12984 0 0 0 627 1 0 0 25 0 4 0 522900107 303755264 17423 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 296636

[startup+12.7008 s]
/proc/loadavg: 7.67 7.96 7.80 10/184 4145
/proc/meminfo: memFree=23897324/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=313040 CPUtime=50.7 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 80176 0 0 0 5058 12 0 0 25 0 4 0 522900107 320552960 23095 33554432000 4194304 4623224 140733477461696 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 78260 23095 430 105 0 73764 0
[pid=4137/tid=4141] ppid=4135 vsize=313040 CPUtime=12.62 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 19854 0 0 0 1259 3 0 0 25 0 4 0 522900107 320552960 23095 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=313040 CPUtime=12.68 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 15293 0 0 0 1266 2 0 0 25 0 4 0 522900107 320552960 23095 33554432000 4194304 4623224 140733477461696 18446744073709551615 4461313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=313040 CPUtime=12.68 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 39599 0 0 0 1263 5 0 0 25 0 4 0 522900107 320552960 23096 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 313040

[startup+25.5004 s]
/proc/loadavg: 7.74 7.96 7.80 10/184 4146
/proc/meminfo: memFree=23655792/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=335560 CPUtime=101.82 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 109121 0 0 0 10164 18 0 0 25 0 4 0 522900107 343613440 33997 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 83890 33997 646 105 0 79394 0
[pid=4137/tid=4141] ppid=4135 vsize=335560 CPUtime=25.34 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 20599 0 0 0 2531 3 0 0 25 0 4 0 522900107 343613440 33997 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=335560 CPUtime=25.49 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 16263 0 0 0 2546 3 0 0 25 0 4 0 522900107 343613440 33997 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=335560 CPUtime=25.48 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 55736 0 0 0 2540 8 0 0 25 0 4 0 522900107 343613440 33997 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 335560

[startup+51.1008 s]
/proc/loadavg: 7.83 7.96 7.81 10/184 4146
/proc/meminfo: memFree=23464204/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=373544 CPUtime=204.09 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 177937 0 0 0 20378 31 0 0 25 0 4 0 522900107 382509056 43395 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 93386 43395 900 105 0 88890 0
[pid=4137/tid=4141] ppid=4135 vsize=373544 CPUtime=50.8 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 22319 0 0 0 5075 5 0 0 25 0 4 0 522900107 382509056 43395 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=373544 CPUtime=51.08 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 23218 0 0 0 5104 4 0 0 25 0 4 0 522900107 382509056 43395 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=373544 CPUtime=51.09 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 96950 0 0 0 5094 15 0 0 25 0 4 0 522900107 382509056 43395 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 373544

[startup+102.306 s]
/proc/loadavg: 7.97 7.98 7.82 10/184 4148
/proc/meminfo: memFree=23138436/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=488400 CPUtime=408.64 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 444887 0 0 0 40787 77 0 0 25 0 4 0 522900107 500121600 69296 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 122100 69296 406 105 0 117604 0
[pid=4137/tid=4141] ppid=4135 vsize=488400 CPUtime=101.73 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 34833 0 0 0 10165 8 0 0 25 0 4 0 522900107 500121600 69296 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=488400 CPUtime=102.29 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 34924 0 0 0 10223 6 0 0 25 0 4 0 522900107 500121600 69296 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=488400 CPUtime=102.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 268241 0 0 0 10188 41 0 0 25 0 4 0 522900107 500121600 69296 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 488400

[startup+162.301 s]
/proc/loadavg: 8.06 8.01 7.84 10/184 4149
/proc/meminfo: memFree=22875664/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=507396 CPUtime=648.24 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 583250 0 0 0 64721 103 0 0 25 0 4 0 522900107 519573504 80144 33554432000 4194304 4623224 140733477461696 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 126849 80144 406 105 0 122353 0
[pid=4137/tid=4141] ppid=4135 vsize=507396 CPUtime=161.35 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46533 0 0 0 16125 10 0 0 25 0 4 0 522900107 519573504 80144 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=507396 CPUtime=162.27 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 35514 0 0 0 16221 6 0 0 25 0 4 0 522900107 519573504 80144 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=507396 CPUtime=162.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 355305 0 0 0 16171 58 0 0 25 0 4 0 522900107 519573504 80144 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550534 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 507396

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

[startup+166.301 s]
/proc/loadavg: 8.06 8.01 7.84 10/184 4150
/proc/meminfo: memFree=22839952/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=507396 CPUtime=664.22 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 587277 0 0 0 66318 104 0 0 25 0 4 0 522900107 519573504 80582 33554432000 4194304 4623224 140733477461696 18446744073709551615 4511006 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 126849 80582 406 105 0 122353 0
[pid=4137/tid=4141] ppid=4135 vsize=507396 CPUtime=165.32 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46533 0 0 0 16522 10 0 0 25 0 4 0 522900107 519573504 80582 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=507396 CPUtime=166.27 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 35738 0 0 0 16621 6 0 0 25 0 4 0 522900107 519573504 80582 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=507396 CPUtime=166.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 359098 0 0 0 16570 59 0 0 25 0 4 0 522900107 519573504 80582 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 664.22
Current children cumulated vsize (KiB) 507396

[startup+179.1 s]
/proc/loadavg: 8.19 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22814160/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=507396 CPUtime=715.31 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 590811 0 0 0 71426 105 0 0 25 0 4 0 522900107 519573504 82999 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 126849 82999 392 105 0 122353 0
[pid=4137/tid=4141] ppid=4135 vsize=507396 CPUtime=178.04 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46534 0 0 0 17794 10 0 0 25 0 4 0 522900107 519573504 82999 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=507396 CPUtime=179.05 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 35755 0 0 0 17899 6 0 0 25 0 4 0 522900107 519573504 82999 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=507396 CPUtime=179.09 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 359997 0 0 0 17850 59 0 0 25 0 4 0 522900107 519573504 82999 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 715.31
Current children cumulated vsize (KiB) 507396

[startup+182.301 s]
/proc/loadavg: 8.18 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22808332/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=728.03 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 601378 0 0 0 72695 108 0 0 20 0 4 0 522900107 586682368 85176 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 85176 408 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=181.22 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18112 10 0 0 25 0 4 0 522900107 586682368 85176 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=182.25 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18218 7 0 0 20 0 4 0 522900107 586682368 85176 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=182.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 369117 0 0 0 18168 61 0 0 25 0 4 0 522900107 586682368 85176 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 728.03
Current children cumulated vsize (KiB) 572932

[startup+183.901 s]
/proc/loadavg: 8.18 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22788244/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=734.42 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 613098 0 0 0 73332 110 0 0 25 0 4 0 522900107 586682368 84871 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 84871 397 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=182.8 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18270 10 0 0 25 0 4 0 522900107 586682368 84871 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=183.85 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18378 7 0 0 25 0 4 0 522900107 586682368 84871 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=183.89 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 380797 0 0 0 18326 63 0 0 25 0 4 0 522900107 586682368 84871 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 734.42
Current children cumulated vsize (KiB) 572932

[startup+185.5 s]
/proc/loadavg: 8.16 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22784028/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=740.81 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 623264 0 0 0 73970 111 0 0 25 0 4 0 522900107 586682368 85002 33554432000 4194304 4623224 140733477461696 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 85002 395 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=184.4 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18430 10 0 0 25 0 4 0 522900107 586682368 85002 33554432000 4194304 4623224 140733477461696 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=185.45 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18538 7 0 0 25 0 4 0 522900107 586682368 85002 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=185.49 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 390930 0 0 0 18485 64 0 0 25 0 4 0 522900107 586682368 85002 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550708 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 740.81
Current children cumulated vsize (KiB) 572932

[startup+186.301 s]
/proc/loadavg: 8.16 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22798536/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=744.01 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 628643 0 0 0 74289 112 0 0 25 0 4 0 522900107 586682368 84940 33554432000 4194304 4623224 140733477461696 18446744073709551615 4413848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 84940 393 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=185.19 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18509 10 0 0 25 0 4 0 522900107 586682368 84940 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=186.25 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18618 7 0 0 25 0 4 0 522900107 586682368 84940 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=186.29 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 396309 0 0 0 18564 65 0 0 25 0 4 0 522900107 586682368 84940 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 744.01
Current children cumulated vsize (KiB) 572932

[startup+186.701 s]
/proc/loadavg: 8.16 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22798536/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=745.61 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 631451 0 0 0 74448 113 0 0 25 0 4 0 522900107 586682368 84823 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 84823 393 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=185.59 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18549 10 0 0 25 0 4 0 522900107 586682368 84823 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=186.65 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18658 7 0 0 25 0 4 0 522900107 586682368 84823 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=186.69 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 399117 0 0 0 18604 65 0 0 25 0 4 0 522900107 586682368 84823 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 745.61
Current children cumulated vsize (KiB) 572932

[startup+186.801 s]
/proc/loadavg: 8.16 8.04 7.85 10/184 4150
/proc/meminfo: memFree=22798536/32951124 swapFree=67111524/67111528
[pid=4137] ppid=4135 vsize=572932 CPUtime=746.01 cores=1,3,5,7
/proc/4137/stat : 4137 (SArTagnan) R 4135 4137 4006 0 -1 4202496 632116 0 0 0 74488 113 0 0 25 0 4 0 522900107 586682368 84819 33554432000 4194304 4623224 140733477461696 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4137/statm: 143233 84819 393 105 0 138737 0
[pid=4137/tid=4141] ppid=4135 vsize=572932 CPUtime=185.69 cores=1,3,5,7
/proc/4137/task/4141/stat : 4141 (SArTagnan) R 4135 4137 4006 0 -1 4202560 46623 0 0 0 18559 10 0 0 25 0 4 0 522900107 586682368 84819 33554432000 4194304 4623224 140733477461696 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4137/tid=4142] ppid=4135 vsize=572932 CPUtime=186.75 cores=1,3,5,7
/proc/4137/task/4142/stat : 4142 (SArTagnan) R 4135 4137 4006 0 -1 4202560 36493 0 0 0 18668 7 0 0 25 0 4 0 522900107 586682368 84819 33554432000 4194304 4623224 140733477461696 18446744073709551615 4366866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4137/tid=4143] ppid=4135 vsize=572932 CPUtime=186.79 cores=1,3,5,7
/proc/4137/task/4143/stat : 4143 (SArTagnan) R 4135 4137 4006 0 -1 4202560 399778 0 0 0 18614 65 0 0 25 0 4 0 522900107 586682368 84819 33554432000 4194304 4623224 140733477461696 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 746.01
Current children cumulated vsize (KiB) 572932

Child status: 20
Real time (s): 186.863
CPU time (s): 746.214
CPU user time (s): 745.065
CPU system time (s): 1.14882
CPU usage (%): 399.336
Max. virtual memory (cumulated for all children) (KiB): 572932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 745.065
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632301
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= 2672
involuntary context switches= 5532

runsolver used 0.290955 second user time and 0.732888 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 23:37:04
IDJOB=3266580
IDBENCH=87817
IDSOLVER=1656
FILE ID=node139/3266580-1304113024
RUNJOBID= node139-1304111820-4025
PBS_JOBID= 13170691
Free space on /tmp= 72552 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT02/handmade/zhang-lintao/xor-chain/x1_40.shuffled.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266580-1304113024/watcher-3266580-1304113024 -o /tmp/evaluation-result-3266580-1304113024/solver-3266580-1304113024 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266580-1304113024.cnf -threads=4

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

MD5SUM BENCH= 15f5068fb216bf26d5385140ce74faaf
RANDOM SEED=1967561371

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:      24152692 kB
Buffers:       2048504 kB
Cached:        6168760 kB
SwapCached:          4 kB
Active:         929668 kB
Inactive:      7350964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24152692 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             812 kB
Writeback:           0 kB
AnonPages:       62644 kB
Mapped:          15084 kB
Slab:           453960 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   197060 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= 72552 MiB
End job on node139 at 2011-04-29 23:40:11