Trace number 4299079

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.09 2519.9

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-10_mini_c18.xml
MD5SUMe8ea5ce8f134a5c516ecbdbf10fc886b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.952588
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints210
Number of domains2
Minimum domain size10
Maximum domain size100
Distribution of domain sizes[{"size":10,"count":100},{"size":100,"count":90}]
Minimum variable degree0
Maximum variable degree94
Distribution of variable degrees[{"degree":0,"count":10},{"degree":2,"count":90},{"degree":93,"count":10},{"degree":94,"count":90}]
Minimum constraint arity1
Maximum constraint arity101
Distribution of constraint arities[{"arity":1,"count":10},{"arity":3,"count":90},{"arity":10,"count":20},{"arity":101,"count":90}]
Number of extensional constraints90
Number of intensional constraints10
Distribution of constraint types[{"type":"extension","count":90},{"type":"intension","count":10},{"type":"allDifferent","count":20},{"type":"element","count":90}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 1620        
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299079-1532786389.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 200
0.00/0.01	c |            Domain Sizes: 10..100
0.00/0.01	c |
0.00/0.01	c |             Constraints: 210
0.00/0.01	c |                   Arity: 1..101  -- Unary: 10  -- Ternary: 90
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 20
0.00/0.01	c |                          Element Constant: 90
0.00/0.01	c |                          Extension: 90  (nb tuples: 100..100) -- (shared: 89)
0.00/0.01	c |                          Unary: 10
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.01	c remove useless variable y[8][8]
0.00/0.01	c remove useless variable y[9][9]
0.00/0.07	c 101            407            194548         140683         134            0              47   71   54   
0.10/0.16	c 211            928            476964         297846         134            0              33   53   40   
0.21/0.26	c 332            1626           847670         477133         134            0              32   55   43   
0.31/0.33	c 465            2195           1171511        629089         134            0              48   59   52   
0.41/0.44	c 611            2873           1537714        804356         134            0              35   55   46   
0.51/0.55	c 771            3634           1923150        1024715        134            0              24   55   45   
0.60/0.66	c 947            4378           2275969        1223323        134            0              32   58   41   
0.69/0.79	c 1140           5296           2718250        1470560        134            0              27   59   46   
0.89/0.91	c 1352           6302           3200022        1730377        134            0              36   60   51   
1.00/1.04	c 1585           7249           3723855        1966658        134            0              35   55   42   
1.19/1.23	c 1841           8430           4304742        2313579        134            0              33   54   43   
1.29/1.39	c 2122           9656           4956474        2655149        134            0              39   63   50   
1.59/1.62	c 2431           11509          5729569        3102734        134            0              34   59   46   
1.79/1.83	c 2770           12897          6463200        3520121        134            0              35   55   45   
2.00/2.10	c 3142           14754          7403853        4019988        134            0              32   59   42   
2.39/2.42	c 3551           17449          8552610        4676037        134            0              29   54   43   
2.69/2.73	c 4000           19427          9630326        5281886        134            0              32   54   41   
3.00/3.02	c 4493           21317          10647757       5758026        134            0              32   55   43   
3.39/3.43	c 5035           23545          11971957       6607857        134            0              22   55   42   
3.79/3.80	c 5631           25926          13306958       7377736        134            0              38   56   45   
4.19/4.27	c 6286           29601          15002305       8313482        134            0              21   59   48   
4.69/4.77	c 7006           32749          16655743       9372429        134            0              33   58   44   
5.29/5.36	c 7798           36080          18719376       10502753       134            0              32   55   42   
5.89/5.96	c 8669           40427          20984712       11665424       134            0              28   60   45   
6.49/6.57	c 9627           44604          23221519       12857359       134            0              34   60   43   
7.29/7.31	c 10680          49411          25860830       14301386       134            0              30   56   41   
8.10/8.12	c 11838          54068          28571742       16037293       134            0              36   56   43   
9.00/9.02	c 13111          59884          31633186       17863401       134            0              32   56   43   
9.79/9.89	c 14511          65693          34871638       19543857       134            0              30   57   44   
11.00/11.01	c 16051          72183          38751838       21912451       134            0              34   53   43   
12.10/12.13	c 17745          79695          43060829       24016272       134            0              30   59   44   
13.69/13.70	c 19608          89163          47720212       26933989       134            0              26   54   38   
15.10/15.11	c 21657          98409          52520063       29514405       134            0              28   56   40   
16.69/16.74	c 23910          107417         57981423       32948024       134            0              33   57   44   
18.49/18.57	c 26388          118394         64323359       36506888       134            0              25   56   44   
20.19/20.22	c 29113          131466         71029022       39812492       134            0              29   64   48   
22.29/22.34	c 32110          144297         77850153       43835815       134            0              29   58   43   
24.49/24.57	c 35406          159576         85672575       48229042       134            0              30   59   44   
26.69/26.72	c 39031          175210         93775395       52387989       134            0              31   59   45   
29.29/29.30	c 43018          192423         101843826      57162901       134            0              29   58   42   
32.39/32.45	c 47403          211978         112723251      63424921       134            0              28   60   43   
35.79/35.81	c 52226          234041         124285157      69999517       134            0              26   60   42   
39.29/39.38	c 57531          261134         137169088      76624730       134            0              28   61   44   
42.79/42.90	c 63366          286567         149982183      83391085       134            0              30   59   45   
47.20/47.24	c 69784          316126         165734549      91689646       134            0              29   61   44   
52.00/52.07	c 76843          347366         181989091      100881276      134            0              28   58   40   
57.80/57.83	c 84607          382904         202657223      112590670      134            0              28   58   43   
64.40/64.46	c 93147          422379         225304496      125627195      134            0              28   61   42   
70.11/70.19	c 102541         461371         246005887      136379309      134            0              30   60   43   
76.70/76.73	c 112874         505797         266774519      148091838      134            0              29   59   42   
84.20/84.28	c 124240         555214         291451601      163037765      134            0              26   61   44   
92.30/92.37	c 136742         610017         322042703      178254153      134            0              29   61   43   
102.01/102.05	c 150494         675769         354099459      196880643      134            0              26   60   43   
111.70/111.70	c 165621         744828         388712630      214279498      134            0              28   60   43   
122.20/122.29	c 182260         815842         425879523      234127111      134            0              28   60   43   
133.70/133.71	c 200562         893814         464544716      256352012      134            0              28   62   43   
146.30/146.32	c 220694         986220         505076619      279272284      134            0              28   60   43   
160.40/160.48	c 242839         1082595        555821819      305857932      134            0              30   63   44   
176.31/176.30	c 267198         1189126        609444589      335164566      134            0              28   60   42   
194.12/194.12	c 293992         1317084        674419035      366999261      134            0              27   61   43   
214.51/214.55	c 323465         1442838        747182145      406474399      134            0              27   59   41   
236.41/236.49	c 355885         1587103        828615079      450066553      134            0              27   60   44   
258.41/258.43	c 391547         1749092        914670469      487762947      134            0              25   60   41   
285.02/285.07	c 430775         1932103        1011387158     537079322      134            0              26   65   44   
311.92/312.00	c 473925         2133560        1115608860     587274443      134            0              26   63   42   
344.82/344.86	c 521390         2347198        1227698808     653563393      134            0              30   62   43   
377.42/377.47	c 573601         2622775        1360861873     717406928      134            0              23   67   48   
411.13/411.11	c 631033         2846014        1452756349     767465325      134            0              17   59   36   
457.73/457.79	c 694208         3155281        1609650776     858159211      134            0              24   61   41   
501.93/501.96	c 763700         3465441        1773559305     937635489      134            0              25   60   42   
552.24/552.23	c 840141         3850688        1954996267     1034830029     134            0              27   63   43   
614.94/614.99	c 924226         4229823        2168430851     1158578333     134            0              28   62   42   
681.74/681.74	c 1016719        4691268        2398710470     1281692140     134            0              22   62   42   
744.85/744.83	c 1118461        5131088        2633142666     1390490007     134            0              27   60   41   
828.26/828.28	c 1230377        5671232        2921852344     1560661443     134            0              26   64   42   
899.07/899.04	c 1353484        6159573        3151713854     1692053441     134            0              24   62   42   
986.57/986.56	c 1488901        6763039        3455924722     1858465263     134            0              27   63   43   
1097.28/1097.26	c 1637859        7399065        3826870502     2075195145     134            0              22   63   41   
1199.28/1199.25	c 1801712        8094674        4196927315     2259246076     134            0              24   65   42   
1320.69/1320.63	c 1981950        8916862        4640893382     2485090521     134            0              14   64   44   
1451.40/1451.30	c 2180211        9797649        5101702973     2723556315     134            0              26   65   43   
1593.12/1593.04	c 2398298        10812834       5630570838     2981573570     134            0              24   63   42   
1748.52/1748.46	c 2638193        11884142       6188579420     3253144130     134            0              25   64   42   
1923.64/1923.58	c 2902077        13022941       6806860216     3589151266     134            0              24   60   41   
2112.35/2112.23	c 3192349        14304008       7459560655     3916348216     134            0              24   62   41   
2337.07/2336.94	c 3511648        15763878       8241167953     4352428657     134            0              23   61   41   
2520.08/2519.90	
2520.08/2519.90	c *** INTERRUPTED ***
2520.08/2519.90	c restarts              : 86          
2520.08/2519.90	c conflicts             : 3764964      (1494 /sec)
2520.08/2519.90	c decisions             : 16984833     (6740 /sec)
2520.08/2519.90	c propagations          : 4717823255  (1872087 /sec)
2520.08/2519.90	c root propagations     : 1620        
2520.08/2519.90	c filter calls          : 8872430145     (3520682 /sec)
2520.08/2519.90	c useless filter calls  : 7263837284     (81 %)
2520.08/2519.90	c Memory used           : 27.56 MB
2520.08/2519.90	c CPU time              : 2520.09 s
2520.08/2519.90	
2520.08/2519.90	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 (8464 MiB free)
  memory of node 1: 16384 MiB (11535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299079-1532786389/watcher-4299079-1532786389 -o /tmp/evaluation-result-4299079-1532786389/solver-4299079-1532786389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299079-1532786389.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=12590, runsolver pid=12587

[startup+0.100201 s]*
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478484/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4728 CPUtime=0.1 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1363 0 0 0 10 0 0 0 20 0 1 0 96202038 28893184 1182 33554432000 4194304 6142532 140727525182848 140727525179480 5079946 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1182 849 476 0 376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.209462 s]*
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478484/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4728 CPUtime=0.21 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1363 0 0 0 21 0 0 0 20 0 1 0 96202038 28893184 1182 33554432000 4194304 6142532 140727525182848 140727525179480 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1182 849 476 0 376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.308931 s]*
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478284/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4728 CPUtime=0.31 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1363 0 0 0 31 0 0 0 20 0 1 0 96202038 28893184 1182 33554432000 4194304 6142532 140727525182848 140727525180248 4991065 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1182 849 476 0 376 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.700331 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478144/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4728 CPUtime=0.69 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1363 0 0 0 69 0 0 0 20 0 1 0 96202038 28893184 1182 33554432000 4194304 6142532 140727525182848 140727525180248 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1182 849 476 0 376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+1.50033 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478040/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4728 CPUtime=1.49 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1363 0 0 0 149 0 0 0 20 0 1 0 96202038 28893184 1182 33554432000 4194304 6142532 140727525182848 140727525180248 5079946 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1182 849 476 0 376 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+3.10905 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20478040/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=3.1 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1655 0 0 0 310 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5080063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+6.30033 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20477976/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=6.29 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 1947 0 0 0 629 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 4991126 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 12591
/proc/meminfo: memFree=20477980/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=12.69 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 2239 0 0 0 1269 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5080063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 12599
/proc/meminfo: memFree=20477108/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=25.49 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 2823 0 0 0 2549 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5058791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+51.1091 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 12599
/proc/meminfo: memFree=20477108/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=51.1 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 3115 0 0 0 5110 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5183536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+102.3 s]
/proc/loadavg: 2.46 2.13 2.08 3/189 12623
/proc/meminfo: memFree=20476280/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=102.3 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 3407 0 0 0 10230 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5080045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+162.3 s]
/proc/loadavg: 2.76 2.28 2.13 3/189 12624
/proc/meminfo: memFree=20476504/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=162.3 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 3699 0 0 0 16230 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5017740 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+222.3 s]
/proc/loadavg: 2.28 2.23 2.13 3/189 12625
/proc/meminfo: memFree=20476380/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=222.31 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 3991 0 0 0 22231 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5335561 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+282.3 s]
/proc/loadavg: 2.10 2.18 2.12 3/189 12626
/proc/meminfo: memFree=20476628/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=282.31 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 3991 0 0 0 28231 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.15 2.12 3/188 12627
/proc/meminfo: memFree=20476700/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=342.32 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 4283 0 0 0 34232 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.12 2.11 3/187 12811
/proc/meminfo: memFree=20474932/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=402.32 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 4283 0 0 0 40232 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/187 12812
/proc/meminfo: memFree=20474808/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=462.33 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 4575 0 0 0 46233 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB


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

/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 12860
/proc/meminfo: memFree=20472456/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=1842.43 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 7765 0 0 0 184243 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5328304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 12861
/proc/meminfo: memFree=20472936/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=1902.44 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8033 0 0 0 190244 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 12862
/proc/meminfo: memFree=20472804/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=1962.44 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8057 0 0 0 196244 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5018336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 12863
/proc/meminfo: memFree=20472552/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2022.44 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8327 0 0 0 202244 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 12864
/proc/meminfo: memFree=20472904/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2082.45 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8327 0 0 0 208245 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5329888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 12865
/proc/meminfo: memFree=20473028/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2142.45 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8619 0 0 0 214245 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5058996 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12866
/proc/meminfo: memFree=20472896/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2202.46 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8619 0 0 0 220246 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5080045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12867
/proc/meminfo: memFree=20473012/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2262.46 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8887 0 0 0 226246 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12868
/proc/meminfo: memFree=20473008/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2322.47 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 8887 0 0 0 232247 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079946 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12869
/proc/meminfo: memFree=20473000/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2382.47 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 9179 0 0 0 238247 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12877
/proc/meminfo: memFree=20471936/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2442.48 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 9179 0 0 0 244248 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079994 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2442.48 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12878
/proc/meminfo: memFree=20472300/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2502.48 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 9447 0 0 0 250248 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079946 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12878
/proc/meminfo: memFree=20472300/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2520.08 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 9447 0 0 0 252008 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

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

[startup+2519.9 s]
# the end of solver process 12590 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.09 s, system=0.003101 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12878
/proc/meminfo: memFree=20472300/32770624 swapFree=67108860/67108860
[pid=12590] ppid=12587 vsize=28216 memory=4828 CPUtime=2520.08 cores=0,2,4,6
/proc/12590/stat : 12590 (cosoco) R 12587 12590 11466 0 -1 4202496 9447 0 0 0 252008 0 0 0 20 0 1 0 96202038 28893184 1207 33554432000 4194304 6142532 140727525182848 140727525180248 5079985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20750336 140727525184646 140727525184776 140727525184776 140727525187534 0
/proc/12590/statm: 7054 1207 854 476 0 376 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4828 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.09
CPU user time (s): 2520.09
CPU system time (s): 0.003101
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 28216
Max. memory (cumulated for all children) (KiB): 4828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.003101
maximum resident set size= 4892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9495
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= 15
involuntary context switches= 653


# summary of solver processes directly reported to runsolver:
#   pid: 12590
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2520.09
#   total CPU system time (s): 0.003101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4197 second user time and 14.7553 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 15:59:49
IDJOB=4299079
IDBENCH=141292
IDSOLVER=2761
FILE ID=node105/4299079-1532786389
RUNJOBID= node105-1532776049-11497
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v4-10_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299079-1532786389/watcher-4299079-1532786389 -o /tmp/evaluation-result-4299079-1532786389/solver-4299079-1532786389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299079-1532786389.xml

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

MD5SUM BENCH= e8ea5ce8f134a5c516ecbdbf10fc886b
RANDOM SEED=1360528940

node105.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.32
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.32
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.32
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.32
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:        20480260 kB
MemAvailable:   31932520 kB
Buffers:          269244 kB
Cached:         11322292 kB
SwapCached:            0 kB
Active:          2389132 kB
Inactive:        9256092 kB
Active(anon):       8524 kB
Inactive(anon):    73344 kB
Active(file):    2380608 kB
Inactive(file):  9182748 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:         60644 kB
Mapped:            44864 kB
Shmem:             25228 kB
Slab:             344764 kB
SReclaimable:     317364 kB
SUnreclaim:        27400 kB
KernelStack:        3360 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-28 16:41:49