Trace number 4268030

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
cosoco 1.12? (TO) 2520.04 2519.8999

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-16-ext02.xml
MD5SUM8abff29310eab5a4cd6a8102cf358f32
Bench CategoryCSP (decision problem)
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
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints258
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":256}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":254},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity256
Distribution of constraint arities[{"arity":2,"count":257},{"arity":256,"count":1}]
Number of extensional constraints256
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":256},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c root propagations     : 34026       
0.00/0.08	c restarts enabled, print stats at every restarts
0.00/0.08	c
0.00/0.08	c
0.00/0.08	c
0.00/0.08	c This is cosoco 1.12 --  
0.00/0.08	c
0.00/0.08	c command line: cosoco -lc -model -restarts HOME/instance-4268030-1502547542.xml 
0.00/0.08	c ========================================[ Problem Statistics ]===========================================
0.00/0.08	c |                                                                                                       
0.00/0.08	c |  Parse time        :         0.01 s 
0.00/0.08	c |
0.00/0.08	c |               Variables: 256
0.00/0.08	c |            Domain Sizes: 256..256
0.00/0.08	c |
0.00/0.08	c |             Constraints: 259
0.00/0.08	c |                   Arity: 1..256  -- Unary: 2  -- Binary: 256
0.00/0.08	c | 
0.00/0.08	c |                   Types: 
0.00/0.08	c |                          All Different: 1
0.00/0.08	c |                          Extension: 256  (nb tuples: 1680..1680) -- (shared: 255)
0.00/0.08	c |                          Unary: 2
0.00/0.08	c |                          
0.00/0.08	c =========================================================================================================
0.00/0.08	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.13/0.20	c 101            599            14554          79928          256            0              227   243   232
0.23/0.33	c 211            1174           28965          129735         256            0              208   242   235
0.43/0.53	c 332            1687           44774          230740         256            0              146   238   226
0.63/0.71	c 465            2309           59619          338755         256            0              196   240   229
0.83/0.92	c 611            2872           74634          444726         256            0              107   232   216
1.04/1.16	c 771            3577           91336          543185         256            0              116   236   224
1.23/1.39	c 947            4213           108161         668531         256            0              102   236   221
1.53/1.61	c 1140           5024           127062         794963         256            0              207   240   231
1.73/1.82	c 1352           5798           145643         877684         256            0              209   241   231
1.93/2.08	c 1585           6782           166592         990975         256            0              220   244   236
2.24/2.30	c 1841           7671           186546         1081992        256            0              125   240   229
2.43/2.54	c 2122           8616           207522         1171704        256            0              211   241   233
2.73/2.87	c 2431           9620           228616         1358113        256            0              129   239   227
3.13/3.29	c 2770           10729          257200         1553331        256            0              146   238   229
3.43/3.57	c 3142           11985          283646         1641517        256            0              224   244   236
3.93/4.00	c 3551           13358          312486         1819406        256            0              107   240   231
4.34/4.50	c 4000           14739          346579         2050412        256            0              116   235   228
4.93/5.00	c 4493           16089          375741         2231590        256            0              116   234   222
5.44/5.59	c 5035           17894          412920         2570917        256            0              104   236   224
6.03/6.19	c 5631           20101          455958         2796970        256            0              162   240   230
6.83/6.90	c 6286           22055          500689         3149811        256            0              104   231   223
7.53/7.60	c 7006           24193          545723         3388257        256            0              115   235   226
8.23/8.31	c 7798           26785          595141         3584177        256            0              190   238   230
9.03/9.16	c 8669           29409          652279         3919840        256            0              201   237   228
10.03/10.13	c 9627           32430          714967         4285046        256            0              136   236   228
10.94/11.06	c 10680          35834          779173         4575734        256            0              125   239   231
11.93/12.07	c 11838          38804          842347         4970241        256            0              221   244   233
13.33/13.40	c 13111          42753          923753         5524162        256            0              115   239   226
14.34/14.45	c 14511          47039          999713         5777004        256            0              154   236   229
15.83/15.93	c 16051          52164          1093253        6313889        256            0              141   240   229
17.43/17.53	c 17745          57536          1195057        6856615        256            0              125   240   231
20.03/20.12	c 19608          62243          1341796        7975353        256            0              178   236   227
22.23/22.32	c 21657          68981          1478703        9042854        256            0              105   236   224
24.14/24.24	c 23910          75489          1612425        9798552        256            0              125   240   230
26.63/26.75	c 26388          83169          1761426        10819484       256            0              104   238   228
29.13/29.23	c 29113          91305          1925503        11736266       256            0              157   240   230
31.43/31.56	c 32110          100109         2079723        12413262       256            0              197   237   229
34.34/34.40	c 35406          110527         2267502        13389727       256            0              172   237   230
37.74/37.80	c 39031          121783         2478882        14981773       256            0              94   238   229 
42.44/42.50	c 43018          135388         2742456        16588012       256            0              116   236   225
47.64/47.74	c 47403          149299         3046761        19272422       256            0              94   237   228 
52.14/52.22	c 52226          162140         3318436        21537615       256            0              115   238   229
57.04/57.12	c 57531          179529         3627778        23812148       256            0              192   243   231
63.24/63.38	c 63366          194631         3985163        27207208       256            0              104   240   229
69.14/69.26	c 69784          212719         4346380        29447920       256            0              190   240   231
76.14/76.24	c 76843          234084         4762576        31685300       256            0              104   237   226
82.04/82.17	c 84607          257563         5159183        33777941       256            0              119   245   234
90.64/90.79	c 93147          281631         5664237        37650492       256            0              104   234   225
98.44/98.53	c 102541         308483         6149986        40590268       256            0              117   237   227
110.34/110.41	c 112874         340177         6835044        46203865       256            0              104   235   227
122.44/122.53	c 124240         374670         7536891        50733756       256            0              117   235   226
131.24/131.37	c 136742         412368         8151751        53051031       256            0              211   246   237
140.75/140.87	c 150494         454534         8849896        55255331       256            0              217   244   236
154.05/154.12	c 165621         503526         9702826        60298150       256            0              142   240   229
167.95/168.08	c 182260         556538         10544054       63955184       256            0              104   233   224
184.75/184.87	c 200562         608813         11590254       71563199       256            0              198   237   228
202.25/202.34	c 220694         668415         12620357       77883175       256            0              104   240   231
220.25/220.39	c 242839         730922         13768550       84250104       256            0              128   244   235
241.25/241.39	c 267198         805466         15136016       89935499       256            0              125   237   229
266.05/266.19	c 293992         888133         16611521       99909310       256            0              115   239   228
288.36/288.46	c 323465         968555         17965372       108870761      256            0              104   238   229
321.56/321.67	c 355885         1066120        19844592       123342436      256            0              117   239   230
356.06/356.17	c 391547         1186237        21904558       136007845      256            0              104   242   230
385.46/385.52	c 430775         1307641        24024243       144930115      256            0              210   245   236
419.17/419.24	c 473925         1430302        26232611       156340485      256            0              125   243   232
458.97/459.05	c 521390         1570890        28635030       168158994      256            0              104   236   226
500.07/500.15	c 573601         1720194        31227859       185533692      256            0              130   242   233
539.87/539.91	c 631033         1879072        33882367       197337574      256            0              216   242   233
600.78/600.85	c 694208         2075691        37376295       221463690      256            0              104   240   231
661.88/661.94	c 763700         2279330        41219141       243981385      256            0              117   237   227
718.79/718.89	c 840141         2497992        45303628       262199639      256            0              198   242   233
788.70/788.75	c 924226         2756894        49686594       286019689      256            0              197   243   232
857.10/857.19	c 1016719        3026799        54158750       305244785      256            0              125   241   231
942.81/942.80	c 1118461        3315926        59107386       332900118      256            0              110   239   229
1053.82/1053.86	c 1230377        3642330        65706287       386858990      256            0              117   236   226
1170.53/1170.52	c 1353484        4022040        72266103       424482561      256            0              104   238   227
1268.33/1268.33	c 1488901        4413662        78828940       451296619      256            0              125   242   234
1371.64/1371.63	c 1637859        4835462        85746091       481858435      256            0              216   244   232
1503.35/1503.35	c 1801712        5307846        93657771       527422651      256            0              104   239   229
1659.96/1659.93	c 1981950        5831920        103303971      589439186      256            0              157   242   232
1852.87/1852.82	c 2180211        6492110        115174401      650988365      256            0              132   240   229
2033.89/2033.88	c 2398298        7174897        126508208      709522872      256            0              164   244   234
2259.21/2259.19	c 2638193        7994516        140414098      785051013      256            0              104   238   227
2520.03/2519.90	
2520.03/2519.90	c *** INTERRUPTED ***
2520.03/2519.90	c restarts              : 83          
2520.03/2519.90	c conflicts             : 2897838      (1150 /sec)
2520.03/2519.90	c decisions             : 8754918      (3474 /sec)
2520.03/2519.90	c propagations          : 867533534   (344256 /sec)
2520.03/2519.90	c root propagations     : 34026       
2520.03/2519.90	c filter calls          : 153211892      (60798 /sec)
2520.03/2519.90	c useless filter calls  : 76643267       (50 %)
2520.03/2519.90	c Memory used           : 28.32 MB
2520.03/2519.90	c CPU time              : 2520.03 s
2520.03/2519.90	
2520.03/2519.90	s UNKNOWN

Verifier Data


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-4268030-1502547542/watcher-4268030-1502547542 -o /tmp/evaluation-result-4268030-1502547542/solver-4268030-1502547542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268030-1502547542.xml 

pid=6574
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.99 2.03 4/185 6577
/proc/meminfo: memFree=31072820/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (runsolver) D 6574 6577 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 102569409 24240128 106 18446744073709551615 4194304 4338465 140729637373792 140729637371432 140363238441687 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 9449472 140729637376193 140729637376585 140729637376585 140729637380042 0
/proc/6577/statm: 5918 106 53 36 0 2156 0

[startup+0.100195 s]
/proc/loadavg: 2.00 1.99 2.03 4/185 6577
/proc/meminfo: memFree=31072820/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=28584 CPUtime=0.03 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 1431 0 0 0 3 0 0 0 20 0 1 0 102569409 29270016 1228 18446744073709551615 4194304 5972588 140732926271680 140732926268328 4972365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7146 1228 732 435 0 509 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28584

[startup+0.200347 s]
/proc/loadavg: 2.00 1.99 2.03 4/185 6577
/proc/meminfo: memFree=31072820/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=28856 CPUtime=0.13 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 1480 0 0 0 13 0 0 0 20 0 1 0 102569409 29548544 1294 18446744073709551615 4194304 5972588 140732926271680 140732926268328 4970781 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7214 1294 770 435 0 577 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 28856

[startup+0.300313 s]
/proc/loadavg: 2.00 1.99 2.03 4/185 6577
/proc/meminfo: memFree=31072820/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=29000 CPUtime=0.23 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 1501 0 0 0 23 0 0 0 20 0 1 0 102569409 29696000 1294 18446744073709551615 4194304 5972588 140732926271680 140732926268328 4975680 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1294 770 435 0 613 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29000

[startup+0.700277 s]
/proc/loadavg: 2.00 1.99 2.03 4/185 6577
/proc/meminfo: memFree=31072820/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=29000 CPUtime=0.63 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 1504 0 0 0 63 0 0 0 20 0 1 0 102569409 29696000 1294 18446744073709551615 4194304 5972588 140732926271680 140732926268984 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1294 770 435 0 613 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 29000

[startup+1.50027 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 6578
/proc/meminfo: memFree=31070620/32770624 swapFree=0/457672
[pid=6577] ppid=6574 vsize=29000 CPUtime=1.43 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 1507 0 0 0 143 0 0 0 20 0 1 0 102569409 29696000 1294 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975726 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1294 770 435 0 613 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 29000

[startup+3.10027 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 6578
/proc/meminfo: memFree=31070892/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=29000 CPUtime=3.03 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 2022 0 0 0 303 0 0 0 20 0 1 0 102569409 29696000 1349 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4977783 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1349 772 435 0 613 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29000

[startup+6.30028 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 6578
/proc/meminfo: memFree=31070804/32770624 swapFree=0/457860
[pid=6577] ppid=6574 vsize=29000 CPUtime=6.23 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 2539 0 0 0 623 0 0 0 20 0 1 0 102569409 29696000 1351 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971560 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1351 772 435 0 613 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 29000

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 6578
/proc/meminfo: memFree=31070680/32770624 swapFree=0/457864
[pid=6577] ppid=6574 vsize=29000 CPUtime=12.63 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 3058 0 0 0 1263 0 0 0 20 0 1 0 102569409 29696000 1353 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4979152 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1353 772 435 0 613 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 29000

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 6579
/proc/meminfo: memFree=31070804/32770624 swapFree=0/457860
[pid=6577] ppid=6574 vsize=29000 CPUtime=25.43 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 4094 0 0 0 2543 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978730 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 29000

[startup+51.1003 s]
/proc/loadavg: 2.08 2.00 2.03 3/186 6579
/proc/meminfo: memFree=31071052/32770624 swapFree=0/457876
[pid=6577] ppid=6574 vsize=29000 CPUtime=51.04 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 4612 0 0 0 5104 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971949 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29000

[startup+102.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/185 6581
/proc/meminfo: memFree=31071140/32770624 swapFree=0/457888
[pid=6577] ppid=6574 vsize=29000 CPUtime=102.25 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 5133 0 0 0 10225 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4977719 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29000

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/186 6584
/proc/meminfo: memFree=31070976/32770624 swapFree=0/457896
[pid=6577] ppid=6574 vsize=29000 CPUtime=162.25 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 5652 0 0 0 16225 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978114 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29000

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 6586
/proc/meminfo: memFree=31070944/32770624 swapFree=0/457900
[pid=6577] ppid=6574 vsize=29000 CPUtime=222.26 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 6170 0 0 0 22226 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975080 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29000

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 6588
/proc/meminfo: memFree=31070576/32770624 swapFree=0/457904
[pid=6577] ppid=6574 vsize=29000 CPUtime=282.25 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 6170 0 0 0 28225 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975104 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29000

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 6604
/proc/meminfo: memFree=31067264/32770624 swapFree=0/457908
[pid=6577] ppid=6574 vsize=29000 CPUtime=342.26 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 6687 0 0 0 34226 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975128 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 29000

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 6606
/proc/meminfo: memFree=31067248/32770624 swapFree=0/457916
[pid=6577] ppid=6574 vsize=29000 CPUtime=402.26 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 6689 0 0 0 40226 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975300 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 29000

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/185 6608
/proc/meminfo: memFree=31070628/32770624 swapFree=0/457912
[pid=6577] ppid=6574 vsize=29000 CPUtime=462.27 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 7207 0 0 0 46227 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4972741 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 29000

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 6611
/proc/meminfo: memFree=31071164/32770624 swapFree=0/457916
[pid=6577] ppid=6574 vsize=29000 CPUtime=522.27 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 7208 0 0 0 52227 0 0 0 20 0 1 0 102569409 29696000 1355 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4977681 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1355 772 435 0 613 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 29000

[startup+582.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/186 6613
/proc/meminfo: memFree=31071400/32770624 swapFree=0/457924
[pid=6577] ppid=6574 vsize=29000 CPUtime=582.28 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 7728 0 0 0 58228 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4970765 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 29000


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


[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6687
/proc/meminfo: memFree=31069532/32770624 swapFree=0/458060
[pid=6577] ppid=6574 vsize=29000 CPUtime=1662.36 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12132 0 0 0 166236 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978058 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 29000

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6689
/proc/meminfo: memFree=31069748/32770624 swapFree=0/458064
[pid=6577] ppid=6574 vsize=29000 CPUtime=1722.36 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12132 0 0 0 172236 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978046 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 29000

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6692
/proc/meminfo: memFree=31069416/32770624 swapFree=0/458080
[pid=6577] ppid=6574 vsize=29000 CPUtime=1782.37 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12385 0 0 0 178237 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 5328655 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 29000

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6694
/proc/meminfo: memFree=31069400/32770624 swapFree=0/458092
[pid=6577] ppid=6574 vsize=29000 CPUtime=1842.37 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12386 0 0 0 184237 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978106 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 29000

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6696
/proc/meminfo: memFree=31069360/32770624 swapFree=0/458116
[pid=6577] ppid=6574 vsize=29000 CPUtime=1902.38 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12890 0 0 0 190238 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4977562 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 29000

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6698
/proc/meminfo: memFree=31069080/32770624 swapFree=0/458128
[pid=6577] ppid=6574 vsize=29000 CPUtime=1962.38 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 12897 0 0 0 196238 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4979114 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 29000

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 6701
/proc/meminfo: memFree=31069332/32770624 swapFree=0/458144
[pid=6577] ppid=6574 vsize=29000 CPUtime=2022.39 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 13150 0 0 0 202239 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971923 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 29000

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 6704
/proc/meminfo: memFree=31069544/32770624 swapFree=0/458152
[pid=6577] ppid=6574 vsize=29000 CPUtime=2082.39 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 13418 0 0 0 208239 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 5094162 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2082.39
Current children cumulated vsize (KiB) 29000

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 6781
/proc/meminfo: memFree=31066340/32770624 swapFree=0/458204
[pid=6577] ppid=6574 vsize=29000 CPUtime=2142.39 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 13678 0 0 0 214239 0 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4975104 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 29000

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6783
/proc/meminfo: memFree=31065964/32770624 swapFree=0/458220
[pid=6577] ppid=6574 vsize=29000 CPUtime=2202.41 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 13678 0 0 0 220240 1 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971912 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 29000

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6785
/proc/meminfo: memFree=31067940/32770624 swapFree=0/458232
[pid=6577] ppid=6574 vsize=29000 CPUtime=2262.41 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14196 0 0 0 226240 1 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4977663 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 29000

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6787
/proc/meminfo: memFree=31067836/32770624 swapFree=0/458232
[pid=6577] ppid=6574 vsize=29000 CPUtime=2322.42 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14196 0 0 0 232241 1 0 0 20 0 1 0 102569409 29696000 1356 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4978719 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1356 772 435 0 613 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 29000

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6790
/proc/meminfo: memFree=31068676/32770624 swapFree=0/458240
[pid=6577] ppid=6574 vsize=29000 CPUtime=2382.42 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14470 0 0 0 238241 1 0 0 20 0 1 0 102569409 29696000 1357 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971920 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1357 772 435 0 613 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 29000

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6793
/proc/meminfo: memFree=31068936/32770624 swapFree=0/458256
[pid=6577] ppid=6574 vsize=29000 CPUtime=2442.42 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14470 0 0 0 244241 1 0 0 20 0 1 0 102569409 29696000 1357 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4971888 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1357 772 435 0 613 0
Current children cumulated CPU time (s) 2442.42
Current children cumulated vsize (KiB) 29000

[startup+2502.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/186 6795
/proc/meminfo: memFree=31068404/32770624 swapFree=0/458264
[pid=6577] ppid=6574 vsize=29000 CPUtime=2502.43 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14744 0 0 0 250242 1 0 0 20 0 1 0 102569409 29696000 1357 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4970781 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1357 772 435 0 613 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 29000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 6795
/proc/meminfo: memFree=31068404/32770624 swapFree=0/458260
[pid=6577] ppid=6574 vsize=29000 CPUtime=2520.03 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14744 0 0 0 252002 1 0 0 20 0 1 0 102569409 29696000 1357 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4979170 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1357 772 435 0 613 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 29000

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 6577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 6795
/proc/meminfo: memFree=31068404/32770624 swapFree=0/458260
[pid=6577] ppid=6574 vsize=29000 CPUtime=2520.03 cores=0,2,4,6
/proc/6577/stat : 6577 (cosoco) R 6574 6577 28313 0 -1 4202496 14744 0 0 0 252002 1 0 0 20 0 1 0 102569409 29696000 1357 18446744073709551615 4194304 5972588 140732926271680 140732926268984 4979170 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 28569600 140732926276078 140732926276173 140732926276173 140732926279630 0
/proc/6577/statm: 7250 1357 772 435 0 613 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 29000

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.01
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 29000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.01
maximum resident set size= 5504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14797
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= 10
involuntary context switches= 1652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80105 second user time and 9.24803 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 16:04:54
IDJOB=4268030
IDBENCH=134634
IDSOLVER=2658
FILE ID=node133/4268030-1502547542
RUNJOBID= node133-1502500327-28377
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-16-ext02.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268030-1502547542/watcher-4268030-1502547542 -o /tmp/evaluation-result-4268030-1502547542/solver-4268030-1502547542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268030-1502547542.xml

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

MD5SUM BENCH= 8abff29310eab5a4cd6a8102cf358f32
RANDOM SEED=511281076

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31073840 kB
MemAvailable:   31968668 kB
Buffers:          306672 kB
Cached:           889156 kB
SwapCached:            0 kB
Active:           761680 kB
Inactive:         499168 kB
Active(anon):      65012 kB
Inactive(anon):    41304 kB
Active(file):     696668 kB
Inactive(file):   457864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2280 kB
Writeback:             0 kB
AnonPages:         64416 kB
Mapped:            55396 kB
Shmem:             41660 kB
Slab:             139184 kB
SReclaimable:     112264 kB
SUnreclaim:        26920 kB
KernelStack:        3280 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-12 16:46:54