Trace number 3386024

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)SAT 2283.65 765.662

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
MD5SUM693b5fe291cecff45feff3be98a908cf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.87165
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses21294
Sum of the clauses size93307
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2265
Number of clauses of size 319364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51665

Solver Data 

2283.58/765.63	
2283.58/765.63	s SATISFIABLE
2283.58/765.63	
2283.58/765.63	v 1 2 3 4 5 6 -7 8 9 10 11 12 13 14 15 -16 17 18 19 20 21 22 23 24 25 26 27 28 -29 30 31 32 -33 34 35 36 37 -38 39 40 -41 42 43 44 -45 46 47 48 49 50 51 52 53 54 55 -56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 -76 77 78 79 80 81 82 83 -84 85 86 -87 88 89 90 -91 92 93 94 95 96 97 98 99 100 101 -102 103 104 105 106 107 108 -109 -110 111 112 113 114 -115 116 117 118 119 120 121 -122 123 124 -125 126 127 128 129 130 131 132 133 134 135 136 137 -138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 -155 -156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 -176 177 -178 179 180 181 182 183 -184 185 186 187 188 189 190 191 192 -193 194 195 196 197 198 199 200 0

Verifier Data 

OK

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-3386024-1305581796/watcher-3386024-1305581796 -o /tmp/evaluation-result-3386024-1305581796/solver-3386024-1305581796 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386024-1305581796.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.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=19868 CPUtime=0 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 669777375 20344832 622 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10566/statm: 4967 624 296 106 0 470 0
[pid=10566/tid=10567] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=54136 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 669777377 55435264 1564 33554432000 4194304 4625164 140737471782544 18446744073709551615 212682707176 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0755001 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=188732 CPUtime=0.16 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 3786 0 0 0 16 0 0 0 25 0 4 0 669777375 193261568 2285 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10566/statm: 47183 2287 338 106 0 42686 0
[pid=10566/tid=10567] ppid=10564 vsize=188732 CPUtime=0.05 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 528 0 0 0 5 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=188732 CPUtime=0 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 261 0 0 0 0 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=188732 CPUtime=0.04 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 807 0 0 0 4 0 0 0 25 0 4 0 669777377 193261568 2287 33554432000 4194304 4625164 140737471782544 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 188732

[startup+0.117514 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=189100 CPUtime=0.28 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) D 10564 10566 10092 0 -1 4202496 4155 0 0 0 28 0 0 0 25 0 4 0 669777375 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47275 2350 338 106 0 42778 0
[pid=10566/tid=10567] ppid=10564 vsize=189100 CPUtime=0.09 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 557 0 0 0 9 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=189100 CPUtime=0.04 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 477 0 0 0 4 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=189100 CPUtime=0.05 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 920 0 0 0 5 0 0 0 25 0 4 0 669777377 193638400 2350 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687372399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 189100

[startup+0.300316 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=190396 CPUtime=0.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 5649 0 0 0 82 0 0 0 25 0 4 0 669777375 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511956 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47599 2691 338 106 0 43102 0
[pid=10566/tid=10567] ppid=10564 vsize=190396 CPUtime=0.27 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 903 0 0 0 27 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=190396 CPUtime=0.17 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 559 0 0 0 17 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=190396 CPUtime=0.1 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1762 0 0 0 10 0 0 0 25 0 4 0 669777377 194965504 2691 33554432000 4194304 4625164 140737471782544 18446744073709551615 4552367 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 190396

[startup+0.700243 s]
/proc/loadavg: 9.94 10.03 10.06 7/515 10566
/proc/meminfo: memFree=13333540/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=191472 CPUtime=2.02 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 7866 0 0 0 202 0 0 0 25 0 4 0 669777375 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 47868 3288 338 106 0 43371 0
[pid=10566/tid=10567] ppid=10564 vsize=191472 CPUtime=0.67 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1156 0 0 0 67 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=191472 CPUtime=0.37 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 908 0 0 0 37 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=191472 CPUtime=0.29 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 3350 0 0 0 29 0 0 0 25 0 4 0 669777377 196067328 3288 33554432000 4194304 4625164 140737471782544 18446744073709551615 4551213 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 191472

[startup+1.5011 s]
/proc/loadavg: 9.94 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13317028/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=192960 CPUtime=4.41 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 12457 0 0 0 440 1 0 0 25 0 4 0 669777375 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512740 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 48240 4751 342 106 0 43743 0
[pid=10566/tid=10567] ppid=10564 vsize=192960 CPUtime=1.45 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2388 0 0 0 145 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=192960 CPUtime=0.78 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1008 0 0 0 78 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=192960 CPUtime=0.69 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 6233 0 0 0 69 0 0 0 25 0 4 0 669777377 197591040 4751 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 192960

[startup+3.10081 s]
/proc/loadavg: 9.94 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13308472/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=198772 CPUtime=9.19 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 16513 0 0 0 917 2 0 0 25 0 4 0 669777375 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 49693 7603 376 106 0 45196 0
[pid=10566/tid=10567] ppid=10564 vsize=198772 CPUtime=2.25 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 3295 0 0 0 225 0 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=198772 CPUtime=2.38 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2916 0 0 0 238 0 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=198772 CPUtime=1.5 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 7109 0 0 0 149 1 0 0 25 0 4 0 669777377 203542528 7603 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 198772

[startup+6.30022 s]
/proc/loadavg: 9.95 10.03 10.06 11/519 10570
/proc/meminfo: memFree=13286520/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=208992 CPUtime=18.74 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 22244 0 0 0 1871 3 0 0 25 0 4 0 669777375 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 52248 11207 387 106 0 47751 0
[pid=10566/tid=10567] ppid=10564 vsize=208992 CPUtime=3.81 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 4589 0 0 0 381 0 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=208992 CPUtime=5.58 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 4683 0 0 0 558 0 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=208992 CPUtime=3.14 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 8923 0 0 0 313 1 0 0 25 0 4 0 669777377 214007808 11207 33554432000 4194304 4625164 140737471782544 18446744073709551615 4552383 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (KiB) 208992

[startup+12.7011 s]
/proc/loadavg: 9.95 10.03 10.06 11/519 10571
/proc/meminfo: memFree=13254504/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=290416 CPUtime=37.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 30485 0 0 0 3778 4 0 0 25 0 4 0 669777375 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512747 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 72604 16383 390 106 0 68107 0
[pid=10566/tid=10567] ppid=10564 vsize=290416 CPUtime=7 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 7484 0 0 0 700 0 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=290416 CPUtime=10.48 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 6813 0 0 0 1047 1 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=290416 CPUtime=7.83 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 10886 0 0 0 782 1 0 0 25 0 4 0 669777377 297385984 16383 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.82
Current children cumulated vsize (KiB) 290416

[startup+25.5007 s]
/proc/loadavg: 10.03 10.04 10.06 11/519 10571
/proc/meminfo: memFree=13188044/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=305696 CPUtime=75.99 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 71420 0 0 0 7588 11 0 0 25 0 4 0 669777375 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4519388 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 76424 23602 349 106 0 71927 0
[pid=10566/tid=10567] ppid=10564 vsize=305696 CPUtime=13.51 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 11620 0 0 0 1349 2 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=305696 CPUtime=23.27 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 11150 0 0 0 2326 1 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=305696 CPUtime=14.13 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 43025 0 0 0 1407 6 0 0 25 0 4 0 669777377 313032704 23602 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687324364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.99
Current children cumulated vsize (KiB) 305696

[startup+51.1011 s]
/proc/loadavg: 10.08 10.05 10.06 11/519 10572
/proc/meminfo: memFree=13086948/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=330860 CPUtime=152.34 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 124804 0 0 0 15212 22 0 0 25 0 4 0 669777375 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 82715 36783 408 106 0 78218 0
[pid=10566/tid=10567] ppid=10564 vsize=330860 CPUtime=34.05 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 25723 0 0 0 3398 7 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=330860 CPUtime=38.39 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 16818 0 0 0 3837 2 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=330860 CPUtime=29.65 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 74812 0 0 0 2954 11 0 0 25 0 4 0 669777377 338800640 36783 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.34
Current children cumulated vsize (KiB) 330860

[startup+102.32 s]
/proc/loadavg: 10.03 10.04 10.06 11/519 10573
/proc/meminfo: memFree=12938504/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=374236 CPUtime=305.1 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 332584 0 0 0 30455 55 0 0 25 0 4 0 669777375 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511973 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10566/statm: 93559 57159 509 106 0 89062 0
[pid=10566/tid=10567] ppid=10564 vsize=374236 CPUtime=74.46 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 41053 0 0 0 7435 11 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=374236 CPUtime=74.67 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 25516 0 0 0 7463 4 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=374236 CPUtime=55.39 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 255419 0 0 0 5502 37 0 0 25 0 4 0 669777377 383217664 57159 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 305.1
Current children cumulated vsize (KiB) 374236

[startup+162.301 s]

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

/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 838600 0 0 0 26594 123 0 0 25 0 4 0 669777377 804454400 129726 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (KiB) 785600

[startup+462.301 s]
/proc/loadavg: 10.31 10.18 10.11 11/519 10583
/proc/meminfo: memFree=12334788/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=851136 CPUtime=1378.85 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1372432 0 0 0 137669 216 0 0 25 0 4 0 669777375 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 212784 139234 1889 106 0 208287 0
[pid=10566/tid=10567] ppid=10564 vsize=851136 CPUtime=304.86 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 92749 0 0 0 30462 24 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=851136 CPUtime=348.91 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 58617 0 0 0 34880 11 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=851136 CPUtime=300.09 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1154205 0 0 0 29841 168 0 0 25 0 4 0 669777377 871563264 139234 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1378.85
Current children cumulated vsize (KiB) 851136

[startup+522.3 s]
/proc/loadavg: 10.15 10.16 10.10 11/519 10584
/proc/meminfo: memFree=12246236/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1557.82 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1694801 0 0 0 155521 261 0 0 25 0 4 0 669777375 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 150708 2382 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=334.41 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 93852 0 0 0 33417 24 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4375208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=407.89 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 59379 0 0 0 40778 11 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=330.54 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1465807 0 0 0 32842 212 0 0 25 0 4 0 669777377 917704704 150708 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1557.82
Current children cumulated vsize (KiB) 896196

[startup+582.3 s]
/proc/loadavg: 10.18 10.16 10.10 11/519 10586
/proc/meminfo: memFree=12187692/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1736.78 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1921702 0 0 0 173387 291 0 0 25 0 4 0 669777375 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 154660 2296 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=364.71 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 94813 0 0 0 36447 24 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=466.25 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60473 0 0 0 46613 12 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=360.84 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1684394 0 0 0 35844 240 0 0 25 0 4 0 669777377 917704704 154660 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1736.78
Current children cumulated vsize (KiB) 896196

[startup+642.3 s]
/proc/loadavg: 10.10 10.14 10.09 11/519 10587
/proc/meminfo: memFree=12129028/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=896196 CPUtime=1915.78 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 1961893 0 0 0 191282 296 0 0 25 0 4 0 669777375 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 224049 159642 2183 106 0 219552 0
[pid=10566/tid=10567] ppid=10564 vsize=896196 CPUtime=394.85 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95229 0 0 0 39461 24 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=896196 CPUtime=496.81 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60473 0 0 0 49669 12 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=896196 CPUtime=419.14 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 1718698 0 0 0 41670 244 0 0 25 0 4 0 669777377 917704704 159642 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1915.78
Current children cumulated vsize (KiB) 896196

[startup+702.3 s]
/proc/loadavg: 10.18 10.15 10.10 11/519 10589
/proc/meminfo: memFree=12073580/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2094.73 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2372183 0 0 0 209118 355 0 0 25 0 4 0 669777375 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 164293 2193 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=430.52 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95466 0 0 0 43028 24 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=526.6 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60474 0 0 0 52648 12 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=472.63 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2114507 0 0 0 46962 301 0 0 25 0 4 0 669777377 940900352 164293 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2094.73
Current children cumulated vsize (KiB) 918848

[startup+762.32 s]
/proc/loadavg: 10.24 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12014668/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2273.74 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2732868 0 0 0 226965 409 0 0 25 0 4 0 669777375 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169787 2190 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=467.74 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95666 0 0 0 46749 25 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=565.77 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56565 12 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=515.23 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2469018 0 0 0 51170 353 0 0 25 0 4 0 669777377 940900352 169787 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2273.74
Current children cumulated vsize (KiB) 918848

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

[startup+763.1 s]
/proc/loadavg: 10.24 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12014668/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2276.08 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2739415 0 0 0 227198 410 0 0 25 0 4 0 669777375 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169135 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=468.14 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95666 0 0 0 46789 25 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=566.15 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56603 12 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=516.01 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2475557 0 0 0 51247 354 0 0 25 0 4 0 669777377 940900352 169135 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2276.08
Current children cumulated vsize (KiB) 918848

[startup+764.701 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12010824/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2280.84 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2753186 0 0 0 227672 412 0 0 25 0 4 0 669777375 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169402 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=468.94 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46869 25 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=566.92 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56680 12 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=517.61 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2489273 0 0 0 51404 357 0 0 25 0 4 0 669777377 940900352 169402 33554432000 4194304 4625164 140737471782544 18446744073709551615 4547248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2280.84
Current children cumulated vsize (KiB) 918848

[startup+765.101 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12010824/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2282.04 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2756462 0 0 0 227791 413 0 0 25 0 4 0 669777375 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169926 2188 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.14 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46889 25 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.12 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56700 12 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2492507 0 0 0 51443 357 0 0 25 0 4 0 669777377 940900352 169926 33554432000 4194304 4625164 140737471782544 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2282.04
Current children cumulated vsize (KiB) 918848

[startup+765.501 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12008716/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2283.26 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2760842 0 0 0 227913 413 0 0 25 0 4 0 669777375 940900352 169338 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169339 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.29 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46904 25 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.37 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56725 12 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518.42 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2497223 0 0 0 51485 357 0 0 25 0 4 0 669777377 940900352 169680 33554432000 4194304 4625164 140737471782544 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2283.26
Current children cumulated vsize (KiB) 918848

[startup+765.62 s]
/proc/loadavg: 10.22 10.16 10.10 11/519 10591
/proc/meminfo: memFree=12008716/32951124 swapFree=67111348/67111528
[pid=10566] ppid=10564 vsize=918848 CPUtime=2283.58 cores=0,2,4,6
/proc/10566/stat : 10566 (SArTagnan) R 10564 10566 10092 0 -1 4202496 2762017 0 0 0 227945 413 0 0 25 0 4 0 669777375 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10566/statm: 229712 169682 2183 106 0 225215 0
[pid=10566/tid=10567] ppid=10564 vsize=918848 CPUtime=469.3 cores=0,2,4,6
/proc/10566/task/10567/stat : 10567 (SArTagnan) R 10564 10566 10092 0 -1 4202560 95672 0 0 0 46905 25 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 212687333169 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10566/tid=10568] ppid=10564 vsize=918848 CPUtime=567.47 cores=0,2,4,6
/proc/10566/task/10568/stat : 10568 (SArTagnan) R 10564 10566 10092 0 -1 4202560 60523 0 0 0 56735 12 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10566/tid=10569] ppid=10564 vsize=918848 CPUtime=518.52 cores=0,2,4,6
/proc/10566/task/10569/stat : 10569 (SArTagnan) R 10564 10566 10092 0 -1 4202560 2498020 0 0 0 51494 358 0 0 25 0 4 0 669777377 940900352 169682 33554432000 4194304 4625164 140737471782544 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2283.58
Current children cumulated vsize (KiB) 918848

Child status: 10
Real time (s): 765.662
CPU time (s): 2283.65
CPU user time (s): 2279.49
CPU system time (s): 4.16837
CPU usage (%): 298.259
Max. virtual memory (cumulated for all children) (KiB): 918848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2279.49
system time used= 4.16837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2762030
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= 1229
involuntary context switches= 19481

runsolver used 3.82242 second user time and 9.28359 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 23:36:36
IDJOB=3386024
IDBENCH=83264
IDSOLVER=1871
FILE ID=node139/3386024-1305581796
RUNJOBID= node139-1305581710-10511
PBS_JOBID= 13350204
Free space on /tmp= 73272 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_399.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386024-1305581796/watcher-3386024-1305581796 -o /tmp/evaluation-result-3386024-1305581796/solver-3386024-1305581796 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386024-1305581796.cnf -threads=4

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

MD5SUM BENCH= 693b5fe291cecff45feff3be98a908cf
RANDOM SEED=1686348014

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:      13333572 kB
Buffers:        342372 kB
Cached:        3341200 kB
SwapCached:          0 kB
Active:       17075908 kB
Inactive:      2193856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13333572 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:    15585552 kB
Mapped:          39388 kB
Slab:           208936 kB
PageTables:      70824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141046292 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= 73272 MiB
End job on node139 at 2011-05-16 23:49:22