Trace number 4241278

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.02 2401.41

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 

39.28/39.40	c root propagations     : 0           
39.28/39.40	c restarts enabled, print stats at every restarts
39.28/39.40	c
39.28/39.40	c
39.28/39.40	c
39.28/39.40	c This is cosoco 1.0 --  
39.28/39.40	c
39.28/39.40	c ========================================[ Problem Statistics ]===========================================
39.28/39.40	c |                                                                                                       
39.28/39.40	c |  Parse time        :        38.56 s 
39.28/39.40	c |
39.28/39.40	c |               Variables: 6768
39.28/39.40	c |            Domain Sizes: 2..2
39.28/39.40	c |
39.28/39.40	c |             Constraints: 36568
39.28/39.40	c |                   Arity: 3..32  -- Ternary: 35712
39.28/39.40	c | 
39.28/39.40	c |                   Types: 
39.28/39.40	c |                          Intension: 35712
39.28/39.40	c |                          Sum: 856
39.28/39.40	c |                          
39.28/39.40	c =========================================================================================================
39.28/39.40	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
39.78/39.89	c 101            7446           371184         82675          0              0              4436   4521   4420
40.08/40.13	c 211            9439           495965         91025          0              0              1445   1573   1462
40.28/40.31	c 332            10259          658001         105224         0              0              320   359   324
40.48/40.52	c 465            11543          814806         118275         0              0              124   495   410
40.68/40.75	c 611            13150          980274         130856         0              0              169   1045   925
40.98/41.09	c 771            15491          1208341        147969         0              0              261   1253   1105
41.38/41.43	c 947            18104          1424668        164450         0              0              177   1660   1090
41.78/41.84	c 1140           20520          1721993        184541         0              0              228   1811   1580
42.38/42.46	c 1352           23885          2239437        226288         0              0              311   1764   1564
42.78/42.85	c 1585           26573          2499457        245644         0              0              392   1851   1579
43.37/43.41	c 1841           30147          2947207        281946         0              0              429   1831   1303
43.78/43.86	c 2122           33544          3251837        303569         0              0              360   2118   1582
44.78/44.86	c 2431           38847          4024634        367704         0              0              366   1283   1041
45.58/45.66	c 2770           44406          4655057        416502         0              0              165   2171   1167
46.29/46.39	c 3142           51438          5155974        451859         0              0              601   1952   1472
47.18/47.23	c 3551           56693          5858127        505128         0              0              259   1415   1128
47.98/48.02	c 4000           61733          6513832        559800         0              0              240   1237   1077
49.08/49.17	c 4493           69875          7470427        631867         0              0              251   2759   1191
50.08/50.17	c 5035           78392          8166169        683999         0              0              403   2922   1365
51.28/51.37	c 5631           87330          9126580        761484         0              0              467   2458   1226
52.68/52.74	c 6286           96365          10383347       856567         0              0              370   1319   1124
54.37/54.40	c 7006           108256         11768160       969226         0              0              352   3300   1457
56.18/56.21	c 7798           115636         13497672       1114840        0              0              412   491   451
57.37/57.46	c 8669           127969         14467113       1190150        0              0              131   2421   1800
58.97/59.10	c 9627           142489         15742301       1285489        0              0              195   3338   1869
60.77/60.84	c 10680          156856         17174352       1397070        0              0              229   1884   1484
63.57/63.64	c 11838          175669         19353481       1570583        0              0              456   1373   1169
65.67/65.74	c 13111          188680         21266825       1736017        0              0              353   1462   886
68.27/68.32	c 14511          203723         23621179       1941934        0              0              255   1549   1126
72.37/72.41	c 16051          229466         27013258       2217826        0              0              182   1421   1235
76.06/76.11	c 17745          255516         29972388       2456731        0              0              468   1356   1183
79.96/80.01	c 19608          281820         33372960       2714452        0              0              253   1281   1118
83.46/83.52	c 21657          310379         36290628       2947812        0              0              250   1916   1444
88.36/88.46	c 23910          346416         40143393       3253926        0              0              281   1395   1173
92.15/92.24	c 26388          380200         43142760       3496339        0              0              500   2407   1713
97.55/97.65	c 29113          418618         47927012       3864476        0              0              490   1867   1295
102.36/102.43	c 32110          456846         51942289       4173598        0              0              137   1554   1291
108.55/108.64	c 35406          515471         56384632       4518284        0              0              187   1940   1394
115.34/115.44	c 39031          563759         62564911       4958898        0              0              213   1523   1384
123.34/123.45	c 43018          624788         69888311       5520369        0              0              529   1681   1597
133.23/133.30	c 47403          694015         77983768       6153328        0              0              523   1490   1126
151.13/151.22	c 52226          790631         93600846       7401232        0              0              411   1424   558
161.82/161.91	c 57531          871289         102728462      8130892        0              0              291   1951   1427
177.80/177.92	c 63366          965946         116827368      9255391        0              0              303   1602   1386
194.29/194.41	c 69784          1029746        134640758      10929143       0              0              250   553   494
205.49/205.70	c 76843          1120619        144775608      11799220       0              0              84   1843   1341
220.78/220.98	c 84607          1209753        159453921      13006985       0              0              79   1748   1610
237.97/238.13	c 93147          1353590        174130651      14157958       0              0              82   1768   1553
250.46/250.69	c 102541         1457264        185679162      15103393       0              0              81   1837   1690
267.35/267.54	c 112874         1591043        200993442      16331028       0              0              179   1786   1639
290.24/290.41	c 124240         1744617        223211410      18128394       0              0              234   1643   1499
314.52/314.78	c 136742         1918443        247094434      20023665       0              0              322   1729   1496
336.31/336.50	c 150494         2073138        268016007      21825691       0              0              355   1614   1444
360.79/361.02	c 165621         2248606        292436835      23848318       0              0              303   1674   1612
392.06/392.37	c 182260         2524411        319382697      26064345       0              0              223   2147   1614
440.03/440.37	c 200562         2794490        363116936      29850511       0              0              233   1694   1527
477.11/477.48	c 220694         3001261        402076146      33588536       0              0              313   1093   903
536.57/536.97	c 242839         3387598        455413701      37749873       0              0              69   1658   1335
585.82/586.20	c 267198         3773762        499790098      41262529       0              0              71   1379   1102
633.00/633.41	c 293992         4248437        540400978      44508737       0              0              71   1947   1650
674.47/674.99	c 323465         4589760        581508928      47759722       0              0              72   1843   1739
739.44/739.94	c 355885         5092690        643063094      52597251       0              0              72   1724   1562
814.49/815.05	c 391547         5474998        721574119      59669148       0              0              76   1323   1082
879.05/879.63	c 430775         6016153        781828483      64439399       0              0              105   1811   1589
955.59/956.27	c 473925         6614933        857449523      70567166       0              0              110   1732   1355
1034.05/1034.70	c 521390         7214981        934692899      77035977       0              0              121   1702   1459
1122.68/1123.49	c 573601         7928136        1025775906     84294445       0              0              192   1783   1249
1226.12/1226.99	c 631033         8869419        1121434661     91775977       0              0              80   2348   1232
1351.94/1352.86	c 694208         9879338        1258587656     101935051      0              0              81   1676   1400
1527.64/1528.64	c 763700         10952754       1435464652     117223139      0              0              86   1450   1271
1658.37/1659.46	c 840141         12110279       1562599089     127495102      0              0              172   1886   1599
1793.00/1794.20	c 924226         13131540       1699361659     138853575      0              0              172   1740   1623
1994.90/1996.14	c 1016719        14238437       1912030779     157291057      0              0              543   1426   1254
2232.58/2233.96	c 1118461        15583971       2163983950     180091847      0              0              102   1658   1562

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-4241278-1500630310/watcher-4241278-1500630310 -o /tmp/evaluation-result-4241278-1500630310/solver-4241278-1500630310 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500623778-3172 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241278-1500630310.xml 

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

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.03 2/186 5899
/proc/meminfo: memFree=29997628/32770624 swapFree=6204/1836952
[pid=5899] ppid=5896 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 973 0 0 0 0 0 0 0 20 0 1 0 16307232 27770880 802 33554432000 4194304 5970956 140721148199696 140721148196344 140353980156688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 6780 802 698 434 0 144 0

[startup+0.100167 s]
/proc/loadavg: 2.00 2.01 2.03 2/186 5899
/proc/meminfo: memFree=29997628/32770624 swapFree=6204/1836952
[pid=5899] ppid=5896 vsize=45908 CPUtime=0.08 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 5717 0 0 0 8 0 0 0 20 0 1 0 16307232 47009792 5534 33554432000 4194304 5970956 140721148199696 140721148193448 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 11477 5534 736 434 0 4841 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45908

[startup+0.200398 s]
/proc/loadavg: 2.00 2.01 2.03 2/186 5899
/proc/meminfo: memFree=29997628/32770624 swapFree=6204/1836952
[pid=5899] ppid=5896 vsize=55704 CPUtime=0.19 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 8158 0 0 0 18 1 0 0 20 0 1 0 16307232 57040896 7976 33554432000 4194304 5970956 140721148199696 140721148196296 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 13926 7976 736 434 0 7290 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55704

[startup+0.300335 s]
/proc/loadavg: 2.00 2.01 2.03 2/186 5899
/proc/meminfo: memFree=29997628/32770624 swapFree=6204/1836952
[pid=5899] ppid=5896 vsize=56908 CPUtime=0.29 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 8457 0 0 0 28 1 0 0 20 0 1 0 16307232 58273792 8202 33554432000 4194304 5970956 140721148199696 140721148196296 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 14227 8202 736 434 0 7591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56908

[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.03 2/186 5899
/proc/meminfo: memFree=29997628/32770624 swapFree=6204/1836952
[pid=5899] ppid=5896 vsize=61744 CPUtime=0.69 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 9847 0 0 0 68 1 0 0 20 0 1 0 16307232 63225856 9242 33554432000 4194304 5970956 140721148199696 140721148196296 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 15436 9242 736 434 0 8800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61744

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=29945408/32770624 swapFree=6204/1837016
[pid=5899] ppid=5896 vsize=100280 CPUtime=1.49 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 19575 0 0 0 146 3 0 0 20 0 1 0 16307232 102686720 18943 33554432000 4194304 5970956 140721148199696 140721148193128 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 25070 18943 791 434 0 18434 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100280

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=29888916/32770624 swapFree=6204/1837016
[pid=5899] ppid=5896 vsize=181572 CPUtime=3.09 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 40455 0 0 0 304 5 0 0 20 0 1 0 16307232 185929728 39217 33554432000 4194304 5970956 140721148199696 140721148193224 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 45393 39217 791 434 0 38757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181572

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=29721300/32770624 swapFree=6204/1837028
[pid=5899] ppid=5896 vsize=343892 CPUtime=6.29 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 82622 0 0 0 618 11 0 0 20 0 1 0 16307232 352145408 79814 33554432000 4194304 5970956 140721148199696 140721148193224 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 85973 79814 791 434 0 79337 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 343892

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=29385260/32770624 swapFree=6204/1837036
[pid=5899] ppid=5896 vsize=668752 CPUtime=12.69 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 165086 0 0 0 1246 23 0 0 20 0 1 0 16307232 684802048 161058 33554432000 4194304 5970956 140721148199696 140721148193224 4884784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 167188 161058 791 434 0 160552 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 668752

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=28713768/32770624 swapFree=6204/1837044
[pid=5899] ppid=5896 vsize=1318568 CPUtime=25.48 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 328582 0 0 0 2503 45 0 0 20 0 1 0 16307232 1350213632 323506 33554432000 4194304 5970956 140721148199696 140721148193224 140353970736101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 329642 323506 791 434 0 323006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318568

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5900
/proc/meminfo: memFree=27905572/32770624 swapFree=6204/1837060
[pid=5899] ppid=5896 vsize=2116112 CPUtime=51.08 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 554636 0 0 0 5038 70 0 0 20 0 1 0 16307232 2166898688 522699 33554432000 4194304 5970956 140721148199696 140721148197032 5098954 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 529028 522699 826 434 0 522392 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2116112

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/187 5901
/proc/meminfo: memFree=27895368/32770624 swapFree=6204/1837140
[pid=5899] ppid=5896 vsize=2126724 CPUtime=102.26 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 602877 0 0 0 10152 74 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 5069728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2126724

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/187 5902
/proc/meminfo: memFree=27895040/32770624 swapFree=6204/1837196
[pid=5899] ppid=5896 vsize=2126724 CPUtime=162.22 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 650945 0 0 0 16145 77 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 4908982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 2126724

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 5903
/proc/meminfo: memFree=27893684/32770624 swapFree=6204/1837256
[pid=5899] ppid=5896 vsize=2126724 CPUtime=222.18 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 694650 0 0 0 22139 79 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 4965168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 2126724

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 5967
/proc/meminfo: memFree=28056812/32770624 swapFree=6204/1837360
[pid=5899] ppid=5896 vsize=2126724 CPUtime=282.14 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 734109 0 0 0 28132 82 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 4964452 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 2126724

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 5976
/proc/meminfo: memFree=28056268/32770624 swapFree=6204/1837440
[pid=5899] ppid=5896 vsize=2126724 CPUtime=342.1 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 774585 0 0 0 34126 84 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 4967839 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 2126724

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/188 6159
/proc/meminfo: memFree=26769312/32770624 swapFree=6204/1837664
[pid=5899] ppid=5896 vsize=2126724 CPUtime=402.05 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 811443 0 0 0 40119 86 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 2126724

[startup+462.3 s]
/proc/loadavg: 2.16 2.06 2.05 3/188 6160
/proc/meminfo: memFree=26424392/32770624 swapFree=6204/1837748
[pid=5899] ppid=5896 vsize=2126724 CPUtime=462.02 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 841302 0 0 0 46114 88 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 5328066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 2126724

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 6161
/proc/meminfo: memFree=26424672/32770624 swapFree=6204/1837816
[pid=5899] ppid=5896 vsize=2126724 CPUtime=521.97 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 873206 0 0 0 52107 90 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 5052118 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 2126724

[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/188 6162
/proc/meminfo: memFree=26424680/32770624 swapFree=6204/1837880
[pid=5899] ppid=5896 vsize=2126724 CPUtime=581.93 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 903807 0 0 0 58101 92 0 0 20 0 1 0 16307232 2177765376 525269 33554432000 4194304 5970956 140721148199696 140721148197032 5337509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525269 826 434 0 525045 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 2126724


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6208
/proc/meminfo: memFree=26417136/32770624 swapFree=6204/1838476
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1481.36 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1190619 0 0 0 148023 113 0 0 20 0 1 0 16307232 2177765376 525830 33554432000 4194304 5970956 140721148199696 140721148197032 5070435 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525830 826 434 0 525045 0
Current children cumulated CPU time (s) 1481.36
Current children cumulated vsize (KiB) 2126724

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6216
/proc/meminfo: memFree=26419400/32770624 swapFree=6204/1838528
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1541.34 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1191931 0 0 0 154021 113 0 0 20 0 1 0 16307232 2177765376 525830 33554432000 4194304 5970956 140721148199696 140721148197032 4964477 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525830 826 434 0 525045 0
Current children cumulated CPU time (s) 1541.34
Current children cumulated vsize (KiB) 2126724

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6217
/proc/meminfo: memFree=26418240/32770624 swapFree=6204/1838568
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1601.3 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1193154 0 0 0 160017 113 0 0 20 0 1 0 16307232 2177765376 525830 33554432000 4194304 5970956 140721148199696 140721148197032 4908171 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525830 826 434 0 525045 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 2126724

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 6218
/proc/meminfo: memFree=26417564/32770624 swapFree=6204/1838596
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1661.27 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1194501 0 0 0 166014 113 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5039183 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1661.27
Current children cumulated vsize (KiB) 2126724

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6219
/proc/meminfo: memFree=26417648/32770624 swapFree=6204/1838636
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1721.24 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1195730 0 0 0 172011 113 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4964705 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1721.24
Current children cumulated vsize (KiB) 2126724

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6220
/proc/meminfo: memFree=26417412/32770624 swapFree=6204/1838672
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1781.21 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1196973 0 0 0 178008 113 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4908486 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 2126724

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6221
/proc/meminfo: memFree=26417604/32770624 swapFree=6204/1838700
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1841.17 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1198264 0 0 0 184004 113 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4964841 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1841.17
Current children cumulated vsize (KiB) 2126724

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6222
/proc/meminfo: memFree=26417952/32770624 swapFree=6204/1838728
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1901.14 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1199461 0 0 0 190001 113 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1901.14
Current children cumulated vsize (KiB) 2126724

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6223
/proc/meminfo: memFree=26416640/32770624 swapFree=6204/1838760
[pid=5899] ppid=5896 vsize=2126724 CPUtime=1961.12 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1200657 0 0 0 195998 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5070407 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 1961.12
Current children cumulated vsize (KiB) 2126724

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6224
/proc/meminfo: memFree=26417368/32770624 swapFree=6204/1838804
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2021.09 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1201964 0 0 0 201995 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4964452 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2021.09
Current children cumulated vsize (KiB) 2126724

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6225
/proc/meminfo: memFree=26417288/32770624 swapFree=6204/1838832
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2081.06 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1203172 0 0 0 207992 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5039178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2081.06
Current children cumulated vsize (KiB) 2126724

[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 6234
/proc/meminfo: memFree=26417340/32770624 swapFree=6204/1838868
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2141.02 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1204376 0 0 0 213988 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5052121 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2141.02
Current children cumulated vsize (KiB) 2126724

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 6235
/proc/meminfo: memFree=26417296/32770624 swapFree=6204/1838900
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2201 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1205576 0 0 0 219986 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 2126724

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 6236
/proc/meminfo: memFree=26416736/32770624 swapFree=6204/1838944
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2260.96 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1206888 0 0 0 225982 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5070435 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 2126724

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 6237
/proc/meminfo: memFree=26416820/32770624 swapFree=6204/1838980
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2320.93 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1208090 0 0 0 231979 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 2126724

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 6238
/proc/meminfo: memFree=26416756/32770624 swapFree=6204/1839012
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2380.9 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1209300 0 0 0 237976 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 4908308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2380.9
Current children cumulated vsize (KiB) 2126724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.41 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6239
/proc/meminfo: memFree=26417360/32770624 swapFree=6204/1839032
[pid=5899] ppid=5896 vsize=2126724 CPUtime=2400 cores=1,3,5,7
/proc/5899/stat : 5899 (cosoco) R 5896 5899 3140 0 -1 4202496 1209556 0 0 0 239886 114 0 0 20 0 1 0 16307232 2177765376 525835 33554432000 4194304 5970956 140721148199696 140721148197032 5337513 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23769088 140721148208321 140721148208451 140721148208451 140721148211150 0
/proc/5899/statm: 531681 525835 826 434 0 525045 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 2126724

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

Child status: 1
Real time (s): 2401.41
CPU time (s): 2400.02
CPU user time (s): 2398.87
CPU system time (s): 1.15242
CPU usage (%): 99.9419
Max. virtual memory (cumulated for all children) (KiB): 2126724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.87
system time used= 1.15242
maximum resident set size= 2103380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1209583
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= 364
involuntary context switches= 120683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67359 second user time and 9.91111 second system time

The end

Launcher Data 

Begin job on node128 at 2017-07-21 11:45:10
IDJOB=4241278
IDBENCH=126714
IDSOLVER=2620
FILE ID=node128/4241278-1500630310
RUNJOBID= node128-1500623778-3172
PBS_JOBID= 20623005
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-09-4-8_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241278-1500630310/watcher-4241278-1500630310 -o /tmp/evaluation-result-4241278-1500630310/solver-4241278-1500630310 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500623778-3172 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241278-1500630310.xml

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

MD5SUM BENCH= 7569ed29bb8e55ca39905d478d33da7a
RANDOM SEED=2125964108

node128.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	: 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.64
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	: 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		: 1600.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.64
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		: 1600.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.64
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		: 1733.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		: 1600.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.64
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		: 2400.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:        29998200 kB
MemAvailable:   31844488 kB
Buffers:          159624 kB
Cached:          1965176 kB
SwapCached:            0 kB
Active:           503608 kB
Inactive:        1846044 kB
Active(anon):     227424 kB
Inactive(anon):     8832 kB
Active(file):     276184 kB
Inactive(file):  1837212 kB
Unevictable:        6204 kB
Mlocked:            6204 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4172 kB
Writeback:             0 kB
AnonPages:        255248 kB
Mapped:            33804 kB
Shmem:              8852 kB
Slab:             122420 kB
SReclaimable:      97452 kB
SUnreclaim:        24968 kB
KernelStack:        3568 kB
PageTables:         5400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-07-21 12:25:11