Trace number 4389442

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 2? (TO) 2519.93 2520.01

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-07.xml
MD5SUM551365d3bcc7e6d8199baaf77d133a5e
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 benchmark53.4289
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1428
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree76
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":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}]
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":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"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":1227},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	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 2.00 --  
0.10/0.16	c
0.10/0.16	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389442-1568339393.xml 
0.10/0.16	c ========================================[ Problem Statistics ]===========================================
0.10/0.16	c |                                                                                                       
0.10/0.16	c |  Parse time        :         0.15 s 
0.10/0.16	c |
0.10/0.16	c |               Variables: 1200
0.10/0.16	c |            Domain Sizes: 2..24
0.10/0.16	c |
0.10/0.16	c |             Constraints: 1451
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: 24
0.10/0.16	c |                          Extension: 200  (nb tuples: 24..24) -- (shared: 199)
0.10/0.16	c |                          Sum: 1227
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.60/0.68	c 101            1147           90131          16261          0              0              734   802   775
1.10/1.15	c 211            1711           172558         34832          0              0              84   304   271 
1.69/1.71	c 332            2574           276178         56373          0              0              377   438   408
2.10/2.12	c 465            3377           350709         68496          0              0              390   455   443
2.59/2.65	c 611            5100           440622         88674          0              0              299   494   443
3.29/3.35	c 771            6213           581324         107141         0              0              147   536   494
3.89/4.00	c 947            7253           699206         126961         0              0              366   479   470
4.79/4.80	c 1140           8065           852495         149515         0              0              462   473   463
5.49/5.51	c 1352           9385           988742         167908         0              0              442   464   452
6.39/6.47	c 1585           10578          1194043        199875         0              0              421   485   472
7.10/7.15	c 1841           12042          1321351        227015         0              0              486   510   499
8.10/8.12	c 2122           13598          1512644        251535         0              0              504   536   520
9.39/9.43	c 2431           17013          1797524        289406         0              0              469   611   571
10.19/10.29	c 2770           19385          1948676        341389         0              0              73   96   84   
11.00/11.02	c 3142           21114          2083600        367150         0              0              70   481   406 
12.29/12.31	c 3551           23754          2316011        440440         0              0              280   523   437
13.49/13.55	c 4000           26944          2568002        505014         0              0              282   566   399
15.99/16.02	c 4493           30205          3090309        572254         0              0              621   667   650
17.58/17.62	c 5035           33716          3404264        627642         0              0              562   623   582
18.78/18.85	c 5631           37544          3675575        701398         0              0              239   668   556
20.38/20.42	c 6286           40189          3937550        731354         0              0              376   449   436
21.58/21.61	c 7006           42578          4228617        790778         0              0              596   606   601
22.78/22.89	c 7798           45855          4495176        842293         0              0              377   566   557
25.68/25.72	c 8669           50308          4993848        988602         0              0              198   329   290
28.38/28.49	c 9627           55924          5511649        1219902        0              0              114   139   122
32.18/32.22	c 10680          61450          6166828        1490894        0              0              93   107   101 
35.89/35.92	c 11838          65393          6927537        1579667        0              0              100   617   603
37.29/37.39	c 13111          69080          7302728        1662732        0              0              618   636   632
40.38/40.44	c 14511          74082          7926873        1753683        0              0              457   630   614
43.28/43.35	c 16051          80202          8548160        1877623        0              0              395   634   552
48.68/48.71	c 17745          95147          9502226        2162852        0              0              222   417   347
54.09/54.18	c 19608          104824         10580118       2412819        0              0              213   579   510
58.88/58.93	c 21657          110117         11575980       2662732        0              0              579   600   594
63.98/64.02	c 23910          121280         12769981       2957673        0              0              577   626   606
72.98/73.06	c 26388          142895         14417343       3504495        0              0              246   699   412
76.37/76.46	c 29113          152627         15274828       3745144        0              0              596   846   762
82.37/82.40	c 32110          169189         16709599       3964932        0              0              564   696   667
98.17/98.23	c 35406          227858         19829799       4296194        0              0              592   813   717
106.08/106.15	c 39031          251828         21511982       4605571        0              0              712   802   773
113.87/113.98	c 43018          272899         23144988       4911307        0              0              441   831   667
122.97/123.01	c 47403          292230         25282372       5288479        0              0              791   834   817
133.77/133.84	c 52226          315463         28145861       6073475        0              0              768   860   848
151.47/151.58	c 57531          375549         31141411       7011482        0              0              323   756   546
166.26/166.32	c 63366          449813         33952719       8321950        0              0              290   381   343
181.16/181.27	c 69784          498859         37026501       9336087        0              0              269   582   427
198.07/198.12	c 76843          581644         40289939       10918121       0              0              283   378   355
221.36/221.43	c 84607          688318         44706728       13209520       0              0              253   375   350
249.56/249.64	c 93147          819321         50010406       15843048       0              0              272   374   351
286.56/286.67	c 102541         994448         57116868       19606966       0              0              271   375   351
316.66/316.74	c 112874         1134122        62808935       22356304       0              0              269   375   354
341.86/341.99	c 124240         1264088        67679812       24646215       0              0              275   374   357
401.66/401.71	c 136742         1516064        78733692       30960726       0              0              250   367   326
429.16/429.24	c 150494         1667578        84354577       33991874       0              0              257   375   357
475.86/476.00	c 165621         1872096        93131309       38785757       0              0              263   374   340
529.16/529.28	c 182260         2119641        103237218      43708560       0              0              270   373   349
584.66/584.79	c 200562         2407503        114269081      49796522       0              0              283   372   349
640.56/640.66	c 220694         2723446        125233292      55671510       0              0              275   371   347
706.86/706.92	c 242839         3105601        138574675      63380088       0              0              247   369   347
773.75/773.88	c 267198         3542886        152215449      71437351       0              0              260   368   346
863.06/863.14	c 293992         4027449        170038991      80989939       0              0              249   368   342
991.05/991.18	c 323465         4449792        193406270      94344592       0              0              251   365   333
1125.34/1125.49	c 355885         5050632        218780330      107235525      0              0              266   367   344
1245.95/1246.06	c 391547         5637767        242140114      119561832      0              0              264   367   345
1304.94/1305.09	c 430775         5924533        255548367      125356827      0              0              270   544   477
1390.73/1390.89	c 473925         6062778        277321445      129390117      0              0              453   551   547
1620.43/1620.55	c 521390         6199854        321316220      133217019      0              0              465   534   526
1699.03/1699.17	c 573601         6327979        340556012      139177018      0              0              480   557   549
1774.72/1774.86	c 631033         6426220        360149707      141621138      0              0              488   566   564
1948.32/1948.47	c 694208         6616585        407407370      149119806      0              0              496   557   555
2072.22/2072.37	c 763700         6786832        439465307      153010895      0              0              496   576   568
2180.11/2180.20	c 840141         7037184        470071526      159016733      0              0              517   576   570
2253.93/2254.08	c 924226         7183449        489688231      163075313      0              0              343   750   685
2407.72/2407.80	c 1016719        7525254        529534054      169285512      0              0              725   776   752
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 73          
2519.92/2520.00	c conflicts             : 1067477      (424 /sec)
2519.92/2520.00	c decisions             : 7928695      (3146 /sec)
2519.92/2520.00	c propagations          : 178286114   (70751 /sec)
2519.92/2520.00	c root propagations     : 0           
2519.92/2520.00	c filter calls          : 549693966      (218141 /sec)
2519.92/2520.00	c useless filter calls  : 512007822      (93 %)
2519.92/2520.00	c Memory used           : 41.90 MB
2519.92/2520.00	c CPU time              : 2519.9 s
2519.92/2520.00	c real time             : 2520 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 (15083 MiB free)
  memory of node 1: 16384 MiB (15377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389442-1568339393/watcher-4389442-1568339393 -o /tmp/evaluation-result-4389442-1568339393/solver-4389442-1568339393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389442-1568339393.xml 

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

solver pid=20655, runsolver pid=20652

[startup+0.100111 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31184696/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=35008 memory=11456 CPUtime=0.1 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 3056 0 0 0 10 0 0 0 20 0 1 0 410178036 35848192 2864 33554432000 4194304 6210612 140733441140816 140733441137352 139999538969573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 8752 2864 846 493 0 2057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35008 KiB
Current children cumulated memory: 11456 KiB

[startup+0.209642 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31182620/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=37348 memory=13932 CPUtime=0.21 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 3662 0 0 0 21 0 0 0 20 0 1 0 410178036 38244352 3483 33554432000 4194304 6210612 140733441140816 140733441137352 139999538969573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 9337 3483 889 493 0 2642 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37348 KiB
Current children cumulated memory: 13932 KiB

[startup+0.309169 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31181504/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=38536 memory=14988 CPUtime=0.31 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 3960 0 0 0 31 0 0 0 20 0 1 0 410178036 39460864 3747 33554432000 4194304 6210612 140733441140816 140733441137352 139999538969573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 9634 3747 889 493 0 2939 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 14988 KiB

[startup+0.70024 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31179960/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=40264 memory=16836 CPUtime=0.69 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 4384 0 0 0 69 0 0 0 20 0 1 0 410178036 41230336 4209 33554432000 4194304 6210612 140733441140816 140733441138280 5154973 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10066 4209 889 493 0 3371 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 16836 KiB

[startup+1.50023 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31179960/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=40396 memory=17100 CPUtime=1.49 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 4446 0 0 0 149 0 0 0 20 0 1 0 410178036 41365504 4275 33554432000 4194304 6210612 140733441140816 140733441138776 5154977 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10099 4275 891 493 0 3404 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40396 KiB
Current children cumulated memory: 17100 KiB

[startup+3.1092 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 20656
/proc/meminfo: memFree=31178620/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=41056 memory=17692 CPUtime=3.1 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 7583 0 0 0 310 0 0 0 20 0 1 0 410178036 42041344 4423 33554432000 4194304 6210612 140733441140816 140733441138776 5155888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10264 4423 891 493 0 3569 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 17692 KiB

[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 20658
/proc/meminfo: memFree=31177704/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=41188 memory=17852 CPUtime=6.29 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 10699 0 0 0 629 0 0 0 20 0 1 0 410178036 42176512 4463 33554432000 4194304 6210612 140733441140816 140733441138776 5155888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10297 4463 891 493 0 3602 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 17852 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 20658
/proc/meminfo: memFree=31177752/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=41452 memory=18064 CPUtime=12.69 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 13910 0 0 0 1269 0 0 0 20 0 1 0 410178036 42446848 4516 33554432000 4194304 6210612 140733441140816 140733441138776 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10363 4516 891 493 0 3668 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18064 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/199 20659
/proc/meminfo: memFree=31178020/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=41848 memory=18560 CPUtime=25.48 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 18983 0 0 0 2548 0 0 0 20 0 1 0 410178036 42852352 4640 33554432000 4194304 6210612 140733441140816 140733441138776 5155157 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10462 4640 891 493 0 3767 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 18560 KiB

[startup+51.1092 s]
/proc/loadavg: 1.97 2.00 2.04 3/201 20669
/proc/meminfo: memFree=31177112/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=41980 memory=18612 CPUtime=51.09 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 23627 0 0 0 5108 1 0 0 20 0 1 0 410178036 42987520 4653 33554432000 4194304 6210612 140733441140816 140733441138776 5249664 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10495 4653 891 493 0 3800 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 41980 KiB
Current children cumulated memory: 18612 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 20673
/proc/meminfo: memFree=31176648/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=42508 memory=19136 CPUtime=102.27 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 24370 0 0 0 10226 1 0 0 20 0 1 0 410178036 43528192 4784 33554432000 4194304 6210612 140733441140816 140733441138216 5249727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10627 4784 891 493 0 3932 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 19136 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 20677
/proc/meminfo: memFree=31175936/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=162.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 25247 0 0 0 16225 1 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+222.3 s]
/proc/loadavg: 2.34 2.08 2.07 3/200 20681
/proc/meminfo: memFree=31175728/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=222.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 25567 0 0 0 22225 1 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+282.3 s]
/proc/loadavg: 2.27 2.12 2.08 3/200 20687
/proc/meminfo: memFree=31175968/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=282.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 25843 0 0 0 28225 1 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5192883 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+342.3 s]
/proc/loadavg: 2.10 2.10 2.08 3/200 20691
/proc/meminfo: memFree=31176008/32770624 swapFree=66940708/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=342.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 26119 0 0 0 34225 1 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/199 20696
/proc/meminfo: memFree=31175396/32770624 swapFree=66940712/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=402.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 26398 0 0 0 40225 1 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5155287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 20702
/proc/meminfo: memFree=31175360/32770624 swapFree=66940712/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=462.26 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 26684 0 0 0 46224 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB


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

/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 21149
/proc/meminfo: memFree=31177212/32770624 swapFree=66940720/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=1782.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 32650 0 0 0 178220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 21153
/proc/meminfo: memFree=31176984/32770624 swapFree=66940720/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=1842.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 32868 0 0 0 184220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5135924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 21167
/proc/meminfo: memFree=31176216/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=1902.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 33090 0 0 0 190220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 21171
/proc/meminfo: memFree=31176708/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=1962.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 33409 0 0 0 196220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 21175
/proc/meminfo: memFree=31176688/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2022.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 33630 0 0 0 202220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 21181
/proc/meminfo: memFree=31176580/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2082.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 33950 0 0 0 208220 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 21185
/proc/meminfo: memFree=31176680/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2142.21 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 34173 0 0 0 214219 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5135888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 21190
/proc/meminfo: memFree=31177172/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2202.21 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 34493 0 0 0 220219 2 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21196
/proc/meminfo: memFree=31176576/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2262.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 34821 0 0 0 226219 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21200
/proc/meminfo: memFree=31176284/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2322.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 35039 0 0 0 232219 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5155303 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21205
/proc/meminfo: memFree=31177072/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2382.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 35259 0 0 0 238219 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21211
/proc/meminfo: memFree=31176548/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2442.22 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 35581 0 0 0 244219 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5156512 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21223
/proc/meminfo: memFree=31176392/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2502.21 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 35863 0 0 0 250218 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21223
/proc/meminfo: memFree=31176392/32770624 swapFree=66940728/67108860
[pid=20655] ppid=20652 vsize=42904 memory=19544 CPUtime=2519.92 cores=0,2,4,6
/proc/20655/stat : 20655 (cosoco) R 20652 20655 15554 0 -1 4202496 36088 0 0 0 251989 3 0 0 20 0 1 0 410178036 43933696 4886 33554432000 4194304 6210612 140733441140816 140733441138776 5154973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34623488 140733441147915 140733441148017 140733441148017 140733441150926 0
/proc/20655/statm: 10726 4886 891 493 0 4031 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 42904 KiB
Current children cumulated memory: 19544 KiB

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

[startup+2520.01 s]
# the end of solver process 20655 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.030999 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.93
CPU user time (s): 2519.9
CPU system time (s): 0.030999
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 42904
Max. memory (cumulated for all children) (KiB): 19544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.030999
maximum resident set size= 19612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36140
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= 21
involuntary context switches= 2422


# summary of solver processes directly reported to runsolver:
#   pid: 20655
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.030999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.32126 second user time and 16.8017 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 03:49:16
IDJOB=4389442
IDBENCH=128127
IDSOLVER=2829
FILE ID=node149/4389442-1568339393
RUNJOBID= node149-1568311987-15585
PBS_JOBID= 21701127
Free space on /tmp= 57068 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389442-1568339393/watcher-4389442-1568339393 -o /tmp/evaluation-result-4389442-1568339393/solver-4389442-1568339393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389442-1568339393.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=383061500

node149.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.81
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.81
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.81
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.81
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:        31192508 kB
MemAvailable:   31855332 kB
Buffers:          129816 kB
Cached:           831652 kB
SwapCached:        61376 kB
Active:           389812 kB
Inactive:         637452 kB
Active(anon):      33496 kB
Inactive(anon):    72292 kB
Active(file):     356316 kB
Inactive(file):   565160 kB
Unevictable:      111272 kB
Mlocked:          111272 kB
SwapTotal:      67108860 kB
SwapFree:       66940708 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:        132012 kB
Mapped:            44812 kB
Shmem:             31144 kB
Slab:             143288 kB
SReclaimable:     114368 kB
SUnreclaim:        28920 kB
KernelStack:        3760 kB
PageTables:         5884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     531792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57064 MiB
End job on node149 at 2019-09-13 04:31:16