Trace number 4295079

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) 2519.94 2520.01

General information on the benchmark

NameCarSequencing/
CarSequencing-70-02_c18.xml
MD5SUMdf4cedb493dfe6d7df97c8cdc585ec30
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.329413
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1397
Number of domains2
Minimum domain size2
Maximum domain size23
Distribution of domain sizes[{"size":2,"count":1000},{"size":23,"count":200}]
Minimum variable degree2
Maximum variable degree57
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":19}, {"degree":37,"count":59}, {"degree":38,"count":14}, {"degree":39,"count":14}, {"degree":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":6}, {"degree":51,"count":108}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":3}, {"degree":55,"count":4}, {"degree":56,"count":4}, {"degree":57,"count":42}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1196},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.00	c
0.10/0.16	c root propagations     : 0           
0.10/0.16	c restarts enabled, print stats at every restarts
0.10/0.16	c
0.10/0.16	c
0.10/0.16	c
0.10/0.16	c This is cosoco 1.12 --  
0.10/0.16	c
0.10/0.16	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295079-1532528905.xml 
0.10/0.16	c ========================================[ Problem Statistics ]===========================================
0.10/0.16	c |                                                                                                       
0.10/0.16	c |  Parse time        :         0.16 s 
0.10/0.16	c |
0.10/0.16	c |               Variables: 1200
0.10/0.16	c |            Domain Sizes: 2..23
0.10/0.16	c |
0.10/0.16	c |             Constraints: 1419
0.10/0.16	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.10/0.16	c | 
0.10/0.16	c |                   Types: 
0.10/0.16	c |                          Exactly K: 23
0.10/0.16	c |                          Extension: 200  (nb tuples: 23..23) -- (shared: 199)
0.10/0.16	c |                          Sum: 1196
0.10/0.16	c |                          
0.10/0.16	c =========================================================================================================
0.10/0.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.69/0.76	c 101            1386           105889         21421          0              0              795   854   801
1.00/1.10	c 211            2185           163909         54116          0              0              58   181   158 
1.49/1.58	c 332            3037           242163         81961          0              0              61   112   99  
2.19/2.23	c 465            4584           347436         104096         0              0              60   978   261 
2.79/2.87	c 611            5720           447598         132629         0              0              58   317   78  
3.19/3.23	c 771            6639           513147         148726         0              0              54   271   246 
3.59/3.67	c 947            7987           588191         161892         0              0              54   764   714 
4.29/4.32	c 1140           9302           693011         198452         0              0              59   270   163 
4.89/4.94	c 1352           10276          812397         224675         0              0              54   447   411 
5.39/5.45	c 1585           11678          900726         244791         0              0              196   340   325
6.09/6.13	c 1841           13859          1015089        271743         0              0              175   313   222
6.99/7.04	c 2122           15018          1140892        294556         0              0              65   342   321 
7.69/7.75	c 2431           16483          1278540        320144         0              0              65   343   305 
9.18/9.27	c 2770           18055          1551872        397410         0              0              76   313   286 
10.28/10.34	c 3142           19429          1704145        423362         0              0              71   263   253 
11.38/11.47	c 3551           21180          1917889        460616         0              0              141   328   317
12.48/12.59	c 4000           23077          2124334        506438         0              0              68   385   297 
13.68/13.76	c 4493           24928          2323285        543691         0              0              65   371   277 
15.00/15.01	c 5035           27143          2548851        594672         0              0              68   366   298 
16.19/16.27	c 5631           29729          2788473        625490         0              0              96   350   333 
18.10/18.14	c 6286           32194          3070632        670450         0              0              100   286   263
20.39/20.45	c 7006           35773          3458480        740222         0              0              209   418   279
21.69/21.73	c 7798           38450          3718255        786748         0              0              69   367   338 
23.00/23.10	c 8669           42531          3997867        846330         0              0              65   379   314 
25.49/25.58	c 9627           45926          4446044        969952         0              0              90   452   383 
27.19/27.28	c 10680          48992          4796636        1017038        0              0              83   383   365 
29.49/29.58	c 11838          53127          5237078        1091589        0              0              86   389   367 
31.59/31.64	c 13111          57619          5675746        1158761        0              0              100   489   463
36.18/36.21	c 14511          62375          6317998        1262415        0              0              68   307   297 
41.38/41.47	c 16051          72251          7226774        1490516        0              0              222   307   283
45.38/45.43	c 17745          78611          8048962        1609821        0              0              71   434   392 
49.68/49.76	c 19608          84798          8735490        1779747        0              0              96   305   293 
56.58/56.68	c 21657          98773          10119167       2047160        0              0              98   390   348 
70.58/70.66	c 23910          106738         12466268       2786829        0              0              90   298   286 
78.99/79.09	c 26388          118315         13925251       3123016        0              0              84   377   266 
85.88/85.95	c 29113          128078         15161649       3463262        0              0              68   359   261 
94.68/94.71	c 32110          143027         16606083       3941384        0              0              67   431   91  
105.18/105.26	c 35406          159700         18370275       4559377        0              0              66   83   76   
110.99/111.02	c 39031          169261         19821970       4877582        0              0              66   458   438 
115.48/115.55	c 43018          181393         21169087       5137520        0              0              70   481   457 
127.28/127.30	c 47403          199663         23830119       5665720        0              0              67   446   393 
135.09/135.11	c 52226          214154         25152067       5889340        0              0              216   437   371
145.88/145.93	c 57531          258833         27226713       7007443        0              0              82   134   120 
161.58/161.61	c 63366          278329         29447032       7396569        0              0              90   311   300 
168.88/169.00	c 69784          295001         31312785       7692508        0              0              90   580   456 
175.78/175.81	c 76843          309396         33028860       8156600        0              0              90   591   576 
183.38/183.41	c 84607          329549         34850759       8569155        0              0              90   601   582 
196.98/197.07	c 93147          380840         37745514       9898636        0              0              90   458   241 
218.78/218.80	c 102541         429227         42080884       10794000       0              0              91   469   421 
231.57/231.68	c 112874         461035         45439002       11341603       0              0              65   652   635 
274.37/274.41	c 124240         524585         53064359       13092031       0              0              177   493   360
311.98/312.10	c 136742         605428         59362862       15602852       0              0              174   321   268
343.77/343.81	c 150494         698668         64878490       17323769       0              0              98   228   204 
370.87/370.91	c 165621         763527         70019384       19271994       0              0              160   179   172
397.27/397.35	c 182260         839778         75568687       22412426       0              0              71   94   87   
432.37/432.44	c 200562         907649         81574435       24079411       0              0              65   306   278 
464.47/464.51	c 220694         970143         87705406       24983833       0              0              71   366   356 
494.98/495.04	c 242839         1028502        93716779       25860870       0              0              72   610   370 
551.47/551.55	c 267198         1143798        105844485      28559125       0              0              66   371   330 
581.27/581.31	c 293992         1252659        112382720      31271202       0              0              68   421   249 
634.26/634.38	c 323465         1437071        122240631      35382839       0              0              62   104   96  
663.86/663.99	c 355885         1593616        129341017      36936674       0              0              114   646   620
730.97/731.05	c 391547         1748546        143713737      40618259       0              0              114   455   400
821.36/821.49	c 430775         1934566        159206303      46235974       0              0              69   346   289 
894.46/894.57	c 473925         2110586        174282017      48901067       0              0              115   423   396
946.66/946.75	c 521390         2232700        186865800      51682429       0              0              94   487   464 
1207.96/1208.08	c 573601         2432480        235292194      62815122       0              0              99   400   359 
1296.06/1296.12	c 631033         2661482        255364896      66592306       0              0              202   462   435
1501.55/1501.61	c 694208         2925578        296038907      74890877       0              0              115   461   393
1760.95/1761.08	c 763700         3403996        336774073      85555085       0              0              95   298   261 
1919.23/1919.37	c 840141         3677675        363821585      90872398       0              0              170   394   352
2062.04/2062.14	c 924226         4022611        396421520      96456250       0              0              75   471   399 
2169.04/2169.18	c 1016719        4258592        421951791      101201497      0              0              95   487   450 
2291.03/2291.18	c 1118461        4505720        450848621      105506722      0              0              95   478   458 
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 74          
2519.92/2520.00	c conflicts             : 1191609      (473 /sec)
2519.92/2520.00	c decisions             : 4949588      (1964 /sec)
2519.92/2520.00	c propagations          : 121095659   (48056 /sec)
2519.92/2520.00	c root propagations     : 0           
2519.92/2520.00	c filter calls          : 488032962      (193671 /sec)
2519.92/2520.00	c useless filter calls  : 459328751      (94 %)
2519.92/2520.00	c Memory used           : 41.18 MB
2519.92/2520.00	c CPU time              : 2519.91 s
2519.92/2520.00	
2519.92/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1585 MiB free)
  memory of node 1: 16384 MiB (6062 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295079-1532528905/watcher-4295079-1532528905 -o /tmp/evaluation-result-4295079-1532528905/solver-4295079-1532528905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295079-1532528905.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24858, runsolver pid=24855

[startup+0.100139 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7824360/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=34936 memory=11396 CPUtime=0.1 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 3021 0 0 0 10 0 0 0 20 0 1 0 70453681 35774464 2849 33554432000 4194304 6142532 140724959843952 140724959840584 139939193895909 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 8734 2849 832 476 0 2056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11396 KiB

[startup+0.209523 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7821456/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=37016 memory=13740 CPUtime=0.21 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 3596 0 0 0 21 0 0 0 20 0 1 0 70453681 37904384 3435 33554432000 4194304 6142532 140724959843952 140724959840584 5140571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 9254 3435 876 476 0 2576 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 13740 KiB

[startup+0.30917 s]*
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7820712/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=37940 memory=14532 CPUtime=0.31 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 3830 0 0 0 31 0 0 0 20 0 1 0 70453681 38850560 3633 33554432000 4194304 6142532 140724959843952 140724959840584 139939193895909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 9518 3633 876 476 0 2840 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37940 KiB
Current children cumulated memory: 14532 KiB

[startup+0.700278 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7818852/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=39788 memory=16380 CPUtime=0.69 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 4277 0 0 0 69 0 0 0 20 0 1 0 70453681 40742912 4095 33554432000 4194304 6142532 140724959843952 140724959840584 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 9947 4095 876 476 0 3269 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 16380 KiB

[startup+1.50028 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7818612/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=39788 memory=16380 CPUtime=1.49 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 4280 0 0 0 149 0 0 0 20 0 1 0 70453681 40742912 4095 33554432000 4194304 6142532 140724959843952 140724959841352 5013944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 9947 4095 876 476 0 3269 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 16380 KiB

[startup+3.10906 s]
/proc/loadavg: 1.92 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816828/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41372 memory=18096 CPUtime=3.1 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 7471 0 0 0 310 0 0 0 20 0 1 0 70453681 42364928 4524 33554432000 4194304 6142532 140724959843952 140724959841352 5140571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10343 4524 878 476 0 3665 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 18096 KiB

[startup+6.30028 s]
/proc/loadavg: 1.93 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816620/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41768 memory=18508 CPUtime=6.29 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 10699 0 0 0 629 0 0 0 20 0 1 0 70453681 42770432 4627 33554432000 4194304 6142532 140724959843952 140724959841352 5139644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10442 4627 878 476 0 3764 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18508 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816496/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41768 memory=18508 CPUtime=12.68 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 13944 0 0 0 1268 0 0 0 20 0 1 0 70453681 42770432 4627 33554432000 4194304 6142532 140724959843952 140724959841352 5137682 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10442 4627 878 476 0 3764 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18508 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816372/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41768 memory=18508 CPUtime=25.49 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 20324 0 0 0 2548 1 0 0 20 0 1 0 70453681 42770432 4627 33554432000 4194304 6142532 140724959843952 140724959841352 5215584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10442 4627 878 476 0 3764 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18508 KiB

[startup+51.1089 s]
/proc/loadavg: 1.97 2.01 2.05 3/187 24859
/proc/meminfo: memFree=7816496/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41768 memory=18512 CPUtime=51.09 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 21439 0 0 0 5108 1 0 0 20 0 1 0 70453681 42770432 4628 33554432000 4194304 6142532 140724959843952 140724959841352 5137319 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10442 4628 878 476 0 3764 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18512 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 24868
/proc/meminfo: memFree=7815752/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41768 memory=18512 CPUtime=102.28 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 22529 0 0 0 10227 1 0 0 20 0 1 0 70453681 42770432 4628 33554432000 4194304 6142532 140724959843952 140724959841352 5137784 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10442 4628 878 476 0 3764 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18512 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 24869
/proc/meminfo: memFree=7816500/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=41900 memory=18548 CPUtime=162.28 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 23614 0 0 0 16227 1 0 0 20 0 1 0 70453681 42905600 4637 33554432000 4194304 6142532 140724959843952 140724959841352 5137682 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10475 4637 878 476 0 3797 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 41900 KiB
Current children cumulated memory: 18548 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24870
/proc/meminfo: memFree=7816764/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18788 CPUtime=222.28 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 24803 0 0 0 22227 1 0 0 20 0 1 0 70453681 43175936 4697 33554432000 4194304 6142532 140724959843952 140724959840872 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4697 878 476 0 3863 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18788 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24871
/proc/meminfo: memFree=7816796/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=282.27 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 25417 0 0 0 28226 1 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24872
/proc/meminfo: memFree=7816656/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=342.27 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 25942 0 0 0 34226 1 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5138684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24933
/proc/meminfo: memFree=7816844/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=402.27 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 26403 0 0 0 40226 1 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5120760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24934
/proc/meminfo: memFree=7816628/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=462.27 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 26927 0 0 0 46226 1 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB


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

/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 24974
/proc/meminfo: memFree=7814736/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=1782.24 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 37923 0 0 0 178222 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5139089 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 24975
/proc/meminfo: memFree=7814484/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=1842.24 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 38319 0 0 0 184222 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5139620 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24983
/proc/meminfo: memFree=7814020/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=1902.24 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 38846 0 0 0 190222 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5138684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25007
/proc/meminfo: memFree=7813856/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=1962.23 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 39460 0 0 0 196221 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5137453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25008
/proc/meminfo: memFree=7814576/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2022.23 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 39953 0 0 0 202221 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5215810 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25009
/proc/meminfo: memFree=7814452/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2082.23 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 40573 0 0 0 208221 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5215594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25010
/proc/meminfo: memFree=7814452/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2142.23 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 40898 0 0 0 214221 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5137728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2202.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 25011
/proc/meminfo: memFree=7814576/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2202.23 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 41544 0 0 0 220221 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5139639 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25012
/proc/meminfo: memFree=7814352/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2262.22 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 41861 0 0 0 226220 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5140292 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 25013
/proc/meminfo: memFree=7814732/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2322.22 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 42468 0 0 0 232220 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5215584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2382.3 s]
/proc/loadavg: 2.51 2.14 2.09 3/187 25014
/proc/meminfo: memFree=7814384/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2382.22 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 42767 0 0 0 238220 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5137184 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2442.3 s]
/proc/loadavg: 2.26 2.14 2.09 3/187 25015
/proc/meminfo: memFree=7814384/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2442.22 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 43061 0 0 0 244220 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5215644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

[startup+2502.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/188 25024
/proc/meminfo: memFree=7813832/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2502.22 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 43353 0 0 0 250220 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.07 2.11 2.08 3/188 25024
/proc/meminfo: memFree=7813832/32770624 swapFree=67108860/67108860
[pid=24858] ppid=24855 vsize=42164 memory=18872 CPUtime=2519.92 cores=1,3,5,7
/proc/24858/stat : 24858 (cosoco) R 24855 24858 21810 0 -1 4202496 43629 0 0 0 251990 2 0 0 20 0 1 0 70453681 43175936 4718 33554432000 4194304 6142532 140724959843952 140724959841352 5215584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38834176 140724959851654 140724959851784 140724959851784 140724959854542 0
/proc/24858/statm: 10541 4718 878 476 0 3863 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18872 KiB

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

[startup+2520.01 s]
# the end of solver process 24858 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.91 s, system=0.028999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.94
CPU user time (s): 2519.91
CPU system time (s): 0.028999
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 42164
Max. memory (cumulated for all children) (KiB): 18872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.028999
maximum resident set size= 18936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43678
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= 11
involuntary context switches= 680


# summary of solver processes directly reported to runsolver:
#   pid: 24858
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.91
#   total CPU system time (s): 0.028999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9286 second user time and 11.7357 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-25 16:28:25
IDJOB=4295079
IDBENCH=141462
IDSOLVER=2752
FILE ID=node139/4295079-1532528905
RUNJOBID= node139-1532498649-21842
PBS_JOBID= 21021588
Free space on /tmp= 38840 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-02_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295079-1532528905/watcher-4295079-1532528905 -o /tmp/evaluation-result-4295079-1532528905/solver-4295079-1532528905 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295079-1532528905.xml

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

MD5SUM BENCH= df4cedb493dfe6d7df97c8cdc585ec30
RANDOM SEED=916629853

node139.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.80
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.80
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.80
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.80
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:         7831716 kB
MemAvailable:   31917584 kB
Buffers:          214824 kB
Cached:         23719324 kB
SwapCached:            0 kB
Active:          2818736 kB
Inactive:       21182616 kB
Active(anon):      23140 kB
Inactive(anon):    72248 kB
Active(file):    2795596 kB
Inactive(file): 21110368 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2884 kB
Writeback:             0 kB
AnonPages:        125772 kB
Mapped:            41940 kB
Shmem:             25228 kB
Slab:             636060 kB
SReclaimable:     608364 kB
SUnreclaim:        27696 kB
KernelStack:        3616 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     367296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38836 MiB
End job on node139 at 2018-07-25 17:10:25