Trace number 4292867

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.07 2520.01

General information on the benchmark

NameColouredQueens/
ColouredQueens-12_c18.xml
MD5SUM130c0e53e5c1e074e18659561dd41fce
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints66
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":144}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":140}]
Minimum constraint arity2
Maximum constraint arity12
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":26}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":66}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292867-1532296152.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 144
0.00/0.00	c |            Domain Sizes: 12..12
0.00/0.00	c |
0.00/0.00	c |             Constraints: 66
0.00/0.00	c |                   Arity: 2..12  -- Binary: 4  -- Ternary: 4
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          (X != Y): 4
0.00/0.00	c |                          All Different: 62
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 101            397            21164          31234          0              0              53   74   61   
0.00/0.08	c 211            765            45966          71749          0              0              20   63   56   
0.10/0.11	c 332            1195           65318          100124         0              0              51   74   61   
0.10/0.16	c 465            1815           96521          145523         0              0              51   66   58   
0.10/0.21	c 611            2317           124025         187115         0              0              39   68   60   
0.21/0.26	c 771            2928           155644         232279         0              0              53   75   61   
0.31/0.31	c 947            3714           190043         281495         0              0              50   71   61   
0.31/0.38	c 1140           4437           231854         344891         0              0              50   74   63   
0.41/0.46	c 1352           5239           275856         411101         0              0              42   73   58   
0.51/0.53	c 1585           6081           320655         472802         0              0              52   73   61   
0.51/0.59	c 1841           6869           360890         537298         0              0              50   73   63   
0.60/0.68	c 2122           7788           416383         615480         0              0              52   68   59   
0.69/0.78	c 2431           8816           474296         701395         0              0              48   75   61   
0.79/0.88	c 2770           10009          539383         799759         0              0              39   66   56   
0.89/0.97	c 3142           11159          594721         885656         0              0              50   75   62   
1.00/1.06	c 3551           12272          647959         974593         0              0              51   80   67   
1.10/1.15	c 4000           13470          704437         1078724        0              0              51   81   65   
1.29/1.30	c 4493           15035          790905         1209604        0              0              43   77   62   
1.39/1.44	c 5035           16611          874355         1334031        0              0              49   75   61   
1.49/1.57	c 5631           18159          953561         1464897        0              0              52   74   62   
1.69/1.78	c 6286           20550          1084988        1681499        0              0              45   70   59   
1.89/1.99	c 7006           22756          1213082        1875672        0              0              48   70   57   
2.10/2.17	c 7798           25005          1319890        2048457        0              0              56   83   68   
2.39/2.42	c 8669           27725          1471270        2289129        0              0              51   75   63   
2.59/2.64	c 9627           30416          1605639        2490304        0              0              50   74   62   
2.89/2.95	c 10680          34143          1794836        2776029        0              0              53   78   64   
3.10/3.16	c 11838          37242          1922099        3003862        0              0              45   79   69   
3.49/3.50	c 13111          41039          2132388        3305295        0              0              26   74   60   
3.79/3.88	c 14511          44974          2358495        3645106        0              0              49   73   61   
4.19/4.26	c 16051          49081          2585876        4030107        0              0              52   77   65   
4.69/4.73	c 17745          54309          2865580        4506995        0              0              50   82   65   
5.19/5.25	c 19608          60005          3187020        4985407        0              0              52   83   67   
5.79/5.81	c 21657          65812          3517775        5520556        0              0              35   76   63   
6.29/6.31	c 23910          71320          3815712        6022515        0              0              46   75   62   
7.00/7.03	c 26388          80559          4253003        6704966        0              0              49   77   63   
7.49/7.58	c 29113          89325          4583991        7277985        0              0              50   86   71   
8.29/8.36	c 32110          99135          5056259        7989917        0              0              48   74   60   
9.00/9.09	c 35406          107443         5492152        8720394        0              0              50   75   64   
10.19/10.23	c 39031          119301         6179738        9869480        0              0              46   73   58   
11.10/11.15	c 43018          130172         6747739        10770832       0              0              48   79   62   
12.19/12.21	c 47403          140586         7386954        11755747       0              0              39   81   64   
13.49/13.56	c 52226          155581         8212690        13036982       0              0              48   77   60   
15.10/15.14	c 57531          173444         9163760        14527975       0              0              43   82   60   
16.89/16.90	c 63366          191718         10226408       16233717       0              0              46   75   60   
17.89/17.99	c 69784          207176         10861053       17513248       0              0              51   84   72   
19.29/19.36	c 76843          223608         11657679       19057113       0              0              47   85   70   
20.89/20.98	c 84607          244408         12663100       20574707       0              0              46   75   60   
23.00/23.01	c 93147          267046         13871164       22712673       0              0              48   79   64   
25.79/25.83	c 102541         297304         15594264       25411106       0              0              46   76   61   
27.79/27.83	c 112874         325537         16821318       27389474       0              0              48   79   63   
30.89/30.91	c 124240         362845         18708045       30226320       0              0              49   82   64   
33.00/33.10	c 136742         396441         20068874       32503273       0              0              46   89   67   
37.29/37.32	c 150494         439305         22633217       36251769       0              0              50   77   62   
39.69/39.79	c 165621         471548         24139812       38877671       0              0              39   74   59   
43.29/43.31	c 182260         515033         26232046       42503173       0              0              50   86   70   
48.19/48.24	c 200562         569709         29213357       47462457       0              0              49   85   67   
53.10/53.19	c 220694         627672         32232666       52164487       0              0              45   79   62   
59.29/59.37	c 242839         698787         35959188       57900005       0              0              47   90   64   
64.49/64.51	c 267198         767933         39052454       63554373       0              0              47   81   65   
70.39/70.44	c 293992         837062         42600970       69694492       0              0              52   87   69   
78.49/78.50	c 323465         933466         47496498       77013116       0              0              46   86   63   
85.39/85.43	c 355885         1013289        51593840       83713130       0              0              46   84   64   
94.90/94.94	c 391547         1126723        57325335       92405780       0              0              48   82   65   
104.50/104.55	c 430775         1231423        63126529       102146019      0              0              47   82   63   
116.40/116.50	c 473925         1369261        70261765       113310481      0              0              47   85   64   
126.40/126.47	c 521390         1501088        76295013       123705541      0              0              48   89   66   
138.80/138.81	c 573601         1642221        83711923       136258823      0              0              46   82   64   
152.90/152.97	c 631033         1806369        92137780       150695697      0              0              49   89   70   
165.60/165.64	c 694208         1967786        99760450       163182573      0              0              45   81   61   
185.80/185.89	c 763700         2199155        112159490      181764923      0              0              42   81   59   
209.60/209.61	c 840141         2476534        126493817      204653190      0              0              43   80   60   
233.40/233.43	c 924226         2758736        141131592      225361314      0              0              45   82   60   
256.30/256.38	c 1016719        3027713        154829297      250446565      0              0              47   89   66   
278.60/278.68	c 1118461        3305148        168266728      274811600      0              0              48   88   67   
314.20/314.20	c 1230377        3696474        189698657      307698141      0              0              26   86   63   
342.60/342.66	c 1353484        4026826        206565901      337959119      0              0              43   83   64   
381.20/381.27	c 1488901        4456288        229929374      373234424      0              0              46   84   61   
419.70/419.71	c 1637859        4911861        252965616      409917430      0              0              44   90   66   
460.30/460.38	c 1801712        5380073        276985286      450248181      0              0              44   84   63   
500.51/500.51	c 1981950        5868929        300935420      491574970      0              0              45   91   67   
539.51/539.57	c 2180211        6363324        323995550      534467706      0              0              45   89   69   
597.02/597.02	c 2398298        7028705        358738940      591421124      0              0              44   82   60   
659.91/659.90	c 2638193        7700623        396371591      652028415      0              0              47   84   66   
718.02/718.09	c 2902077        8423596        431418163      710925957      0              0              47   95   69   
796.41/796.41	c 3192349        9312998        478533887      783837104      0              0              40   83   61   
874.51/874.58	c 3511648        10299459       524409033      867098801      0              0              49   93   70   
956.62/956.67	c 3862876        11346424       575032086      944249367      0              0              44   89   64   
1032.03/1032.01	c 4249226        12263073       619010014      1027304052     0              0              47   88   69   
1119.92/1119.99	c 4674211        13310661       670128129      1117450797     0              0              44   93   71   
1241.72/1241.79	c 5141694        14783082       744976809      1227463546     0              0              44   82   61   
1363.83/1363.82	c 5655925        16145739       817534960      1348099327     0              0              43   89   65   
1497.43/1497.40	c 6221579        17845176       898735526      1476791746     0              0              35   88   63   
1653.93/1653.98	c 6843798        19596447       992434673      1632942238     0              0              40   91   64   
1816.24/1816.20	c 7528238        21526570       1088352699     1799076724     0              0              44   90   66   
1970.24/1970.23	c 8281122        23445279       1179484888     1964040358     0              0              42   88   68   
2161.25/2161.21	c 9109294        25625938       1292248500     2158291391     0              0              42   90   65   
2331.95/2331.96	c 10020283       27847984       1394195459     2348548842     0              0              45   90   67   
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 97          
2520.06/2520.00	c conflicts             : 10876108     (4316 /sec)
2520.06/2520.00	c decisions             : 30075790     (11935 /sec)
2520.06/2520.00	c propagations          : 2550063299  (1011902 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 1507066232     (598026 /sec)
2520.06/2520.00	c useless filter calls  : 796645060      (52 %)
2520.06/2520.00	c Memory used           : 26.79 MB
2520.06/2520.00	c CPU time              : 2520.07 s
2520.06/2520.00	
2520.06/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 (10334 MiB free)
  memory of node 1: 16384 MiB (10896 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292867-1532296152/watcher-4292867-1532296152 -o /tmp/evaluation-result-4292867-1532296152/solver-4292867-1532296152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292867-1532296152.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7855, runsolver pid=7852
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 1.97 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739504/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3940 CPUtime=0.1 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1144 0 0 0 10 0 0 0 20 0 1 0 47178371 28082176 985 33554432000 4194304 6142532 140732882271568 140732882268200 5061923 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 985 839 476 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3940 KiB

[startup+0.20935 s]*
/proc/loadavg: 1.97 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739504/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3940 CPUtime=0.21 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1144 0 0 0 21 0 0 0 20 0 1 0 47178371 28082176 985 33554432000 4194304 6142532 140732882271568 140732882268200 5059814 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 985 839 476 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3940 KiB

[startup+0.308998 s]*
/proc/loadavg: 1.97 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739504/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3940 CPUtime=0.31 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1144 0 0 0 31 0 0 0 20 0 1 0 47178371 28082176 985 33554432000 4194304 6142532 140732882271568 140732882268200 5060532 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 985 839 476 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3940 KiB

[startup+0.700225 s]
/proc/loadavg: 1.97 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739504/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3940 CPUtime=0.69 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1144 0 0 0 69 0 0 0 20 0 1 0 47178371 28082176 985 33554432000 4194304 6142532 140732882271568 140732882268968 5347465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 985 839 476 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3940 KiB

[startup+1.50023 s]
/proc/loadavg: 1.98 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739432/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3940 CPUtime=1.49 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1146 0 0 0 149 0 0 0 20 0 1 0 47178371 28082176 985 33554432000 4194304 6142532 140732882271568 140732882268968 5061476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 985 839 476 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3940 KiB

[startup+3.10892 s]
/proc/loadavg: 1.98 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739652/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3960 CPUtime=3.1 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1236 0 0 0 310 0 0 0 20 0 1 0 47178371 28082176 990 33554432000 4194304 6142532 140732882271568 140732882268968 5061110 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 990 839 476 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3960 KiB

[startup+6.30021 s]
/proc/loadavg: 1.98 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21739652/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3964 CPUtime=6.29 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1327 0 0 0 629 0 0 0 20 0 1 0 47178371 28082176 991 33554432000 4194304 6142532 140732882271568 140732882268968 5062427 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 991 839 476 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.98 2.06 1.95 4/188 7856
/proc/meminfo: memFree=21739360/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3972 CPUtime=12.69 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1420 0 0 0 1269 0 0 0 20 0 1 0 47178371 28082176 993 33554432000 4194304 6142532 140732882271568 140732882268968 5058573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 993 839 476 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3972 KiB

[startup+25.5002 s]
/proc/loadavg: 1.98 2.06 1.95 3/188 7856
/proc/meminfo: memFree=21740628/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3972 CPUtime=25.49 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1591 0 0 0 2549 0 0 0 20 0 1 0 47178371 28082176 993 33554432000 4194304 6142532 140732882271568 140732882268968 5061881 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 993 839 476 0 178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3972 KiB

[startup+51.1091 s]
/proc/loadavg: 1.99 2.05 1.95 3/189 7864
/proc/meminfo: memFree=21741328/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3972 CPUtime=51.1 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1697 0 0 0 5110 0 0 0 20 0 1 0 47178371 28082176 993 33554432000 4194304 6142532 140732882271568 140732882268968 5060713 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 993 839 476 0 178 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3972 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/189 7865
/proc/meminfo: memFree=21742160/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=102.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1790 0 0 0 10230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058075 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/189 7866
/proc/meminfo: memFree=21742504/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=162.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1883 0 0 0 16230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5059814 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/189 7867
/proc/meminfo: memFree=21742584/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=222.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 1976 0 0 0 22230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5059711 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/190 7882
/proc/meminfo: memFree=21740916/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=282.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 2069 0 0 0 28230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058915 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/189 7883
/proc/meminfo: memFree=21741416/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=342.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 2162 0 0 0 34230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 7885
/proc/meminfo: memFree=21741432/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=402.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 2255 0 0 0 40230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5331070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 7886
/proc/meminfo: memFree=21741280/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=462.3 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 2348 0 0 0 46230 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5061926 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB


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

/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 7954
/proc/meminfo: memFree=21740548/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=1782.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4290 0 0 0 178234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5061171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 7955
/proc/meminfo: memFree=21740920/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=1842.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4383 0 0 0 184234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1902.3 s]
/proc/loadavg: 2.52 2.14 2.00 3/188 7964
/proc/meminfo: memFree=21741268/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=1902.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4463 0 0 0 190234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5061899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+1962.3 s]
/proc/loadavg: 2.30 2.16 2.01 3/188 7965
/proc/meminfo: memFree=21741312/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=1962.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4543 0 0 0 196234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5062306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2022.3 s]
/proc/loadavg: 2.11 2.13 2.01 3/188 7966
/proc/meminfo: memFree=21741224/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2022.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4636 0 0 0 202234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5062315 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.10 2.01 3/188 7967
/proc/meminfo: memFree=21741348/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2082.34 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4716 0 0 0 208234 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5062311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.09 2.01 3/188 7968
/proc/meminfo: memFree=21741092/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2142.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4796 0 0 0 214235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5175276 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.01 3/187 7970
/proc/meminfo: memFree=21740984/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2202.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4889 0 0 0 220235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.01 3/187 7971
/proc/meminfo: memFree=21741108/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2262.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 4969 0 0 0 226235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5059706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/187 7972
/proc/meminfo: memFree=21740876/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2322.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 5049 0 0 0 232235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5060757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/187 7974
/proc/meminfo: memFree=21741116/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2382.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 5142 0 0 0 238235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5061130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/187 7975
/proc/meminfo: memFree=21741248/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2442.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 5222 0 0 0 244235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5061885 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/187 7983
/proc/meminfo: memFree=21740976/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2502.35 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 5302 0 0 0 250235 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5058568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.01 3/187 8044
/proc/meminfo: memFree=21738616/32770624 swapFree=67108860/67108860
[pid=7855] ppid=7852 vsize=27424 memory=3976 CPUtime=2520.06 cores=1,3,5,7
/proc/7855/stat : 7855 (cosoco) R 7852 7855 7732 0 -1 4202496 5382 0 0 0 252006 0 0 0 20 0 1 0 47178371 28082176 994 33554432000 4194304 6142532 140732882271568 140732882268968 5060688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 30007296 140732882277510 140732882277640 140732882277640 140732882280398 0
/proc/7855/statm: 6856 994 839 476 0 178 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3976 KiB

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

[startup+2520.01 s]
# the end of solver process 7855 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.002 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): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27424
Max. memory (cumulated for all children) (KiB): 3976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.002
maximum resident set size= 4040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5430
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= 6
involuntary context switches= 645


# summary of solver processes directly reported to runsolver:
#   pid: 7855
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29498 second user time and 15.4297 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 23:49:12
IDJOB=4292867
IDBENCH=141026
IDSOLVER=2752
FILE ID=node137/4292867-1532296152
RUNJOBID= node137-1532296151-7764
PBS_JOBID= 21018986
Free space on /tmp= 56892 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-12_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292867-1532296152/watcher-4292867-1532296152 -o /tmp/evaluation-result-4292867-1532296152/solver-4292867-1532296152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292867-1532296152.xml

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

MD5SUM BENCH= 130c0e53e5c1e074e18659561dd41fce
RANDOM SEED=527420900

node137.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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21740548 kB
MemAvailable:   31933352 kB
Buffers:          247012 kB
Cached:         10143484 kB
SwapCached:            0 kB
Active:          1741312 kB
Inactive:        8706456 kB
Active(anon):      60028 kB
Inactive(anon):    16944 kB
Active(file):    1681284 kB
Inactive(file):  8689512 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5376 kB
Writeback:             0 kB
AnonPages:         62944 kB
Mapped:            36920 kB
Shmem:             17036 kB
Slab:             277668 kB
SReclaimable:     250468 kB
SUnreclaim:        27200 kB
KernelStack:        3232 kB
PageTables:         5000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56888 MiB
End job on node137 at 2018-07-23 00:31:12