Trace number 4268338

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) 2519.78 2520.0801

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-09-4-8_X2.xml
MD5SUM7569ed29bb8e55ca39905d478d33da7a
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 variables6768
Number of constraints36568
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6768}]
Minimum variable degree9
Maximum variable degree33
Distribution of variable degrees[{"degree":9,"count":4464},{"degree":33,"count":2304}]
Minimum constraint arity3
Maximum constraint arity32
Distribution of constraint arities[{"arity":3,"count":35712},{"arity":8,"count":288},{"arity":9,"count":496},{"arity":32,"count":72}]
Number of extensional constraints0
Number of intensional constraints35712
Distribution of constraint types[{"type":"intension","count":35712},{"type":"sum","count":856}]
Optimization problemNO
Type of objective

Solver Data 

40.48/40.69	c root propagations     : 0           
40.48/40.69	c restarts enabled, print stats at every restarts
40.48/40.69	c
40.48/40.69	c
40.48/40.69	c
40.48/40.69	c This is cosoco 1.12 --  
40.48/40.69	c
40.48/40.69	c command line: cosoco -lc -model -restarts HOME/instance-4268338-1502530198.xml 
40.48/40.69	c ========================================[ Problem Statistics ]===========================================
40.48/40.69	c |                                                                                                       
40.48/40.69	c |  Parse time        :        39.75 s 
40.48/40.69	c |
40.48/40.69	c |               Variables: 6768
40.48/40.69	c |            Domain Sizes: 2..2
40.48/40.69	c |
40.48/40.69	c |             Constraints: 36568
40.48/40.69	c |                   Arity: 3..32  -- Ternary: 35712
40.48/40.69	c | 
40.48/40.69	c |                   Types: 
40.48/40.69	c |                          Intension: 35712
40.48/40.69	c |                          Sum: 856
40.48/40.69	c |                          
40.48/40.69	c =========================================================================================================
40.48/40.69	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
41.08/41.21	c 101            7446           371184         82675          0              0              4436   4521   4420
41.28/41.45	c 211            9439           495965         91025          0              0              1445   1573   1462
41.48/41.64	c 332            10259          658001         105224         0              0              320   359   324
41.69/41.85	c 465            11543          814806         118275         0              0              124   495   410
41.88/42.09	c 611            13150          980274         130856         0              0              169   1045   925
42.28/42.43	c 771            15491          1208341        147969         0              0              261   1253   1105
42.58/42.77	c 947            18104          1424668        164450         0              0              177   1660   1090
42.98/43.18	c 1140           20520          1721993        184541         0              0              228   1811   1580
43.69/43.82	c 1352           23885          2239437        226288         0              0              311   1764   1564
44.09/44.21	c 1585           26573          2499457        245644         0              0              392   1851   1579
44.59/44.78	c 1841           30147          2947207        281946         0              0              429   1831   1303
45.09/45.22	c 2122           33544          3251837        303569         0              0              360   2118   1582
46.09/46.24	c 2431           38847          4024634        367704         0              0              366   1283   1041
46.89/47.06	c 2770           44406          4655057        416502         0              0              165   2171   1167
47.58/47.79	c 3142           51438          5155974        451859         0              0              601   1952   1472
48.48/48.65	c 3551           56693          5858127        505128         0              0              259   1415   1128
49.28/49.46	c 4000           61733          6513832        559800         0              0              240   1237   1077
50.49/50.64	c 4493           69875          7470427        631867         0              0              251   2759   1191
51.48/51.64	c 5035           78392          8166169        683999         0              0              403   2922   1365
52.69/52.85	c 5631           87330          9126580        761484         0              0              467   2458   1226
54.08/54.23	c 6286           96365          10383347       856567         0              0              370   1319   1124
55.79/55.93	c 7006           108256         11768160       969226         0              0              352   3300   1457
57.58/57.75	c 7798           115636         13497672       1114840        0              0              412   491   451
58.88/59.01	c 8669           127969         14467113       1190150        0              0              131   2421   1800
60.49/60.66	c 9627           142489         15742301       1285489        0              0              195   3338   1869
62.28/62.45	c 10680          156856         17174352       1397070        0              0              229   1884   1484
65.18/65.32	c 11838          175669         19353481       1570583        0              0              456   1373   1169
67.28/67.49	c 13111          188680         21266825       1736017        0              0              353   1462   886
69.98/70.15	c 14511          203723         23621179       1941934        0              0              255   1549   1126
74.18/74.35	c 16051          229466         27013258       2217826        0              0              182   1421   1235
77.99/78.15	c 17745          255516         29972388       2456731        0              0              468   1356   1183
81.98/82.16	c 19608          281820         33372960       2714452        0              0              253   1281   1118
85.58/85.75	c 21657          310379         36290628       2947812        0              0              250   1916   1444
90.68/90.82	c 23910          346416         40143393       3253926        0              0              281   1395   1173
94.49/94.67	c 26388          380200         43142760       3496339        0              0              500   2407   1713
100.09/100.24	c 29113          418618         47927012       3864476        0              0              490   1867   1295
104.98/105.16	c 32110          456846         51942289       4173598        0              0              137   1554   1291
111.38/111.52	c 35406          515471         56384632       4518284        0              0              187   1940   1394
118.38/118.53	c 39031          563759         62564911       4958898        0              0              213   1523   1384
126.68/126.80	c 43018          624788         69888311       5520369        0              0              529   1681   1597
136.78/136.91	c 47403          694015         77983768       6153328        0              0              523   1490   1126
155.18/155.35	c 52226          790631         93600846       7401232        0              0              411   1424   558
166.18/166.35	c 57531          871289         102728462      8130892        0              0              291   1951   1427
183.18/183.32	c 63366          965946         116827368      9255391        0              0              303   1602   1386
200.98/201.12	c 69784          1029746        134640758      10929143       0              0              250   553   494
213.28/213.47	c 76843          1120619        144775608      11799220       0              0              84   1843   1341
229.98/230.12	c 84607          1209753        159453921      13006985       0              0              79   1748   1610
248.77/248.95	c 93147          1353590        174130651      14157958       0              0              82   1768   1553
262.57/262.72	c 102541         1457264        185679162      15103393       0              0              81   1837   1690
281.07/281.25	c 112874         1591043        200993442      16331028       0              0              179   1786   1639
306.27/306.41	c 124240         1744617        223211410      18128394       0              0              234   1643   1499
333.06/333.24	c 136742         1918443        247094434      20023665       0              0              322   1729   1496
357.06/357.22	c 150494         2073138        268016007      21825691       0              0              355   1614   1444
384.17/384.33	c 165621         2248606        292436835      23848318       0              0              303   1674   1612
418.86/419.04	c 182260         2524411        319382697      26064345       0              0              223   2147   1614
471.56/471.70	c 200562         2794490        363116936      29850511       0              0              233   1694   1527
512.96/513.16	c 220694         3001261        402076146      33588536       0              0              313   1093   903
579.06/579.28	c 242839         3387598        455413701      37749873       0              0              69   1658   1335
634.56/634.75	c 267198         3773762        499790098      41262529       0              0              71   1379   1102
687.95/688.16	c 293992         4248437        540400978      44508737       0              0              71   1947   1650
734.94/735.18	c 323465         4589760        581508928      47759722       0              0              72   1843   1739
808.74/808.90	c 355885         5092690        643063094      52597251       0              0              72   1724   1562
893.74/893.90	c 391547         5474998        721574119      59669148       0              0              76   1323   1082
967.84/968.05	c 430775         6016153        781828483      64439399       0              0              105   1811   1589
1056.02/1056.26	c 473925         6614933        857449523      70567166       0              0              110   1732   1355
1146.72/1146.90	c 521390         7214981        934692899      77035977       0              0              121   1702   1459
1249.82/1250.00	c 573601         7928136        1025775906     84294445       0              0              192   1783   1249
1370.81/1371.07	c 631033         8869419        1121434661     91775977       0              0              80   2348   1232
1521.40/1521.61	c 694208         9879338        1258587656     101935051      0              0              81   1676   1400
1729.49/1729.71	c 763700         10952754       1435464652     117223139      0              0              86   1450   1271
1884.78/1885.07	c 840141         12110279       1562599089     127495102      0              0              172   1886   1599
2043.97/2044.24	c 924226         13131540       1699361659     138853575      0              0              172   1740   1623
2270.24/2270.58	c 1016719        14238437       1912030779     157291057      0              0              543   1426   1254
2519.70/2520.00	
2519.70/2520.00	c *** INTERRUPTED ***
2519.70/2520.00	c restarts              : 73          
2519.70/2520.00	c conflicts             : 1114837      (443 /sec)
2519.70/2520.00	c decisions             : 15526533     (6166 /sec)
2519.70/2520.00	c propagations          : 179034007   (71104 /sec)
2519.70/2520.00	c root propagations     : 0           
2519.70/2520.00	c filter calls          : 2152347313     (854814 /sec)
2519.70/2520.00	c useless filter calls  : 2091148091     (97 %)
2519.70/2520.00	c Memory used           : 2076.86 MB
2519.70/2520.00	c CPU time              : 2517.91 s
2519.70/2520.00	
2519.70/2520.00	s UNKNOWN

Verifier Data


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-4268338-1502530198/watcher-4268338-1502530198 -o /tmp/evaluation-result-4268338-1502530198/solver-4268338-1502530198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268338-1502530198.xml 

pid=13223
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 13226
/proc/meminfo: memFree=16172192/32770624 swapFree=0/560456
[pid=13226] ppid=13223 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13226/stat : 13226 (runsolver) D 13223 13226 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55213231 24240128 106 18446744073709551615 4194304 4338465 140727763372464 140727763370104 140458787152599 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29544448 140727763374274 140727763374665 140727763374665 140727763378122 0
/proc/13226/statm: 5918 106 53 36 0 2156 0

[startup+0.100159 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 13226
/proc/meminfo: memFree=16172192/32770624 swapFree=0/560456
[pid=13226] ppid=13223 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13226/stat : 13226 (runsolver) D 13223 13226 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55213231 24240128 106 18446744073709551615 4194304 4338465 140727763372464 140727763370104 140458787152599 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29544448 140727763374274 140727763374665 140727763374665 140727763378122 0
/proc/13226/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200328 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 13226
/proc/meminfo: memFree=16172192/32770624 swapFree=0/560456
[pid=13226] ppid=13223 vsize=55244 CPUtime=0.09 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 8053 0 0 0 8 1 0 0 20 0 1 0 55213231 56569856 7853 18446744073709551615 4194304 5972588 140721299906048 140721299902696 139642244512768 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 13811 7853 744 435 0 7174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55244

[startup+0.30034 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 13226
/proc/meminfo: memFree=16172192/32770624 swapFree=0/560456
[pid=13226] ppid=13223 vsize=56316 CPUtime=0.19 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 8316 0 0 0 18 1 0 0 20 0 1 0 55213231 57667584 8117 18446744073709551615 4194304 5972588 140721299906048 140721299902696 139642244074469 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 14079 8117 744 435 0 7442 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56316

[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 13226
/proc/meminfo: memFree=16172192/32770624 swapFree=0/560456
[pid=13226] ppid=13223 vsize=60584 CPUtime=0.59 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 9553 0 0 0 58 1 0 0 20 0 1 0 55213231 62038016 9204 18446744073709551615 4194304 5972588 140721299906048 140721299902616 139642244074469 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 15146 9204 744 435 0 8509 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 60584

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13227
/proc/meminfo: memFree=16121252/32770624 swapFree=0/560200
[pid=13226] ppid=13223 vsize=98236 CPUtime=1.39 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 19060 0 0 0 137 2 0 0 20 0 1 0 55213231 100593664 18422 18446744073709551615 4194304 5972588 140721299906048 140721299902616 139642244122528 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 24559 18422 797 435 0 17922 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 98236

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13227
/proc/meminfo: memFree=16067312/32770624 swapFree=0/560200
[pid=13226] ppid=13223 vsize=176792 CPUtime=2.99 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 39245 0 0 0 294 5 0 0 20 0 1 0 55213231 181035008 38059 18446744073709551615 4194304 5972588 140721299906048 140721299902616 139642253419750 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 44198 38059 797 435 0 37561 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 176792

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13227
/proc/meminfo: memFree=15904196/32770624 swapFree=0/560200
[pid=13226] ppid=13223 vsize=333916 CPUtime=6.18 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 80108 0 0 0 608 10 0 0 20 0 1 0 55213231 341929984 77330 18446744073709551615 4194304 5972588 140721299906048 140721299899448 139642244122528 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 83479 77330 797 435 0 76842 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 333916

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13227
/proc/meminfo: memFree=15577468/32770624 swapFree=0/560200
[pid=13226] ppid=13223 vsize=648256 CPUtime=12.59 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 159955 0 0 0 1238 21 0 0 20 0 1 0 55213231 663814144 155943 18446744073709551615 4194304 5972588 140721299906048 140721299899448 139642244122528 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 162064 155943 797 435 0 155427 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 648256

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13227
/proc/meminfo: memFree=14927784/32770624 swapFree=0/560220
[pid=13226] ppid=13223 vsize=1277304 CPUtime=25.39 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 318334 0 0 0 2498 41 0 0 20 0 1 0 55213231 1307959296 313232 18446744073709551615 4194304 5972588 140721299906048 140721299899544 139642244122528 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 319326 313232 797 435 0 312689 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 1277304

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13228
/proc/meminfo: memFree=14080752/32770624 swapFree=0/560420
[pid=13226] ppid=13223 vsize=2113340 CPUtime=50.98 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 553935 0 0 0 5028 70 0 0 20 0 1 0 55213231 2164060160 521993 18446744073709551615 4194304 5972588 140721299906048 140721299902856 4909657 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 528335 521993 830 435 0 521698 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 2113340

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13229
/proc/meminfo: memFree=14067228/32770624 swapFree=0/560436
[pid=13226] ppid=13223 vsize=2126704 CPUtime=102.18 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 603356 0 0 0 10144 74 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5071411 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 2126704

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13231
/proc/meminfo: memFree=14066376/32770624 swapFree=0/560452
[pid=13226] ppid=13223 vsize=2126704 CPUtime=162.17 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 649624 0 0 0 16140 77 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5338196 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 2126704

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13233
/proc/meminfo: memFree=14066016/32770624 swapFree=0/560460
[pid=13226] ppid=13223 vsize=2126704 CPUtime=222.18 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 697684 0 0 0 22138 80 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5070897 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 2126704

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 13249
/proc/meminfo: memFree=14062572/32770624 swapFree=0/560476
[pid=13226] ppid=13223 vsize=2126704 CPUtime=282.17 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 745249 0 0 0 28133 84 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5071376 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 2126704

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 13251
/proc/meminfo: memFree=14062500/32770624 swapFree=0/560484
[pid=13226] ppid=13223 vsize=2126704 CPUtime=342.17 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 789475 0 0 0 34131 86 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5053097 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 2126704

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13253
/proc/meminfo: memFree=14066580/32770624 swapFree=0/560504
[pid=13226] ppid=13223 vsize=2126704 CPUtime=402.16 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 833699 0 0 0 40127 89 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4966031 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2126704

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13255
/proc/meminfo: memFree=14066692/32770624 swapFree=0/560520
[pid=13226] ppid=13223 vsize=2126704 CPUtime=462.17 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 873164 0 0 0 46125 92 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4909158 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 2126704

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13257
/proc/meminfo: memFree=14066940/32770624 swapFree=0/560540
[pid=13226] ppid=13223 vsize=2126704 CPUtime=522.15 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 921049 0 0 0 52120 95 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5070897 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2126704

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 13260
/proc/meminfo: memFree=14066708/32770624 swapFree=0/560560
[pid=13226] ppid=13223 vsize=2126704 CPUtime=582.16 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 965600 0 0 0 58116 100 0 0 20 0 1 0 55213231 2177744896 525278 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5338177 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525278 830 435 0 525039 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2126704


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13325
/proc/meminfo: memFree=14067044/32770624 swapFree=0/560736
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1602.1 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1660252 0 0 0 160065 145 0 0 20 0 1 0 55213231 2177744896 525295 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4968815 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525295 830 435 0 525039 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 2126704

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 13328
/proc/meminfo: memFree=14066800/32770624 swapFree=0/560748
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1662.1 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1692523 0 0 0 166063 147 0 0 20 0 1 0 55213231 2177744896 525295 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4909594 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525295 830 435 0 525039 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 2126704

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 13330
/proc/meminfo: memFree=14066420/32770624 swapFree=0/560756
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1722.09 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1721741 0 0 0 172061 148 0 0 20 0 1 0 55213231 2177744896 525295 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4965339 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525295 830 435 0 525039 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 2126704

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 13332
/proc/meminfo: memFree=14066052/32770624 swapFree=0/560772
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1782.09 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1770208 0 0 0 178057 152 0 0 20 0 1 0 55213231 2177744896 525295 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4966031 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525295 830 435 0 525039 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 2126704

[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 13334
/proc/meminfo: memFree=14066700/32770624 swapFree=0/560784
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1842.09 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1806273 0 0 0 184055 154 0 0 20 0 1 0 55213231 2177744896 525295 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5312304 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525295 830 435 0 525039 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 2126704

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13336
/proc/meminfo: memFree=14066744/32770624 swapFree=0/560796
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1902.09 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1853024 0 0 0 190052 157 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4909226 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 2126704

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13338
/proc/meminfo: memFree=14066484/32770624 swapFree=0/560808
[pid=13226] ppid=13223 vsize=2126704 CPUtime=1962.08 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1884672 0 0 0 196049 159 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4965342 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 2126704

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13340
/proc/meminfo: memFree=14067280/32770624 swapFree=0/560824
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2022.08 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1922523 0 0 0 202046 162 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5071104 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 2126704

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 13416
/proc/meminfo: memFree=28320152/32770624 swapFree=0/560968
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2082.06 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1960748 0 0 0 208042 164 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5070704 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 2126704

[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 13418
/proc/meminfo: memFree=28309044/32770624 swapFree=0/561016
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2142.06 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 1990168 0 0 0 214040 166 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5338144 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 2126704

[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 13420
/proc/meminfo: memFree=28307880/32770624 swapFree=0/561036
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2202.05 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2018288 0 0 0 220037 168 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4965365 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 2126704

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 13422
/proc/meminfo: memFree=28308096/32770624 swapFree=0/561040
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2262.03 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2042563 0 0 0 226033 170 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4962170 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 2126704

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13424
/proc/meminfo: memFree=28308400/32770624 swapFree=0/561060
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2322.03 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2080921 0 0 0 232030 173 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5338173 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 2126704

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13427
/proc/meminfo: memFree=28308016/32770624 swapFree=0/561056
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2382.01 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2104629 0 0 0 238027 174 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 4909616 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2382.01
Current children cumulated vsize (KiB) 2126704

[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 13429
/proc/meminfo: memFree=28308204/32770624 swapFree=0/561068
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2442.02 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2128670 0 0 0 244025 177 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5071408 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2442.02
Current children cumulated vsize (KiB) 2126704

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13431
/proc/meminfo: memFree=28308200/32770624 swapFree=0/561080
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2502 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2149122 0 0 0 250023 177 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5070704 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2502
Current children cumulated vsize (KiB) 2126704



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13433
/proc/meminfo: memFree=28308772/32770624 swapFree=0/561088
[pid=13226] ppid=13223 vsize=2126704 CPUtime=2519.7 cores=1,3,5,7
/proc/13226/stat : 13226 (cosoco) R 13223 13226 6677 0 -1 4202496 2158013 0 0 0 251791 179 0 0 20 0 1 0 55213231 2177744896 525301 18446744073709551615 4194304 5972588 140721299906048 140721299903352 5053094 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 16793600 140721299911150 140721299911245 140721299911245 140721299914702 0
/proc/13226/statm: 531676 525301 830 435 0 525039 0
Current children cumulated CPU time (s) 2519.7
Current children cumulated vsize (KiB) 2126704

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 13226 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.08
CPU time (s): 2519.78
CPU user time (s): 2517.91
CPU system time (s): 1.8659
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 2126704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 1.8659
maximum resident set size= 2101268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2158066
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= 138
involuntary context switches= 1592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12914 second user time and 11.1561 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-12 11:15:51
IDJOB=4268338
IDBENCH=126714
IDSOLVER=2658
FILE ID=node127/4268338-1502530198
RUNJOBID= node127-1502500309-6741
PBS_JOBID= 
Free space on /tmp= 61964 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-09-4-8_X2.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268338-1502530198/watcher-4268338-1502530198 -o /tmp/evaluation-result-4268338-1502530198/solver-4268338-1502530198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268338-1502530198.xml

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

MD5SUM BENCH= 7569ed29bb8e55ca39905d478d33da7a
RANDOM SEED=1289897872

node127.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.92
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.92
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.92
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.92
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:        16172780 kB
MemAvailable:   17040588 kB
Buffers:          270032 kB
Cached:           886812 kB
SwapCached:            0 kB
Active:         15559860 kB
Inactive:         585364 kB
Active(anon):   14988724 kB
Inactive(anon):    24908 kB
Active(file):     571136 kB
Inactive(file):   560456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:      14908184 kB
Mapped:            46144 kB
Shmem:             25252 kB
Slab:             129360 kB
SReclaimable:     104100 kB
SUnreclaim:        25260 kB
KernelStack:        3264 kB
PageTables:        33796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   15256704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12828672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-12 11:57:51