Trace number 4111815

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
minisatp 2012-10-02 git-d91742b? (TO) 1800.03 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K128.opb
MD5SUM17c4ca9a6493665b57c1ccd2ab23e03d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15232
Total number of constraints15490
Number of constraints which are clauses15362
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint128
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 129
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.39/0.44	c Converting 15488 PB-constraints to clauses...
0.39/0.44	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.39/0.45	c   -- Detecting intervals from adjacent constraints: ##############################################################################################################################
0.39/0.45	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.47	c ---[ 252]---> BDD-cost:  235
0.39/0.47	c ---[ 250]---> BDD-cost:  235
0.39/0.48	c ---[ 248]---> BDD-cost:  235
0.39/0.48	c ---[ 246]---> BDD-cost:  235
0.39/0.48	c ---[ 244]---> BDD-cost:  235
0.39/0.49	c ---[ 242]---> BDD-cost:  235
0.39/0.49	c ---[ 240]---> BDD-cost:  235
0.39/0.49	c ---[ 238]---> BDD-cost:  235
0.49/0.50	c ---[ 236]---> BDD-cost:  235
0.49/0.50	c ---[ 234]---> BDD-cost:  235
0.49/0.50	c ---[ 232]---> BDD-cost:  235
0.49/0.51	c ---[ 230]---> BDD-cost:  235
0.49/0.51	c ---[ 228]---> BDD-cost:  235
0.49/0.51	c ---[ 226]---> BDD-cost:  235
0.49/0.52	c ---[ 224]---> BDD-cost:  235
0.49/0.52	c ---[ 222]---> BDD-cost:  235
0.49/0.52	c ---[ 220]---> BDD-cost:  235
0.49/0.53	c ---[ 218]---> BDD-cost:  235
0.49/0.53	c ---[ 216]---> BDD-cost:  235
0.49/0.53	c ---[ 214]---> BDD-cost:  235
0.49/0.54	c ---[ 212]---> BDD-cost:  235
0.49/0.54	c ---[ 210]---> BDD-cost:  235
0.49/0.54	c ---[ 208]---> BDD-cost:  235
0.49/0.55	c ---[ 206]---> BDD-cost:  235
0.49/0.55	c ---[ 204]---> BDD-cost:  235
0.49/0.55	c ---[ 202]---> BDD-cost:  235
0.49/0.56	c ---[ 200]---> BDD-cost:  235
0.49/0.56	c ---[ 198]---> BDD-cost:  235
0.49/0.56	c ---[ 196]---> BDD-cost:  235
0.49/0.57	c ---[ 194]---> BDD-cost:  235
0.49/0.57	c ---[ 192]---> BDD-cost:  235
0.49/0.57	c ---[ 190]---> BDD-cost:  235
0.49/0.58	c ---[ 188]---> BDD-cost:  235
0.49/0.58	c ---[ 186]---> BDD-cost:  235
0.49/0.58	c ---[ 184]---> BDD-cost:  235
0.49/0.58	c ---[ 182]---> BDD-cost:  235
0.49/0.59	c ---[ 180]---> BDD-cost:  235
0.49/0.59	c ---[ 178]---> BDD-cost:  235
0.49/0.59	c ---[ 176]---> BDD-cost:  235
0.59/0.60	c ---[ 174]---> BDD-cost:  235
0.59/0.60	c ---[ 172]---> BDD-cost:  235
0.59/0.60	c ---[ 170]---> BDD-cost:  235
0.59/0.61	c ---[ 168]---> BDD-cost:  235
0.59/0.61	c ---[ 166]---> BDD-cost:  235
0.59/0.61	c ---[ 164]---> BDD-cost:  235
0.59/0.62	c ---[ 162]---> BDD-cost:  235
0.59/0.62	c ---[ 160]---> BDD-cost:  235
0.59/0.62	c ---[ 158]---> BDD-cost:  235
0.59/0.63	c ---[ 156]---> BDD-cost:  235
0.59/0.63	c ---[ 154]---> BDD-cost:  235
0.59/0.63	c ---[ 152]---> BDD-cost:  235
0.59/0.64	c ---[ 150]---> BDD-cost:  235
0.59/0.64	c ---[ 148]---> BDD-cost:  235
0.59/0.64	c ---[ 146]---> BDD-cost:  235
0.59/0.65	c ---[ 144]---> BDD-cost:  235
0.59/0.65	c ---[ 142]---> BDD-cost:  235
0.59/0.65	c ---[ 140]---> BDD-cost:  235
0.59/0.66	c ---[ 138]---> BDD-cost:  235
0.59/0.66	c ---[ 136]---> BDD-cost:  235
0.59/0.66	c ---[ 134]---> BDD-cost:  235
0.59/0.67	c ---[ 132]---> BDD-cost:  235
0.59/0.67	c ---[ 130]---> BDD-cost:  235
0.59/0.67	c ---[ 128]---> BDD-cost:  235
0.59/0.68	c ---[ 126]---> BDD-cost:  235
0.59/0.68	c ---[ 124]---> BDD-cost:  235
0.59/0.68	c ---[ 122]---> BDD-cost:  235
0.59/0.69	c ---[ 120]---> BDD-cost:  235
0.59/0.69	c ---[ 118]---> BDD-cost:  235
0.59/0.69	c ---[ 116]---> BDD-cost:  235
0.69/0.70	c ---[ 114]---> BDD-cost:  235
0.69/0.70	c ---[ 112]---> BDD-cost:  235
0.69/0.70	c ---[ 110]---> BDD-cost:  235
0.69/0.71	c ---[ 108]---> BDD-cost:  235
0.69/0.71	c ---[ 106]---> BDD-cost:  235
0.69/0.71	c ---[ 104]---> BDD-cost:  235
0.69/0.72	c ---[ 102]---> BDD-cost:  235
0.69/0.72	c ---[ 100]---> BDD-cost:  235
0.69/0.72	c ---[  98]---> BDD-cost:  235
0.69/0.73	c ---[  96]---> BDD-cost:  235
0.69/0.73	c ---[  94]---> BDD-cost:  235
0.69/0.73	c ---[  92]---> BDD-cost:  235
0.69/0.74	c ---[  90]---> BDD-cost:  235
0.69/0.74	c ---[  88]---> BDD-cost:  235
0.69/0.74	c ---[  86]---> BDD-cost:  235
0.69/0.75	c ---[  84]---> BDD-cost:  235
0.69/0.75	c ---[  82]---> BDD-cost:  235
0.69/0.75	c ---[  80]---> BDD-cost:  235
0.69/0.76	c ---[  78]---> BDD-cost:  235
0.69/0.76	c ---[  76]---> BDD-cost:  235
0.69/0.76	c ---[  74]---> BDD-cost:  235
0.69/0.77	c ---[  72]---> BDD-cost:  235
0.69/0.77	c ---[  70]---> BDD-cost:  235
0.69/0.77	c ---[  68]---> BDD-cost:  235
0.69/0.78	c ---[  66]---> BDD-cost:  235
0.69/0.78	c ---[  64]---> BDD-cost:  235
0.69/0.78	c ---[  62]---> BDD-cost:  235
0.69/0.79	c ---[  60]---> BDD-cost:  235
0.69/0.79	c ---[  58]---> BDD-cost:  235
0.69/0.79	c ---[  56]---> BDD-cost:  235
0.79/0.80	c ---[  54]---> BDD-cost:  235
0.79/0.80	c ---[  52]---> BDD-cost:  235
0.79/0.80	c ---[  50]---> BDD-cost:  235
0.79/0.81	c ---[  48]---> BDD-cost:  235
0.79/0.81	c ---[  46]---> BDD-cost:  235
0.79/0.81	c ---[  44]---> BDD-cost:  235
0.79/0.82	c ---[  42]---> BDD-cost:  235
0.79/0.82	c ---[  40]---> BDD-cost:  235
0.79/0.82	c ---[  38]---> BDD-cost:  235
0.79/0.83	c ---[  36]---> BDD-cost:  235
0.79/0.83	c ---[  34]---> BDD-cost:  235
0.79/0.83	c ---[  32]---> BDD-cost:  235
0.79/0.84	c ---[  30]---> BDD-cost:  235
0.79/0.84	c ---[  28]---> BDD-cost:  235
0.79/0.84	c ---[  26]---> BDD-cost:  235
0.79/0.85	c ---[  24]---> BDD-cost:  233
0.79/0.85	c ---[  22]---> BDD-cost:  229
0.79/0.85	c ---[  20]---> BDD-cost:  223
0.79/0.85	c ---[  18]---> BDD-cost:  213
0.79/0.86	c ---[  16]---> BDD-cost:  205
0.79/0.86	c ---[  14]---> BDD-cost:  199
0.79/0.86	c ---[  12]---> BDD-cost:  177
0.79/0.86	c ---[  10]---> BDD-cost:  131
0.79/0.87	c ---[   8]---> BDD-cost:   97
0.79/0.87	c ---[   6]---> BDD-cost:   63
0.79/0.87	c ---[   4]---> BDD-cost:   35
0.79/0.87	c ---[   2]---> BDD-cost:    7
1800.01/1800.40	|  Eliminated clauses:           0.03 Mb                                      |
1800.01/1800.40	============================[ Search Statistics ]==============================
1800.01/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.40	===============================================================================
1800.01/1800.40	|       100 |   42058    84784   248082 |    31087       98    170 |  2.040 % |
1800.01/1800.40	|       250 |   42057    84784   248082 |    34196      247    152 |  2.042 % |
1800.01/1800.40	|       475 |   42057    84784   248082 |    37615      472    159 |  2.042 % |
1800.01/1800.40	|       812 |   42057    84784   248082 |    41377      809    147 |  2.042 % |
1800.01/1800.40	|      1318 |   42057    84784   248082 |    45515     1315    128 |  2.042 % |
1800.01/1800.40	|      2077 |   42057    84784   248082 |    50066     2074    153 |  2.042 % |
1800.01/1800.40	|      3216 |   42057    84784   248082 |    55073     3213    221 |  2.042 % |
1800.01/1800.40	|      4924 |   42057    84784   248082 |    60580     4921    195 |  2.042 % |
1800.01/1800.40	|      7486 |   42056    84784   248082 |    66638     7482    186 |  2.044 % |
1800.01/1800.40	|     11330 |   42050    84784   248082 |    73302    11317    199 |  2.058 % |
1800.01/1800.40	|     17096 |   42050    84784   248082 |    80632    17083    208 |  2.058 % |
1800.01/1800.40	|     25745 |   42050    84784   248082 |    88696    25732    235 |  2.058 % |
1800.01/1800.40	|     38719 |   42050    84784   248082 |    97565    38706    242 |  2.058 % |
1800.01/1800.40	|     58180 |   42049    84784   248082 |   107322    58164    241 |  2.060 % |
1800.01/1800.40	|     87372 |   42046    84784   248082 |   118054    87351    252 |  2.067 % |
1800.01/1800.40	|    131161 |   42040    84784   248082 |   129860    40125    161 |  2.081 % |
1800.01/1800.40	|    196845 |   41918    84784   248082 |   142846   105722    283 |  2.359 % |
1800.01/1800.40	|    295371 |   41893    84784   248082 |   157130    99541    267 |  2.416 % |
1800.01/1800.40	|    443160 |   41867    84784   248082 |   172843   134559    314 |  2.475 % |
1800.01/1800.40	|    664843 |   41848    84784   248082 |   190128    80245    240 |  2.519 % |
1800.01/1800.40	|    997368 |   41815    84784   248082 |   209140   143942    377 |  2.594 % |
1800.01/1800.40	|   1496156 |   41800    84784   248082 |   230055   157796    296 |  2.628 % |
1800.01/1800.40	|   2244338 |   41783    84784   248082 |   253060   159496    435 |  2.667 % |
1800.01/1800.40	c 
1800.01/1800.40	c *** TERMINATED ***
1800.01/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4111815-1466602938/watcher-4111815-1466602938 -o /tmp/evaluation-result-4111815-1466602938/solver-4111815-1466602938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466586461-8506 --watchdog 1960 minisatp HOME/instance-4111815-1466602938.opb 

pid=10665
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10668
/proc/meminfo: memFree=28524468/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=6600 CPUtime=0 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 62343816 6758400 239 33554432000 4194304 5646918 140735073717264 140733457882584 4866896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 1650 239 94 355 0 1291 0

[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10668
/proc/meminfo: memFree=28524468/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=13068 CPUtime=0.09 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 1948 0 0 0 9 0 0 0 20 0 1 0 62343816 13381632 1782 33554432000 4194304 5646918 140735073717264 140733457882584 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 3267 1783 94 355 0 2908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13068

[startup+0.200303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10668
/proc/meminfo: memFree=28524468/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=18576 CPUtime=0.19 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 3339 0 0 0 19 0 0 0 20 0 1 0 62343816 19021824 3173 33554432000 4194304 5646918 140735073717264 140733457882584 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 4644 3174 94 355 0 4285 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18576

[startup+0.300303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10668
/proc/meminfo: memFree=28524468/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=24184 CPUtime=0.29 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 4736 0 0 0 29 0 0 0 20 0 1 0 62343816 24764416 4570 33554432000 4194304 5646918 140735073717264 140733457882584 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 6046 4570 94 355 0 5687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24184

[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10668
/proc/meminfo: memFree=28524468/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=32020 CPUtime=0.69 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 6939 0 0 0 68 1 0 0 20 0 1 0 62343816 32788480 6640 33554432000 4194304 5646918 140735073717264 140735073715928 4347424 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 8005 6640 117 355 0 7646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32020

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28481700/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=39432 CPUtime=1.49 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 8941 0 0 0 148 1 0 0 20 0 1 0 62343816 40378368 9077 33554432000 4194304 5646918 140735073717264 140735073715928 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 9858 9077 143 355 0 9499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39432

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28477792/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=46572 CPUtime=3.09 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 9963 0 0 0 308 1 0 0 20 0 1 0 62343816 47689728 10094 33554432000 4194304 5646918 140735073717264 140735073715960 4388936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 11643 10094 144 355 0 11284 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46572

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28465028/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=65428 CPUtime=6.29 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 11006 0 0 0 627 2 0 0 20 0 1 0 62343816 66998272 13686 33554432000 4194304 5646918 140735073717264 140735073715960 4389024 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 16357 13686 144 355 0 15998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65428

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28423636/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=84396 CPUtime=12.69 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 11535 0 0 0 1267 2 0 0 20 0 1 0 62343816 86421504 18301 33554432000 4194304 5646918 140735073717264 140735073715960 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 21099 18301 144 355 0 20740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84396

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28361028/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=116432 CPUtime=25.49 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 12376 0 0 0 2546 3 0 0 20 0 1 0 62343816 119226368 26294 33554432000 4194304 5646918 140735073717264 140735073715400 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 29108 26294 144 355 0 28749 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116432

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10669
/proc/meminfo: memFree=28240276/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=174196 CPUtime=51.08 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 14809 0 0 0 5104 4 0 0 20 0 1 0 62343816 178376704 42522 33554432000 4194304 5646918 140735073717264 140735073715400 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 43549 42522 144 355 0 43190 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 174196

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10670
/proc/meminfo: memFree=28010216/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=260016 CPUtime=102.28 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 19190 0 0 0 10220 8 0 0 20 0 1 0 62343816 266256384 50757 33554432000 4194304 5646918 140735073717264 140735073715400 4403107 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 65004 50757 146 355 0 64645 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 260016

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10671
/proc/meminfo: memFree=30117508/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=264824 CPUtime=162.27 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 22884 0 0 0 16216 11 0 0 20 0 1 0 62343816 271179776 48251 33554432000 4194304 5646918 140735073717264 140735073715368 4403170 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 66206 48251 146 355 0 65847 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 264824

[startup+222.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10672
/proc/meminfo: memFree=29779092/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=186968 CPUtime=222.27 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 25570 0 0 0 22212 15 0 0 20 0 1 0 62343816 191455232 45849 33554432000 4194304 5646918 140735073717264 140735073715368 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 46742 45849 146 355 0 46383 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 186968

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10674
/proc/meminfo: memFree=29580556/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=140840 CPUtime=282.25 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 28154 0 0 0 28205 20 0 0 20 0 1 0 62343816 144220160 31587 33554432000 4194304 5646918 140735073717264 140735073715400 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 35210 31587 146 355 0 34851 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 140840

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10675
/proc/meminfo: memFree=29197888/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=407060 CPUtime=342.24 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 30391 0 0 0 34201 23 0 0 20 0 1 0 62343816 416829440 71636 33554432000 4194304 5646918 140735073717264 140735073715400 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 101765 71636 146 355 0 101406 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 407060

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10732
/proc/meminfo: memFree=31260688/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=276916 CPUtime=402.2 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 32889 0 0 0 40193 27 0 0 20 0 1 0 62343816 283561984 55419 33554432000 4194304 5646918 140735073717264 140735073715400 4404198 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 69229 55419 146 355 0 68870 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 276916

[startup+462.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 10733
/proc/meminfo: memFree=31215780/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=149076 CPUtime=462.19 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 35642 0 0 0 46187 32 0 0 20 0 1 0 62343816 152653824 34151 33554432000 4194304 5646918 140735073717264 140735073715960 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 37269 34151 146 355 0 36910 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 149076

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10737
/proc/meminfo: memFree=31187972/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=414520 CPUtime=522.17 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 37673 0 0 0 52182 35 0 0 20 0 1 0 62343816 424468480 72460 33554432000 4194304 5646918 140735073717264 140735073715400 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 103630 72460 146 355 0 103271 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 414520

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10739
/proc/meminfo: memFree=31084636/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=284112 CPUtime=582.17 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 40065 0 0 0 58176 41 0 0 20 0 1 0 62343816 290930688 65261 33554432000 4194304 5646918 140735073717264 140735073715368 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 71028 65261 146 355 0 70669 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 284112


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10745
/proc/meminfo: memFree=31037796/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=424820 CPUtime=882.12 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 47603 0 0 0 88149 63 0 0 20 0 1 0 62343816 435015680 82557 33554432000 4194304 5646918 140735073717264 140735073715400 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 106205 82557 146 355 0 105846 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 424820

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10746
/proc/meminfo: memFree=31025940/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=294096 CPUtime=942.1 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 49873 0 0 0 94142 68 0 0 20 0 1 0 62343816 301154304 55022 33554432000 4194304 5646918 140735073717264 140735073715368 4389024 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 73524 55022 146 355 0 73165 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 294096

[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 10747
/proc/meminfo: memFree=30791112/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=427668 CPUtime=1002.09 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 50787 0 0 0 100139 70 0 0 20 0 1 0 62343816 437932032 87618 33554432000 4194304 5646918 140735073717264 140735073715400 4397643 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 106917 87618 146 355 0 106558 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 427668

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10748
/proc/meminfo: memFree=31209028/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=215300 CPUtime=1062.08 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 52756 0 0 0 106130 78 0 0 20 0 1 0 62343816 220467200 48229 33554432000 4194304 5646918 140735073717264 140735073715400 4397604 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 53825 48229 146 355 0 53466 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 215300

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 10752
/proc/meminfo: memFree=30864600/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=430484 CPUtime=1122.07 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 54404 0 0 0 112125 82 0 0 20 0 1 0 62343816 440815616 92432 33554432000 4194304 5646918 140735073717264 140735073715400 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 107621 92432 146 355 0 107262 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 430484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10776
/proc/meminfo: memFree=30922264/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=168200 CPUtime=1182.04 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 56500 0 0 0 118115 89 0 0 20 0 1 0 62343816 172236800 40550 33554432000 4194304 5646918 140735073717264 140735073715960 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 42050 40550 146 355 0 41691 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 168200

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 10777
/proc/meminfo: memFree=31103596/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=433020 CPUtime=1242.03 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 57993 0 0 0 124110 93 0 0 20 0 1 0 62343816 443412480 78322 33554432000 4194304 5646918 140735073717264 140735073715368 4402806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 108255 78322 146 355 0 107896 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 433020

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10779
/proc/meminfo: memFree=31134400/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=171032 CPUtime=1302.03 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 59401 0 0 0 130107 96 0 0 20 0 1 0 62343816 175136768 36803 33554432000 4194304 5646918 140735073717264 140735073715960 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 42758 36803 146 355 0 42399 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 171032

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10780
/proc/meminfo: memFree=30855504/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=303044 CPUtime=1362.02 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 60635 0 0 0 136103 99 0 0 20 0 1 0 62343816 310317056 74827 33554432000 4194304 5646918 140735073717264 140735073715400 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 75761 74827 146 355 0 75402 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 303044

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10781
/proc/meminfo: memFree=30583124/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=651420 CPUtime=1422.01 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 61922 0 0 0 142097 104 0 0 20 0 1 0 62343816 667054080 112906 33554432000 4194304 5646918 140735073717264 140735073715960 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 162855 112906 146 355 0 162496 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 651420

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10783
/proc/meminfo: memFree=31095288/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=304784 CPUtime=1482 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 63787 0 0 0 148090 110 0 0 20 0 1 0 62343816 312098816 75430 33554432000 4194304 5646918 140735073717264 140735073715400 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 76196 75430 146 355 0 75837 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 304784

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10784
/proc/meminfo: memFree=30813620/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=653424 CPUtime=1541.98 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 65192 0 0 0 154083 115 0 0 20 0 1 0 62343816 669106176 113693 33554432000 4194304 5646918 140735073717264 140735073715400 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 163356 113693 146 355 0 162997 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 653424

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10785
/proc/meminfo: memFree=31005456/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=145600 CPUtime=1601.94 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 65787 0 0 0 160077 117 0 0 20 0 1 0 62343816 149094400 35299 33554432000 4194304 5646918 140735073717264 140735073715976 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 36400 35299 146 355 0 36041 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 145600

[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 10786
/proc/meminfo: memFree=30701488/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=440660 CPUtime=1661.93 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 68014 0 0 0 166071 122 0 0 20 0 1 0 62343816 451235840 79424 33554432000 4194304 5646918 140735073717264 140735073715400 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 110165 79424 146 355 0 109806 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 440660

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 10790
/proc/meminfo: memFree=30947132/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=658632 CPUtime=1721.92 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 69266 0 0 0 172068 124 0 0 20 0 1 0 62343816 674439168 112869 33554432000 4194304 5646918 140735073717264 140735073715960 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 164658 112869 146 355 0 164299 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 658632

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 10792
/proc/meminfo: memFree=31059780/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=231680 CPUtime=1781.91 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 71464 0 0 0 178064 127 0 0 20 0 1 0 62343816 237240320 46314 33554432000 4194304 5646918 140735073717264 140735073715960 4396854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 57920 46314 146 355 0 57561 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 231680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10792
/proc/meminfo: memFree=30985680/32872528 swapFree=241860/274564
[pid=10668] ppid=10665 vsize=313524 CPUtime=1800.01 cores=1,3,5,7
/proc/10668/stat : 10668 (minisatp) R 10665 10668 8489 0 -1 4202496 71698 0 0 0 179872 129 0 0 20 0 1 0 62343816 321048576 57789 33554432000 4194304 5646918 140735073717264 140735073715368 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/10668/statm: 78381 57789 146 355 0 78022 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 313524

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10668 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1798.73
CPU system time (s): 1.3008
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 723880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.3008
maximum resident set size= 599852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71698
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= 199
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.67568 second user time and 17.2614 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-22 15:42:18
IDJOB=4111815
IDBENCH=90142
IDSOLVER=2555
FILE ID=node107/4111815-1466602938
RUNJOBID= node107-1466586461-8506
PBS_JOBID= 19953368
Free space on /tmp= 71656 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K128.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111815-1466602938/watcher-4111815-1466602938 -o /tmp/evaluation-result-4111815-1466602938/solver-4111815-1466602938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466586461-8506 --watchdog 1960  minisatp HOME/instance-4111815-1466602938.opb

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

MD5SUM BENCH= 17c4ca9a6493665b57c1ccd2ab23e03d
RANDOM SEED=1143825537

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.953
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28524796 kB
Buffers:           94480 kB
Cached:           197756 kB
SwapCached:         2092 kB
Active:          3140204 kB
Inactive:         179328 kB
Active(anon):    3025560 kB
Inactive(anon):     3936 kB
Active(file):     114644 kB
Inactive(file):   175392 kB
Unevictable:      274564 kB
Mlocked:          241860 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:              4312 kB
Writeback:             0 kB
AnonPages:       3308608 kB
Mapped:             8928 kB
Shmem:                 0 kB
Slab:             609776 kB
SReclaimable:      53184 kB
SUnreclaim:       556592 kB
KernelStack:        1464 kB
PageTables:        10648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3804704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2134016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111815-1466602938.opb

Free space on /tmp at the end= 71696 MiB
End job on node107 at 2016-06-22 16:12:18