Trace number 4407972

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.0? (TO) 2519.9 2520.01

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-03.xml
MD5SUM20e15596ff36696b27df04e6639fd466
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 benchmark14.7818
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1369
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 degree53
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":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}]
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":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"arity":86,"count":2},{"arity":89,"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":1168},{"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.09/0.15	c root propagations     : 0           
0.09/0.15	c restarts enabled, print stats at every restarts
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c This is cosoco 2.00 --  
0.09/0.15	c
0.09/0.15	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407972-1569800000.xml 
0.09/0.15	c ========================================[ Problem Statistics ]===========================================
0.09/0.15	c |                                                                                                       
0.09/0.15	c |  Parse time        :         0.13 s 
0.09/0.15	c |
0.09/0.15	c |               Variables: 1200
0.09/0.15	c |            Domain Sizes: 2..24
0.09/0.15	c |
0.09/0.15	c |             Constraints: 1392
0.09/0.15	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.09/0.15	c | 
0.09/0.15	c |                   Types: 
0.09/0.15	c |                          Exactly K: 24
0.09/0.15	c |                          Extension: 200  (nb tuples: 24..24) -- (shared: 199)
0.09/0.15	c |                          Sum: 1168
0.09/0.15	c |                          
0.09/0.15	c =========================================================================================================
0.09/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.59/0.63	c 101            1275           88303          23635          0              0              723   774   733
0.88/0.92	c 211            2097           141786         55386          0              0              75   179   158 
1.28/1.34	c 332            3461           220329         72504          0              0              911   959   919
1.58/1.68	c 465            4542           287249         98990          0              0              284   345   320
1.88/1.95	c 611            5449           341419         115109         0              0              179   310   212
2.38/2.48	c 771            6700           429279         134807         0              0              272   534   513
2.99/3.08	c 947            7593           517493         150228         0              0              350   359   354
3.48/3.57	c 1140           8338           612551         166984         0              0              171   431   426
4.09/4.12	c 1352           9428           721729         194919         0              0              153   514   468
4.48/4.51	c 1585           10481          809035         212259         0              0              160   493   483
4.78/4.82	c 1841           11381          876781         226551         0              0              161   508   503
5.18/5.21	c 2122           12514          963330         243018         0              0              160   481   476
5.58/5.67	c 2431           14132          1069570        277674         0              0              164   512   482
6.28/6.32	c 2770           16277          1204888        305650         0              0              292   514   508
6.78/6.87	c 3142           18146          1319305        342987         0              0              332   369   359
8.38/8.45	c 3551           20066          1612153        408752         0              0              327   362   349
9.58/9.64	c 4000           22428          1852595        464787         0              0              318   379   347
10.68/10.75	c 4493           25307          2097188        574692         0              0              270   281   277
11.78/11.83	c 5035           28239          2329544        723363         0              0              141   158   153
13.38/13.42	c 5631           31372          2590239        778168         0              0              145   358   319
14.88/14.99	c 6286           33219          2936731        835525         0              0              283   496   491
16.28/16.37	c 7006           36853          3301528        904266         0              0              404   494   490
17.58/17.64	c 7798           40279          3657895        966379         0              0              501   515   510
19.08/19.13	c 8669           43973          3956583        1022549        0              0              355   436   431
21.67/21.78	c 9627           51172          4562137        1101242        0              0              359   485   468
24.57/24.63	c 10680          55750          5211318        1200259        0              0              347   483   462
26.87/26.91	c 11838          61222          5629201        1328306        0              0              328   370   353
29.67/29.74	c 13111          65845          6234547        1543853        0              0              344   422   419
34.57/34.66	c 14511          70872          7124794        1778270        0              0              315   347   330
36.77/36.86	c 16051          77757          7554935        1859971        0              0              338   445   432
44.57/44.66	c 17745          86511          9192528        2255957        0              0              182   442   417
47.68/47.70	c 19608          98920          9890146        2376568        0              0              307   482   466
50.09/50.15	c 21657          107322         10464789       2554977        0              0              141   498   423
53.68/53.71	c 23910          118155         11290116       2699225        0              0              365   498   492
59.18/59.26	c 26388          132019         12414795       3081099        0              0              184   470   395
65.78/65.82	c 29113          148339         13962911       3329810        0              0              396   529   513
72.98/73.07	c 32110          159197         15102439       3500879        0              0              353   385   375
80.98/81.03	c 35406          170742         16951382       3854074        0              0              362   525   516
88.98/89.02	c 39031          183515         18235900       4034184        0              0              368   392   378
98.47/98.54	c 43018          209395         20951797       4323961        0              0              387   554   553
104.87/104.96	c 47403          236763         22547142       4620505        0              0              393   519   497
126.57/126.63	c 52226          276098         27446737       5244185        0              0              368   523   491
135.27/135.35	c 57531          295018         29245504       5581480        0              0              350   518   417
142.27/142.36	c 63366          317607         30892924       5848279        0              0              361   419   396
163.67/163.77	c 69784          376152         36667378       6584476        0              0              387   544   523
206.57/206.61	c 76843          402305         45723856       7595189        0              0              385   560   526
234.77/234.84	c 84607          474979         53232497       8427538        0              0              515   560   549
254.57/254.67	c 93147          534547         57872955       9074437        0              0              365   526   509
275.27/275.38	c 102541         569269         61839462       9695588        0              0              169   462   439
306.37/306.40	c 112874         616245         69234034       10851580       0              0              354   517   476
327.67/327.71	c 124240         651915         73329075       11512329       0              0              352   376   369
339.98/340.10	c 136742         703504         77186551       12157471       0              0              207   555   550
375.47/375.54	c 150494         755480         82842429       12934079       0              0              179   402   394
435.77/435.86	c 165621         814558         95302997       14942415       0              0              372   509   479
485.08/485.14	c 182260         873463         107076451      17629129       0              0              368   527   498
580.17/580.26	c 200562         982805         129392812      23597599       0              0              351   478   462
745.55/745.67	c 220694         1153159        161335457      32304693       0              0              249   419   340
826.24/826.30	c 242839         1230598        176233755      34832562       0              0              341   455   416
943.94/944.01	c 267198         1414598        201774979      38776866       0              0              346   484   444
1035.22/1035.34	c 293992         1527627        216601263      41761009       0              0              325   379   369
1122.82/1122.96	c 323465         1607193        234985094      44348586       0              0              358   482   459
1203.22/1203.30	c 355885         1766757        255284642      47422279       0              0              366   531   501
1252.42/1252.59	c 391547         1867788        267482412      50106031       0              0              159   495   490
1321.61/1321.71	c 430775         2016650        286787369      52839797       0              0              368   553   542
1377.81/1377.99	c 473925         2121189        300861306      55726405       0              0              394   534   521
1605.10/1605.24	c 521390         2312873        354325164      61988239       0              0              391   536   525
1809.30/1809.48	c 573601         2483538        402222065      72207921       0              0              368   495   477
1947.39/1947.50	c 631033         2853765        432580709      77750416       0              0              204   501   462
2140.29/2140.42	c 694208         3099008        474939254      85437537       0              0              178   509   472
2332.39/2332.54	c 763700         3508298        513964517      91902719       0              0              377   474   446
2519.89/2520.00	
2519.89/2520.00	c *** INTERRUPTED ***
2519.89/2520.00	c restarts              : 70          
2519.89/2520.00	c conflicts             : 838386       (333 /sec)
2519.89/2520.00	c decisions             : 3906087      (1550 /sec)
2519.89/2520.00	c propagations          : 102361845   (40622 /sec)
2519.89/2520.00	c root propagations     : 0           
2519.89/2520.00	c filter calls          : 555175648      (220319 /sec)
2519.89/2520.00	c useless filter calls  : 530561657      (95 %)
2519.89/2520.00	c Memory used           : 40.61 MB
2519.89/2520.00	c CPU time              : 2519.88 s
2519.89/2520.00	c real time             : 2520 s
2519.89/2520.00	
2519.89/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 (14864 MiB free)
  memory of node 1: 16384 MiB (14633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407972-1569800000/watcher-4407972-1569800000 -o /tmp/evaluation-result-4407972-1569800000/solver-4407972-1569800000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30039 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407972-1569800000.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=32633, runsolver pid=32630

[startup+0.100105 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 32634
/proc/meminfo: memFree=30196336/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=35012 memory=11480 CPUtime=0.09 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 3050 0 0 0 9 0 0 0 20 0 1 0 555914673 35852288 2870 33554432000 4194304 6211132 140722271480448 140722271475384 140624556727269 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 8753 2870 849 493 0 2058 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35012 KiB
Current children cumulated memory: 11480 KiB

[startup+0.209634 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 32634
/proc/meminfo: memFree=30194196/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=37092 memory=13552 CPUtime=0.2 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 3602 0 0 0 20 0 0 0 20 0 1 0 555914673 37982208 3388 33554432000 4194304 6211132 140722271480448 140722271475384 5250321 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 9273 3388 894 493 0 2578 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37092 KiB
Current children cumulated memory: 13552 KiB

[startup+0.309234 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 32634
/proc/meminfo: memFree=30194196/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=37752 memory=14344 CPUtime=0.3 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 3790 0 0 0 30 0 0 0 20 0 1 0 555914673 38658048 3586 33554432000 4194304 6211132 140722271480448 140722271478040 140624556727269 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 9438 3586 894 493 0 2743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37752 KiB
Current children cumulated memory: 14344 KiB

[startup+0.700232 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 32634
/proc/meminfo: memFree=30192460/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=39204 memory=15664 CPUtime=0.68 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 4140 0 0 0 68 0 0 0 20 0 1 0 555914673 40144896 3916 33554432000 4194304 6211132 140722271480448 140722271478040 5250491 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 9801 3916 894 493 0 3106 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 15664 KiB

[startup+1.50024 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 32634
/proc/meminfo: memFree=30192872/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41188 memory=17776 CPUtime=1.48 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 4632 0 0 0 148 0 0 0 20 0 1 0 555914673 42176512 4444 33554432000 4194304 6211132 140722271480448 140722271478408 5156288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10297 4444 895 493 0 3602 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 17776 KiB

[startup+3.10919 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 32634
/proc/meminfo: memFree=30190776/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41188 memory=17876 CPUtime=3.09 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 6715 0 0 0 309 0 0 0 20 0 1 0 555914673 42176512 4469 33554432000 4194304 6211132 140722271480448 140722271478408 5158208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10297 4469 895 493 0 3602 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 17876 KiB

[startup+6.30022 s]
/proc/loadavg: 1.90 1.98 2.03 3/199 32634
/proc/meminfo: memFree=30190768/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18024 CPUtime=6.28 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 9279 0 0 0 628 0 0 0 20 0 1 0 555914673 42446848 4506 33554432000 4194304 6211132 140722271480448 140722271477880 5155703 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4506 895 493 0 3668 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18024 KiB

[startup+12.7002 s]
/proc/loadavg: 1.91 1.98 2.03 3/199 32634
/proc/meminfo: memFree=30191264/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18120 CPUtime=12.68 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 11436 0 0 0 1268 0 0 0 20 0 1 0 555914673 42446848 4530 33554432000 4194304 6211132 140722271480448 140722271478408 5156288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4530 895 493 0 3668 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18120 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 1.98 2.03 3/199 32634
/proc/meminfo: memFree=30192008/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18136 CPUtime=25.47 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 15885 0 0 0 2547 0 0 0 20 0 1 0 555914673 42446848 4534 33554432000 4194304 6211132 140722271480448 140722271478408 5155700 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4534 895 493 0 3668 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18136 KiB

[startup+51.1091 s]
/proc/loadavg: 1.95 1.99 2.03 3/199 32637
/proc/meminfo: memFree=30191888/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18140 CPUtime=51.09 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 18357 0 0 0 5108 1 0 0 20 0 1 0 555914673 42446848 4535 33554432000 4194304 6211132 140722271480448 140722271478408 5156497 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4535 895 493 0 3668 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18140 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 32641
/proc/meminfo: memFree=30191208/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18168 CPUtime=102.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 20709 0 0 0 10226 1 0 0 20 0 1 0 555914673 42446848 4542 33554432000 4194304 6211132 140722271480448 140722271478408 5155352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4542 895 493 0 3668 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18168 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 32645
/proc/meminfo: memFree=30190132/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41452 memory=18200 CPUtime=162.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 21971 0 0 0 16226 1 0 0 20 0 1 0 555914673 42446848 4550 33554432000 4194304 6211132 140722271480448 140722271478408 5136288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10363 4550 895 493 0 3668 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 41452 KiB
Current children cumulated memory: 18200 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 32651
/proc/meminfo: memFree=30190144/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18224 CPUtime=222.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 22439 0 0 0 22226 1 0 0 20 0 1 0 555914673 42582016 4556 33554432000 4194304 6211132 140722271480448 140722271477848 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4556 895 493 0 3701 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18224 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 32655
/proc/meminfo: memFree=30190456/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18236 CPUtime=282.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 22921 0 0 0 28226 1 0 0 20 0 1 0 555914673 42582016 4559 33554432000 4194304 6211132 140722271480448 140722271478408 5155687 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4559 895 493 0 3701 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18236 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 32659
/proc/meminfo: memFree=30190288/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18240 CPUtime=342.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 23411 0 0 0 34226 1 0 0 20 0 1 0 555914673 42582016 4560 33554432000 4194304 6211132 140722271480448 140722271478408 5250273 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4560 895 493 0 3701 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18240 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 32665
/proc/meminfo: memFree=30191000/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18260 CPUtime=402.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 23883 0 0 0 40226 1 0 0 20 0 1 0 555914673 42582016 4565 33554432000 4194304 6211132 140722271480448 140722271478408 5193740 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4565 895 493 0 3701 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18260 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 32677
/proc/meminfo: memFree=30191220/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18260 CPUtime=462.27 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 24354 0 0 0 46226 1 0 0 20 0 1 0 555914673 42582016 4565 33554432000 4194304 6211132 140722271480448 140722271478408 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4565 895 493 0 3701 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18260 KiB


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

/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 357
/proc/meminfo: memFree=30189476/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=1782.2 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 32171 0 0 0 178219 1 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 363
/proc/meminfo: memFree=30188956/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=1842.2 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 32645 0 0 0 184219 1 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 367
/proc/meminfo: memFree=30189144/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=1902.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 32912 0 0 0 190218 1 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 371
/proc/meminfo: memFree=30188876/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=1962.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 33317 0 0 0 196218 1 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 377
/proc/meminfo: memFree=30188700/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2022.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 33706 0 0 0 202218 1 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5136603 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 381
/proc/meminfo: memFree=30189116/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2082.2 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 33902 0 0 0 208218 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 385
/proc/meminfo: memFree=30189428/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2142.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 34367 0 0 0 214217 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5136288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 391
/proc/meminfo: memFree=30188532/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2202.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 34575 0 0 0 220217 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5156492 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 404
/proc/meminfo: memFree=30188068/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2262.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 34822 0 0 0 226217 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 409
/proc/meminfo: memFree=30188412/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2322.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 35139 0 0 0 232217 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 415
/proc/meminfo: memFree=30188524/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2382.19 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 35637 0 0 0 238217 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5155752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 420
/proc/meminfo: memFree=30188372/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2442.18 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 35913 0 0 0 244216 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5250325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/201 488
/proc/meminfo: memFree=30185400/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2502.18 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 36164 0 0 0 250216 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5390500 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.99 2.00 2.04 3/202 491
/proc/meminfo: memFree=30184608/32770624 swapFree=66954180/67108860
[pid=32633] ppid=32630 vsize=41584 memory=18272 CPUtime=2519.89 cores=0,2,4,6
/proc/32633/stat : 32633 (cosoco) R 32630 32633 30008 0 -1 4202496 36410 0 0 0 251987 2 0 0 20 0 1 0 555914673 42582016 4568 33554432000 4194304 6211132 140722271480448 140722271478408 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26726400 140722271486987 140722271487089 140722271487089 140722271489998 0
/proc/32633/statm: 10396 4568 895 493 0 3701 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 18272 KiB

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

[startup+2520.01 s]
# the end of solver process 32633 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.88 s, system=0.020999 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.9
CPU user time (s): 2519.88
CPU system time (s): 0.020999
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 41584
Max. memory (cumulated for all children) (KiB): 18272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 0.020999
maximum resident set size= 18336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36462
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= 20
involuntary context switches= 2836


# summary of solver processes directly reported to runsolver:
#   pid: 32633
#   total CPU time (s): 2519.9
#   total CPU user time (s): 2519.88
#   total CPU system time (s): 0.020999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71089 second user time and 15.7395 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-30 01:32:38
IDJOB=4407972
IDBENCH=128111
IDSOLVER=2874
FILE ID=node119/4407972-1569800000
RUNJOBID= node119-1569787352-30039
PBS_JOBID= 21705833
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407972-1569800000/watcher-4407972-1569800000 -o /tmp/evaluation-result-4407972-1569800000/solver-4407972-1569800000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30039 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407972-1569800000.xml

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

MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466
RANDOM SEED=2039568997

node119.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.47
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.47
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.47
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.47
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:        30206328 kB
MemAvailable:   31823252 kB
Buffers:          212276 kB
Cached:          1742660 kB
SwapCached:        46700 kB
Active:          1077088 kB
Inactive:         933864 kB
Active(anon):      19884 kB
Inactive(anon):   117924 kB
Active(file):    1057204 kB
Inactive(file):   815940 kB
Unevictable:      107588 kB
Mlocked:          107588 kB
SwapTotal:      67108860 kB
SwapFree:       66954180 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:        119028 kB
Mapped:            28504 kB
Shmem:             73180 kB
Slab:             148912 kB
SReclaimable:     119228 kB
SUnreclaim:        29684 kB
KernelStack:        3520 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     573264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62024 MiB
End job on node119 at 2019-09-30 02:14:38