Trace number 4242265

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
R1: cosoco 1.1? (TO) 2400.05 2400.4

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg7/
QuasiGroup-7-28.xml
MD5SUM3acdfa33911068ba5b02b5d01ed992db
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 variables1568
Number of constraints1514
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":1540}]
Minimum variable degree0
Maximum variable degree57
Distribution of variable degrees[{"degree":0,"count":28},{"degree":2,"count":756},{"degree":56,"count":28},{"degree":57,"count":756}]
Minimum constraint arity28
Maximum constraint arity784
Distribution of constraint arities[{"arity":28,"count":1},{"arity":30,"count":1512},{"arity":784,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1512}]
Optimization problemNO
Type of objective

Solver Data 

0.08/0.15	c root propagations     : 140         
0.08/0.15	c restarts enabled, print stats at every restarts
0.08/0.15	c
0.08/0.15	c
0.08/0.15	c
0.08/0.15	c This is cosoco 1.0 --  
0.08/0.15	c
0.08/0.15	c ========================================[ Problem Statistics ]===========================================
0.08/0.15	c |                                                                                                       
0.08/0.15	c |  Parse time        :         0.12 s 
0.08/0.15	c |
0.08/0.15	c |               Variables: 1568
0.08/0.15	c |            Domain Sizes: 28..28
0.08/0.15	c |
0.08/0.15	c |             Constraints: 1596
0.08/0.15	c |                   Arity: 1..30  -- Unary: 28
0.08/0.15	c | 
0.08/0.15	c |                   Types: 
0.08/0.15	c |                          All Different: 56
0.08/0.15	c |                          Element Variable: 1512
0.08/0.15	c |                          Unary: 28
0.08/0.15	c |                          
0.08/0.15	c =========================================================================================================
0.08/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.08/0.15	c remove useless variable y[0][0]
0.08/0.15	c remove useless variable y[1][1]
0.08/0.15	c remove useless variable y[2][2]
0.08/0.15	c remove useless variable y[3][3]
0.08/0.15	c remove useless variable y[4][4]
0.08/0.15	c remove useless variable y[5][5]
0.08/0.15	c remove useless variable y[6][6]
0.08/0.15	c remove useless variable y[7][7]
0.08/0.15	c remove useless variable y[8][8]
0.08/0.15	c remove useless variable y[9][9]
0.08/0.15	c remove useless variable y[10][10]
0.08/0.15	c remove useless variable y[11][11]
0.08/0.15	c remove useless variable y[12][12]
0.08/0.15	c remove useless variable y[13][13]
0.08/0.15	c remove useless variable y[14][14]
0.08/0.15	c remove useless variable y[15][15]
0.08/0.15	c remove useless variable y[16][16]
0.08/0.15	c remove useless variable y[17][17]
0.08/0.15	c remove useless variable y[18][18]
0.08/0.15	c remove useless variable y[19][19]
0.08/0.15	c remove useless variable y[20][20]
0.08/0.15	c remove useless variable y[21][21]
0.08/0.15	c remove useless variable y[22][22]
0.08/0.15	c remove useless variable y[23][23]
0.08/0.15	c remove useless variable y[24][24]
0.08/0.15	c remove useless variable y[25][25]
0.08/0.15	c remove useless variable y[26][26]
0.08/0.15	c remove useless variable y[27][27]
0.19/0.21	c 101            470            71240          21006          134            0              191   358   282
0.19/0.27	c 211            815            143487         33323          134            0              62   69   63   
0.29/0.35	c 332            1349           251781         64752          134            0              92   302   270 
0.39/0.44	c 465            1740           362192         83413          134            0              60   107   104 
0.49/0.55	c 611            2284           508435         127208         134            0              61   207   177 
0.59/0.64	c 771            2765           624388         159738         134            0              124   261   229
0.69/0.76	c 947            3372           783986         197692         134            0              88   253   228 
0.89/0.99	c 1140           4329           1094387        272746         134            0              81   168   160 
1.09/1.13	c 1352           4960           1272600        291771         134            0              71   77   75   
1.29/1.31	c 1585           5659           1521442        366717         134            0              89   217   206 
1.39/1.43	c 1841           6176           1678527        388005         134            0              72   77   75   
1.59/1.68	c 2122           7247           2011430        490063         134            0              84   162   120 
1.78/1.84	c 2431           7995           2245874        536786         134            0              85   273   253 
1.88/1.99	c 2770           8741           2449569        615145         134            0              94   181   161 
2.08/2.15	c 3142           9516           2662877        655360         134            0              124   173   165
2.29/2.33	c 3551           10558          2895375        716847         134            0              90   187   176 
2.58/2.65	c 4000           11968          3337089        771373         134            0              85   206   201 
2.78/2.86	c 4493           13049          3628827        842773         134            0              104   304   265
2.98/3.08	c 5035           14532          3890349        883216         134            0              103   121   120
3.39/3.43	c 5631           16126          4367259        990233         134            0              70   176   163 
3.68/3.74	c 6286           17743          4785121        1140719        134            0              68   143   131 
4.19/4.24	c 7006           19825          5367245        1372086        134            0              73   108   105 
4.69/4.78	c 7798           22485          6088025        1576853        134            0              61   134   125 
5.09/5.16	c 8669           24939          6523348        1734036        134            0              70   88   87   
5.50/5.55	c 9627           27620          6968687        1895739        134            0              81   82   81   
5.99/6.02	c 10680          30590          7498044        2076621        134            0              80   82   81   
6.49/6.54	c 11838          33855          8107682        2278314        134            0              81   82   81   
6.99/7.07	c 13111          37391          8710030        2505227        134            0              81   82   81   
7.59/7.65	c 14511          41273          9368547        2740854        134            0              82   82   81   
8.29/8.31	c 16051          45560          10116469       3003316        134            0              81   82   81   
8.99/9.05	c 17745          50252          10977212       3313758        134            0              72   81   80   
9.69/9.73	c 19608          54963          11814429       3621848        134            0              57   205   155 
10.59/10.61	c 21657          60433          12839299       3958359        134            0              83   86   85   
11.49/11.56	c 23910          66639          13911818       4340251        134            0              58   83   82   
12.49/12.59	c 26388          73468          15081026       4774713        134            0              80   81   80   
13.69/13.78	c 29113          80953          16465430       5281121        134            0              81   82   81   
14.88/14.94	c 32110          89201          17728680       5806611        134            0              80   81   80   
16.38/16.44	c 35406          98279          19484114       6403972        134            0              80   81   80   
17.78/17.85	c 39031          108386         21091113       7054674        134            0              57   93   92   
19.28/19.39	c 43018          119300         22830557       7793431        134            0              81   81   80   
20.99/21.02	c 47403          131336         24614795       8555241        134            0              80   81   80   
22.78/22.80	c 52226          144601         26593085       9394906        134            0              80   81   80   
25.08/25.14	c 57531          159173         29431787       10387720       134            0              90   91   90   
27.38/27.49	c 63366          175199         32087899       11399994       134            0              80   81   80   
30.08/30.13	c 69784          192871         35131225       12526144       134            0              80   81   80   
33.38/33.41	c 76843          212393         39036173       13961951       134            0              95   97   96   
36.28/36.31	c 84607          233770         42200340       15368998       134            0              80   81   80   
39.48/39.57	c 93147          257134         45774311       16911976       134            0              80   81   80   
42.98/43.01	c 102541         282850         49535997       18675068       134            0              80   81   80   
46.97/47.04	c 112874         311512         54158290       20610734       134            0              81   82   81   
51.47/51.59	c 124240         345289         59441968       22804199       134            0              80   120   119 
56.57/56.67	c 136742         381881         65368397       25206612       134            0              113   119   118
62.37/62.44	c 150494         419177         72274776       27756025       134            0              60   83   82   
71.27/71.39	c 165621         482383         83376664       31774628       134            0              98   139   122 
75.77/75.80	c 182260         511456         90058002       33205741       134            0              151   244   173
82.17/82.29	c 200562         555256         99122987       34904895       134            0              128   206   178
91.87/91.94	c 220694         609304         113790047      39633181       134            0              99   360   321 
101.77/101.83	c 242839         670128         127468964      44425749       134            0              98   261   246 
109.97/110.02	c 267198         715305         140142262      48539259       134            0              152   319   298
123.27/123.36	c 293992         781701         158416445      55374564       134            0              159   191   170
132.46/132.55	c 323465         846336         170675388      56059664       134            0              52   58   57   
153.66/153.78	c 355885         972813         197653804      65774130       134            0              184   207   195
170.66/170.75	c 391547         1092285        222410349      70563157       134            0              100   164   147
190.45/190.53	c 430775         1198775        250510101      79625339       134            0              164   324   268
210.35/210.44	c 473925         1308504        279460701      85785476       134            0              90   169   158 
232.65/232.71	c 521390         1411525        313106105      95814953       134            0              117   321   299
256.94/257.00	c 573601         1544774        345323975      106221306      134            0              102   128   113
278.25/278.34	c 631033         1702868        370696769      115002113      134            0              68   98   82   
299.15/299.26	c 694208         1827725        401935856      127349669      134            0              108   313   263
347.64/347.72	c 763700         2146487        470586219      149650523      134            0              120   207   182
390.23/390.32	c 840141         2418441        531409963      167234002      134            0              57   206   190 
426.73/426.88	c 924226         2597108        586046917      182637374      134            0              106   334   289
482.01/482.10	c 1016719        2945558        665859300      203057577      134            0              156   212   191
555.51/555.61	c 1118461        3542752        771955075      231008581      134            0              156   213   190
649.69/649.81	c 1230377        4142041        906569566      267485341      134            0              92   222   201 
706.88/707.03	c 1353484        4592589        989948490      292418734      134            0              115   211   192
775.67/775.84	c 1488901        4906702        1088464301     327882728      134            0              124   300   276
832.57/832.74	c 1637859        5169823        1176958206     356114004      134            0              86   357   329 
904.75/904.95	c 1801712        5590185        1279662040     384265689      134            0              84   238   219 
961.35/961.59	c 1981950        6000739        1353059972     408523145      134            0              88   95   94   
1127.43/1127.69	c 2180211        6709185        1583684797     491737031      134            0              155   199   179
1206.52/1206.73	c 2398298        7129859        1694562691     523667061      134            0              115   207   191
1369.29/1369.55	c 2638193        8287736        1929478504     588391131      134            0              89   205   189 
1489.97/1490.21	c 2902077        8823650        2115252529     641079129      134            0              104   318   289
1734.55/1734.89	c 3192349        10367086       2468386308     728023815      134            0              72   200   191 
1939.61/1939.99	c 3511648        11580587       2765667137     817162788      134            0              131   225   196
2074.69/2075.03	c 3862876        12382694       2961661003     877346261      134            0              141   281   244
2247.27/2247.69	c 4249226        13390305       3208207595     975434393      134            0              157   262   222

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242265-1500660195/watcher-4242265-1500660195 -o /tmp/evaluation-result-4242265-1500660195/solver-4242265-1500660195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2485 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242265-1500660195.xml 

pid=4062
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4065
/proc/meminfo: memFree=32101956/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=27520 CPUtime=0 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 1284847 28180480 898 33554432000 4194304 5970956 140732454036880 140732454033480 140026093996587 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 6880 898 702 434 0 244 0

[startup+0.100125 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4065
/proc/meminfo: memFree=32101956/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=35544 CPUtime=0.08 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 3104 0 0 0 8 0 0 0 20 0 1 0 1284847 36397056 2918 33554432000 4194304 5970956 140732454036880 140732454031752 140026093975456 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 8886 2918 728 434 0 2250 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35544

[startup+0.200329 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4065
/proc/meminfo: memFree=32101956/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=41556 CPUtime=0.19 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 4655 0 0 0 18 1 0 0 20 0 1 0 1284847 42553344 4436 33554432000 4194304 5970956 140732454036880 140732454033736 140026093927397 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10389 4436 774 434 0 3753 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41556

[startup+0.300261 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4065
/proc/meminfo: memFree=32101956/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=41952 CPUtime=0.29 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 4767 0 0 0 28 1 0 0 20 0 1 0 1284847 42958848 4568 33554432000 4194304 5970956 140732454036880 140732454034216 4998675 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10488 4568 774 434 0 3852 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41952

[startup+0.700187 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4065
/proc/meminfo: memFree=32101956/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=42348 CPUtime=0.69 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 4873 0 0 0 68 1 0 0 20 0 1 0 1284847 43364352 4700 33554432000 4194304 5970956 140732454036880 140732454034216 4908288 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10587 4700 777 434 0 3951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42348

[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4066
/proc/meminfo: memFree=32086372/32770624 swapFree=5804/159456
[pid=4065] ppid=4062 vsize=42480 CPUtime=1.49 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 4901 0 0 0 148 1 0 0 20 0 1 0 1284847 43499520 4700 33554432000 4194304 5970956 140732454036880 140732454034216 4998798 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10620 4700 777 434 0 3984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42480

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4066
/proc/meminfo: memFree=32086232/32770624 swapFree=5804/159136
[pid=4065] ppid=4062 vsize=42744 CPUtime=3.08 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 8735 0 0 0 307 1 0 0 20 0 1 0 1284847 43769856 4780 33554432000 4194304 5970956 140732454036880 140732454034216 4998697 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10686 4780 777 434 0 4050 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42744

[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4066
/proc/meminfo: memFree=32084484/32770624 swapFree=5804/159492
[pid=4065] ppid=4062 vsize=42744 CPUtime=6.29 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 12443 0 0 0 627 2 0 0 20 0 1 0 1284847 43769856 4812 33554432000 4194304 5970956 140732454036880 140732454034216 5327993 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10686 4812 777 434 0 4050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42744

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4066
/proc/meminfo: memFree=32084112/32770624 swapFree=5804/159492
[pid=4065] ppid=4062 vsize=42744 CPUtime=12.69 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 15705 0 0 0 1267 2 0 0 20 0 1 0 1284847 43769856 4812 33554432000 4194304 5970956 140732454036880 140732454034216 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10686 4812 777 434 0 4050 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42744

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4066
/proc/meminfo: memFree=32083852/32770624 swapFree=5804/159512
[pid=4065] ppid=4062 vsize=42744 CPUtime=25.48 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 18980 0 0 0 2546 2 0 0 20 0 1 0 1284847 43769856 4812 33554432000 4194304 5970956 140732454036880 140732454034216 5337501 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10686 4812 777 434 0 4050 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42744

[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4066
/proc/meminfo: memFree=32084224/32770624 swapFree=5804/159544
[pid=4065] ppid=4062 vsize=42744 CPUtime=51.07 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 19319 0 0 0 5105 2 0 0 20 0 1 0 1284847 43769856 4812 33554432000 4194304 5970956 140732454036880 140732454034216 4998689 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10686 4812 777 434 0 4050 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42744

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4067
/proc/meminfo: memFree=32083760/32770624 swapFree=5804/159624
[pid=4065] ppid=4062 vsize=43272 CPUtime=102.27 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 19880 0 0 0 10225 2 0 0 20 0 1 0 1284847 44310528 4905 33554432000 4194304 5970956 140732454036880 140732454034216 4970584 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10818 4905 777 434 0 4182 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43272

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4068
/proc/meminfo: memFree=32084296/32770624 swapFree=5804/159684
[pid=4065] ppid=4062 vsize=43272 CPUtime=162.26 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 20389 0 0 0 16224 2 0 0 20 0 1 0 1284847 44310528 4948 33554432000 4194304 5970956 140732454036880 140732454034216 4998717 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10818 4948 777 434 0 4182 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 43272

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4069
/proc/meminfo: memFree=32084220/32770624 swapFree=5804/159740
[pid=4065] ppid=4062 vsize=43404 CPUtime=222.26 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 20929 0 0 0 22224 2 0 0 20 0 1 0 1284847 44445696 4952 33554432000 4194304 5970956 140732454036880 140732454034216 5328092 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4952 777 434 0 4215 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 43404

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4070
/proc/meminfo: memFree=32083940/32770624 swapFree=5804/159788
[pid=4065] ppid=4062 vsize=43404 CPUtime=282.24 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 21431 0 0 0 28222 2 0 0 20 0 1 0 1284847 44445696 4957 33554432000 4194304 5970956 140732454036880 140732454034216 4998693 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4957 777 434 0 4215 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 43404

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4071
/proc/meminfo: memFree=32084404/32770624 swapFree=5804/159828
[pid=4065] ppid=4062 vsize=43404 CPUtime=342.23 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 21960 0 0 0 34221 2 0 0 20 0 1 0 1284847 44445696 4959 33554432000 4194304 5970956 140732454036880 140732454034216 4969833 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4959 777 434 0 4215 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 43404

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4072
/proc/meminfo: memFree=32083852/32770624 swapFree=5804/159888
[pid=4065] ppid=4062 vsize=43404 CPUtime=402.22 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 22487 0 0 0 40220 2 0 0 20 0 1 0 1284847 44445696 4959 33554432000 4194304 5970956 140732454036880 140732454034216 4998641 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4959 777 434 0 4215 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 43404

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4080
/proc/meminfo: memFree=32083436/32770624 swapFree=5804/159924
[pid=4065] ppid=4062 vsize=43404 CPUtime=462.22 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 23017 0 0 0 46220 2 0 0 20 0 1 0 1284847 44445696 4961 33554432000 4194304 5970956 140732454036880 140732454034216 4974816 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4961 777 434 0 4215 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 43404

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4081
/proc/meminfo: memFree=32083728/32770624 swapFree=5804/159964
[pid=4065] ppid=4062 vsize=43404 CPUtime=522.21 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 23520 0 0 0 52219 2 0 0 20 0 1 0 1284847 44445696 4961 33554432000 4194304 5970956 140732454036880 140732454034216 4978190 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4961 777 434 0 4215 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 43404

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4148
/proc/meminfo: memFree=31876956/32770624 swapFree=5804/160076
[pid=4065] ppid=4062 vsize=43404 CPUtime=582.2 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 24026 0 0 0 58218 2 0 0 20 0 1 0 1284847 44445696 4961 33554432000 4194304 5970956 140732454036880 140732454034216 4974468 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4961 777 434 0 4215 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 43404


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4171
/proc/meminfo: memFree=31873724/32770624 swapFree=5804/160688
[pid=4065] ppid=4062 vsize=43404 CPUtime=1482.08 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 31443 0 0 0 148205 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5098912 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 43404

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4173
/proc/meminfo: memFree=31872192/32770624 swapFree=5804/160716
[pid=4065] ppid=4062 vsize=43404 CPUtime=1542.07 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 31938 0 0 0 154204 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998323 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 43404

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4174
/proc/meminfo: memFree=31872224/32770624 swapFree=5804/160776
[pid=4065] ppid=4062 vsize=43404 CPUtime=1602.06 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 32382 0 0 0 160203 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5337513 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 43404

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 4183
/proc/meminfo: memFree=31872936/32770624 swapFree=5804/160820
[pid=4065] ppid=4062 vsize=43404 CPUtime=1662.05 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 32779 0 0 0 166202 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 43404

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 4184
/proc/meminfo: memFree=31872824/32770624 swapFree=5804/160852
[pid=4065] ppid=4062 vsize=43404 CPUtime=1722.04 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 33289 0 0 0 172201 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5324521 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 43404

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4185
/proc/meminfo: memFree=31872512/32770624 swapFree=5804/160872
[pid=4065] ppid=4062 vsize=43404 CPUtime=1782.03 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 33754 0 0 0 178200 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 43404

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4186
/proc/meminfo: memFree=31873644/32770624 swapFree=5804/160908
[pid=4065] ppid=4062 vsize=43404 CPUtime=1842.02 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 34262 0 0 0 184199 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998274 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 43404

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4187
/proc/meminfo: memFree=31872708/32770624 swapFree=5804/160968
[pid=4065] ppid=4062 vsize=43404 CPUtime=1902.02 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 34713 0 0 0 190199 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998244 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 43404

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4188
/proc/meminfo: memFree=31872600/32770624 swapFree=5804/161004
[pid=4065] ppid=4062 vsize=43404 CPUtime=1962.01 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 35244 0 0 0 196198 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 43404

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4189
/proc/meminfo: memFree=31872296/32770624 swapFree=5804/161016
[pid=4065] ppid=4062 vsize=43404 CPUtime=2022 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 35656 0 0 0 202197 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5337472 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 43404

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4190
/proc/meminfo: memFree=31872840/32770624 swapFree=5804/161080
[pid=4065] ppid=4062 vsize=43404 CPUtime=2082 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 36237 0 0 0 208197 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5327993 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 43404

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4191
/proc/meminfo: memFree=31872324/32770624 swapFree=5804/161112
[pid=4065] ppid=4062 vsize=43404 CPUtime=2141.98 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 36727 0 0 0 214195 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5098910 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 43404

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4192
/proc/meminfo: memFree=31872376/32770624 swapFree=5804/161132
[pid=4065] ppid=4062 vsize=43404 CPUtime=2201.98 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 37212 0 0 0 220195 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998306 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 43404

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4201
/proc/meminfo: memFree=31872516/32770624 swapFree=5804/161180
[pid=4065] ppid=4062 vsize=43404 CPUtime=2261.96 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 37734 0 0 0 226193 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998206 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 43404

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4202
/proc/meminfo: memFree=31872280/32770624 swapFree=5804/161216
[pid=4065] ppid=4062 vsize=43404 CPUtime=2321.96 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 38170 0 0 0 232193 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4998652 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 43404

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/244 4203
/proc/meminfo: memFree=31872340/32770624 swapFree=5804/161248
[pid=4065] ppid=4062 vsize=43404 CPUtime=2381.95 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 38556 0 0 0 238192 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 5093256 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 43404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 4203
/proc/meminfo: memFree=31872760/32770624 swapFree=5804/161272
[pid=4065] ppid=4062 vsize=43404 CPUtime=2400.05 cores=0-3,8-11
/proc/4065/stat : 4065 (cosoco) R 4062 4065 2454 0 -1 4202496 38996 0 0 0 240002 3 0 0 20 0 1 0 1284847 44445696 4981 33554432000 4194304 5970956 140732454036880 140732454034216 4977769 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 24748032 140732454040769 140732454040899 140732454040899 140732454043598 0
/proc/4065/statm: 10851 4981 777 434 0 4215 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 43404

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4065 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.05
CPU user time (s): 2400.02
CPU system time (s): 0.031995
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 43404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.031995
maximum resident set size= 19968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39024
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= 19
involuntary context switches= 120671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73904 second user time and 10.3142 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-21 20:03:15
IDJOB=4242265
IDBENCH=133836
IDSOLVER=2620
FILE ID=node144/4242265-1500660195
RUNJOBID= node144-1500648174-2485
PBS_JOBID= 20623277
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-28.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242265-1500660195/watcher-4242265-1500660195 -o /tmp/evaluation-result-4242265-1500660195/solver-4242265-1500660195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2485 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242265-1500660195.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3acdfa33911068ba5b02b5d01ed992db
RANDOM SEED=771942285

node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32100980 kB
MemAvailable:   32032592 kB
Buffers:           27164 kB
Cached:           216996 kB
SwapCached:            0 kB
Active:           129432 kB
Inactive:         168152 kB
Active(anon):      55860 kB
Inactive(anon):     8696 kB
Active(file):      73572 kB
Inactive(file):   159456 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2328 kB
Writeback:             0 kB
AnonPages:         58548 kB
Mapped:            30700 kB
Shmem:              8844 kB
Slab:              60748 kB
SReclaimable:      28836 kB
SUnreclaim:        31912 kB
KernelStack:        4208 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     327780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 62012 MiB
End job on node144 at 2017-07-21 20:43:16