Trace number 4268150

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.99 2520

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-028.xml
MD5SUM0d73506f0318cc77856f25ccca7d4c63
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 variables2352
Number of constraints789
Number of domains2
Minimum domain size28
Maximum domain size784
Distribution of domain sizes[{"size":28,"count":1568},{"size":784,"count":784}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":2296},{"degree":3,"count":56}]
Minimum constraint arity3
Maximum constraint arity784
Distribution of constraint arities[{"arity":3,"count":784},{"arity":28,"count":2},{"arity":784,"count":3}]
Number of extensional constraints784
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":784},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.02/0.18	c root propagations     : 27324       
0.02/0.18	c restarts enabled, print stats at every restarts
0.02/0.18	c
0.02/0.18	c
0.02/0.18	c
0.02/0.18	c This is cosoco 1.12 --  
0.02/0.18	c
0.02/0.18	c command line: cosoco -lc -model -restarts HOME/instance-4268150-1502538096.xml 
0.02/0.18	c ========================================[ Problem Statistics ]===========================================
0.02/0.18	c |                                                                                                       
0.02/0.18	c |  Parse time        :         0.04 s 
0.02/0.18	c |
0.02/0.18	c |               Variables: 2352
0.02/0.18	c |            Domain Sizes: 28..784
0.02/0.18	c |
0.02/0.18	c |             Constraints: 953
0.02/0.18	c |                   Arity: 1..784  -- Unary: 56  -- Ternary: 784
0.02/0.18	c | 
0.02/0.18	c |                   Types: 
0.02/0.18	c |                          All Different: 113
0.02/0.18	c |                          Extension: 784  (nb tuples: 784..784) -- (shared: 783)
0.02/0.18	c |                          Unary: 56
0.02/0.18	c |                          
0.02/0.18	c =========================================================================================================
0.02/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.12/0.25	c 101            389            7233           93235          948            0              233   289   253
0.51/0.68	c 211            1226           30037          366031         948            0              240   484   468
0.61/0.77	c 332            1479           34516          382180         948            0              133   133   131
0.72/0.84	c 465            1744           38155          396875         948            0              133   133   132
0.82/0.92	c 611            2025           41887          412350         948            0              136   136   135
0.92/1.00	c 771            2323           45736          428634         948            0              139   139   138
0.92/1.08	c 947            2640           49686          445705         948            0              142   142   141
1.02/1.16	c 1140           2977           53758          463588         948            0              145   145   144
1.12/1.25	c 1352           3336           57938          482267         948            0              148   148   147
1.22/1.34	c 1585           3719           62248          501764         948            0              151   151   150
1.32/1.43	c 1841           4128           66679          522067         948            0              154   154   153
1.42/1.53	c 2122           4565           71248          543194         948            0              157   157   156
1.52/1.63	c 2431           5066           75662          568720         948            0              181   193   187
1.62/1.74	c 2770           5603           81027          598483         948            0              193   199   194
1.72/1.85	c 3142           6179           86087          629876         948            0              202   205   202
1.82/1.98	c 3551           6798           91961          663560         948            0              208   211   208
2.02/2.10	c 4000           7466           97602          698963         948            0              214   220   215
2.32/2.44	c 4493           8450           112959         844079         948            0              262   432   358
2.52/2.62	c 5035           9304           122155         906660         948            0              307   313   308
3.92/4.04	c 5631           11156          192998         1561459        948            0              332   500   445
4.12/4.25	c 6286           12051          201764         1607391        948            0              238   241   238
4.32/4.46	c 7006           13014          210859         1652671        948            0              241   244   241
4.52/4.68	c 7798           14055          220276         1700320        948            0              247   250   247
4.82/4.92	c 8669           15181          230001         1749647        948            0              253   256   253
5.02/5.16	c 9627           16406          240165         1800123        948            0              262   268   263
5.32/5.41	c 10680          17735          250161         1852464        948            0              271   277   272
5.62/5.79	c 11838          19217          263336         1919897        948            0              283   325   295
6.12/6.22	c 13111          20886          279481         2008978        948            0              322   397   340
6.82/6.97	c 14511          22856          312493         2210769        948            0              383   457   412
7.72/7.84	c 16051          25186          353632         2530150        948            0              440   463   445
8.51/8.63	c 17745          27505          388151         2749802        948            0              399   464   442
9.11/9.28	c 19608          29905          412626         2902703        948            0              363   481   473
10.51/10.65	c 21657          33262          470558         3588478        948            0              493   504   495
11.11/11.20	c 23910          35903          489376         3703414        948            0              352   389   371
12.21/12.38	c 26388          39338          539454         4097340        948            0              371   421   410
13.31/13.43	c 29113          42613          581686         4335068        948            0              398   442   426
17.31/17.48	c 32110          49032          785560         6427682        948            0              412   481   449
18.41/18.52	c 35406          52964          818473         6627214        948            0              341   554   475
26.91/27.04	c 39031          60702          1238769        9109210        948            0              339   401   353
28.11/28.25	c 43018          65972          1287841        9631378        948            0              348   412   376
29.81/29.96	c 47403          71403          1350574        10092207       948            0              307   583   510
33.21/33.36	c 52226          79117          1517555        11534535       948            0              354   432   414
35.11/35.23	c 57531          85227          1570962        11821927       948            0              393   691   562
47.21/47.32	c 63366          100124         2197050        16961302       948            0              357   431   416
50.91/51.04	c 69784          110333         2383980        19366737       948            0              368   422   411
55.02/55.11	c 76843          119458         2565365        20239916       948            0              327   417   400
59.11/59.23	c 84607          129449         2754343        21375150       948            0              379   418   407
61.31/61.49	c 93147          140270         2860138        22601909       948            0              209   422   408
67.32/67.44	c 102541         152221         3093618        24030073       948            0              335   784   565
70.92/71.00	c 112874         164105         3224933        24993083       948            0              280   425   353
74.31/74.41	c 124240         176642         3306139        25432939       948            0              248   883   674
78.02/78.16	c 136742         190824         3407636        26250794       948            0              251   845   608
82.52/82.67	c 150494         206381         3519769        27044385       948            0              260   1043   796
86.41/86.50	c 165621         226638         3637508        29256565       948            0              265   583   429
91.71/91.86	c 182260         244906         3761563        29923462       948            0              276   1205   882
98.41/98.56	c 200562         266525         3951138        31536434       948            0              279   1450   1084
108.11/108.25	c 220694         294826         4376115        35178621       948            0              290   925   911
114.32/114.48	c 242839         327928         4683422        40158977       948            0              303   506   496
121.41/121.58	c 267198         355609         4881270        41704034       948            0              364   975   617
131.11/131.29	c 293992         388179         5222897        45213672       948            0              340   1430   943
139.11/139.21	c 323465         426855         5586999        49343274       948            0              298   487   475
153.81/153.91	c 355885         470251         6183537        54808887       948            0              373   1182   683
167.11/167.23	c 391547         516720         6677581        60883718       948            0              332   1251   942
184.01/184.18	c 430775         567372         7268175        69401177       948            0              1   1451   1191
198.61/198.76	c 473925         620486         7757920        74818280       948            0              323   1302   801
213.11/213.25	c 521390         673789         8290643        77323382       948            0              354   512   499
232.51/232.65	c 573601         742398         8959787        90481867       948            0              299   1425   1033
253.51/253.68	c 631033         817792         9720883        99516860       948            0              372   1069   835
269.01/269.13	c 694208         898185         10267869       107088617      948            0              404   601   588
311.21/311.31	c 763700         994355         11971982       127288511      948            0              468   1396   1164
335.12/335.28	c 840141         1085631        12839612       134873136      948            0              382   650   638
356.02/356.18	c 924226         1190225        13541441       142582686      948            0              328   605   592
381.82/381.95	c 1016719        1305156        14339616       151851668      948            0              326   951   905
413.12/413.23	c 1118461        1464781        15882227       177434246      948            0              419   703   688
442.13/442.29	c 1230377        1595408        16735796       186432997      948            0              326   1370   789
476.33/476.44	c 1353484        1751168        17836339       202047247      948            0              319   1056   791
514.92/515.05	c 1488901        1950069        19580002       228056813      948            0              339   594   582
560.72/560.89	c 1637859        2124025        21249150       238604477      948            0              486   555   542
612.32/612.49	c 1801712        2341065        23439549       262977377      948            0              292   697   610
674.23/674.40	c 1981950        2575952        25886199       289191163      948            0              359   636   572
727.33/727.48	c 2180211        2822230        27582196       310743083      948            0              404   916   697
798.23/798.32	c 2398298        3081473        30207855       330281175      948            0              512   629   571
862.14/862.25	c 2638193        3379201        32570562       355203025      948            0              417   673   607
955.74/955.80	c 2902077        3781334        36310970       415993751      948            0              345   1318   697
1063.65/1063.71	c 3192349        4152169        40390203       453632225      948            0              363   639   616
1208.95/1209.09	c 3511648        4674332        46234583       551151769      948            0              282   1533   1300
1295.75/1295.90	c 3862876        5115287        49411144       587747246      948            0              390   660   646
1418.95/1419.08	c 4249226        5579350        53868935       628433582      948            0              328   806   784
1545.95/1546.01	c 4674211        6135764        59059098       692975337      948            0              297   697   619
1716.25/1716.36	c 5141694        6776185        65633373       774904542      948            0              333   1130   878
1835.86/1835.97	c 5655925        7439041        70550448       830542043      948            0              372   489   478
1971.17/1971.28	c 6221579        8123654        75161719       883547569      948            0              233   665   644
2256.18/2256.29	c 6843798        8972635        86516240       1006761308     948            0              246   879   814
2487.58/2487.69	c 7528238        9792801        95258280       1070120416     948            0              337   656   575
2519.98/2520.00	
2519.98/2520.00	c *** INTERRUPTED ***
2519.98/2520.00	c restarts              : 94          
2519.98/2520.00	c conflicts             : 7675143      (3046 /sec)
2519.98/2520.00	c decisions             : 9962242      (3953 /sec)
2519.98/2520.00	c propagations          : 1079668148  (428451 /sec)
2519.98/2520.00	c root propagations     : 27324       
2519.98/2520.00	c filter calls          : 96262901       (38201 /sec)
2519.98/2520.00	c useless filter calls  : 77959011       (80 %)
2519.98/2520.00	c Memory used           : 72.18 MB
2519.98/2520.00	c CPU time              : 2519.93 s
2519.98/2520.00	
2519.98/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-4268150-1502538096/watcher-4268150-1502538096 -o /tmp/evaluation-result-4268150-1502538096/solver-4268150-1502538096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268150-1502538096.xml 

pid=1692
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.08 2.03 2.05 2/185 1695
/proc/meminfo: memFree=30971648/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1695/stat : 1695 (runsolver) D 1692 1695 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101315904 24240128 106 18446744073709551615 4194304 4338465 140734913448864 140734913446504 139698886861527 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15482880 140734913454273 140734913454665 140734913454665 140734913458122 0
/proc/1695/statm: 5918 106 53 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 1695
/proc/meminfo: memFree=30971648/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=34940 CPUtime=0.02 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 2967 0 0 0 2 0 0 0 20 0 1 0 101315904 35778560 2792 18446744073709551615 4194304 5972588 140726943144864 140726943141512 5471920 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 8735 2792 726 435 0 2098 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 34940

[startup+0.200334 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 1695
/proc/meminfo: memFree=30971648/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=53696 CPUtime=0.12 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 7697 0 0 0 12 0 0 0 20 0 1 0 101315904 54984704 7478 18446744073709551615 4194304 5972588 140726943144864 140726943141512 140155024243685 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 13424 7478 748 435 0 6787 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 53696

[startup+0.300345 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 1695
/proc/meminfo: memFree=30971648/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=54884 CPUtime=0.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 7985 0 0 0 22 0 0 0 20 0 1 0 101315904 56201216 7808 18446744073709551615 4194304 5972588 140726943144864 140726943141512 5328506 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 13721 7808 778 435 0 7084 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 54884

[startup+0.7003 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 1695
/proc/meminfo: memFree=30971648/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=58184 CPUtime=0.61 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 8826 0 0 0 61 0 0 0 20 0 1 0 101315904 59580416 8662 18446744073709551615 4194304 5972588 140726943144864 140726943141688 4978741 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 14546 8662 780 435 0 7909 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 58184

[startup+1.50033 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 1696
/proc/meminfo: memFree=30939184/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=58184 CPUtime=1.42 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 8826 0 0 0 141 1 0 0 20 0 1 0 101315904 59580416 8662 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4979179 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 14546 8662 780 435 0 7909 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 58184

[startup+3.10032 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 1696
/proc/meminfo: memFree=30939376/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=60956 CPUtime=3.02 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 13149 0 0 0 301 1 0 0 20 0 1 0 101315904 62418944 9346 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4975213 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 15239 9346 780 435 0 8602 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 60956

[startup+6.30031 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 1697
/proc/meminfo: memFree=30936524/32770624 swapFree=0/590420
[pid=1695] ppid=1692 vsize=60956 CPUtime=6.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 17402 0 0 0 621 1 0 0 20 0 1 0 101315904 62418944 9371 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5099648 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 15239 9371 780 435 0 8602 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 60956

[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 1697
/proc/meminfo: memFree=30935764/32770624 swapFree=0/590412
[pid=1695] ppid=1692 vsize=61768 CPUtime=12.61 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 22034 0 0 0 1260 1 0 0 20 0 1 0 101315904 63250432 9547 18446744073709551615 4194304 5972588 140726943144864 140726943141528 4975216 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 15442 9547 780 435 0 8805 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 61768

[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 1698
/proc/meminfo: memFree=30935328/32770624 swapFree=0/590408
[pid=1695] ppid=1692 vsize=62172 CPUtime=25.41 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 23511 0 0 0 2540 1 0 0 20 0 1 0 101315904 63664128 9640 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4979356 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 15543 9640 780 435 0 8906 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 62172

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1698
/proc/meminfo: memFree=30934588/32770624 swapFree=0/590404
[pid=1695] ppid=1692 vsize=62928 CPUtime=51.01 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 24560 0 0 0 5100 1 0 0 20 0 1 0 101315904 64438272 9835 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4935408 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 15732 9835 780 435 0 9095 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 62928

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1700
/proc/meminfo: memFree=30925428/32770624 swapFree=0/590448
[pid=1695] ppid=1692 vsize=72024 CPUtime=102.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 28239 0 0 0 10220 2 0 0 20 0 1 0 101315904 73752576 12101 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4971949 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18006 12101 780 435 0 11369 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 72024

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 1716
/proc/meminfo: memFree=30920492/32770624 swapFree=0/590440
[pid=1695] ppid=1692 vsize=72692 CPUtime=162.21 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 30626 0 0 0 16219 2 0 0 20 0 1 0 101315904 74436608 12252 18446744073709551615 4194304 5972588 140726943144864 140726943141528 4975680 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18173 12252 780 435 0 11536 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 72692

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 1718
/proc/meminfo: memFree=30920456/32770624 swapFree=0/590456
[pid=1695] ppid=1692 vsize=73092 CPUtime=222.21 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 31504 0 0 0 22219 2 0 0 20 0 1 0 101315904 74846208 12379 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4971573 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18273 12379 780 435 0 11636 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 73092

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1721
/proc/meminfo: memFree=30923516/32770624 swapFree=0/590464
[pid=1695] ppid=1692 vsize=73228 CPUtime=282.21 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 31528 0 0 0 28219 2 0 0 20 0 1 0 101315904 74985472 12379 18446744073709551615 4194304 5972588 140726943144864 140726943141640 5323616 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18307 12379 780 435 0 11670 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 73228

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 1723
/proc/meminfo: memFree=30923532/32770624 swapFree=0/590468
[pid=1695] ppid=1692 vsize=73228 CPUtime=342.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 31802 0 0 0 34219 3 0 0 20 0 1 0 101315904 74985472 12411 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5322696 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18307 12411 780 435 0 11670 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73228

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 1725
/proc/meminfo: memFree=30923744/32770624 swapFree=0/590472
[pid=1695] ppid=1692 vsize=73228 CPUtime=402.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 32047 0 0 0 40219 3 0 0 20 0 1 0 101315904 74985472 12411 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4972754 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18307 12411 780 435 0 11670 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 73228

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 1727
/proc/meminfo: memFree=30923372/32770624 swapFree=0/590484
[pid=1695] ppid=1692 vsize=73496 CPUtime=462.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 32415 0 0 0 46219 3 0 0 20 0 1 0 101315904 75259904 12477 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5323639 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18374 12477 780 435 0 11737 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 73496

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 1730
/proc/meminfo: memFree=30924420/32770624 swapFree=0/590496
[pid=1695] ppid=1692 vsize=73496 CPUtime=522.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 32674 0 0 0 52219 3 0 0 20 0 1 0 101315904 75259904 12477 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4975376 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18374 12477 780 435 0 11737 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 73496

[startup+582.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/185 1733
/proc/meminfo: memFree=30923800/32770624 swapFree=0/590508
[pid=1695] ppid=1692 vsize=73496 CPUtime=582.22 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 32935 0 0 0 58219 3 0 0 20 0 1 0 101315904 75259904 12477 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4978757 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18374 12477 780 435 0 11737 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 73496


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1800
/proc/meminfo: memFree=30921864/32770624 swapFree=0/590652
[pid=1695] ppid=1692 vsize=73904 CPUtime=1602.25 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 37268 0 0 0 160221 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4975303 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 73904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1803
/proc/meminfo: memFree=30921632/32770624 swapFree=0/590664
[pid=1695] ppid=1692 vsize=73904 CPUtime=1662.25 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 37561 0 0 0 166221 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5099648 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 73904

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1806
/proc/meminfo: memFree=30921368/32770624 swapFree=0/590672
[pid=1695] ppid=1692 vsize=73904 CPUtime=1722.25 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 37948 0 0 0 172221 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4979170 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 73904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1808
/proc/meminfo: memFree=30920624/32770624 swapFree=0/590676
[pid=1695] ppid=1692 vsize=73904 CPUtime=1782.26 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 38081 0 0 0 178222 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4978745 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 73904

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1812
/proc/meminfo: memFree=30920748/32770624 swapFree=0/590696
[pid=1695] ppid=1692 vsize=73904 CPUtime=1842.26 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 38377 0 0 0 184222 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5099648 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 73904

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1815
/proc/meminfo: memFree=30920608/32770624 swapFree=0/590708
[pid=1695] ppid=1692 vsize=73904 CPUtime=1902.26 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 38527 0 0 0 190222 4 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4977546 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 73904

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/190 1892
/proc/meminfo: memFree=30390756/32770624 swapFree=0/595596
[pid=1695] ppid=1692 vsize=73904 CPUtime=1962.26 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 38661 0 0 0 196221 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4970961 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 73904

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 1918
/proc/meminfo: memFree=30493672/32770624 swapFree=0/595600
[pid=1695] ppid=1692 vsize=73904 CPUtime=2022.27 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39041 0 0 0 202222 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4931742 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 73904

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1920
/proc/meminfo: memFree=30492900/32770624 swapFree=0/595616
[pid=1695] ppid=1692 vsize=73904 CPUtime=2082.27 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39179 0 0 0 208222 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4935478 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 73904

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 1922
/proc/meminfo: memFree=30498360/32770624 swapFree=0/595624
[pid=1695] ppid=1692 vsize=73904 CPUtime=2142.27 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39317 0 0 0 214222 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5322944 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 73904

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 1924
/proc/meminfo: memFree=30498348/32770624 swapFree=0/595632
[pid=1695] ppid=1692 vsize=73904 CPUtime=2202.28 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39497 0 0 0 220223 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4975688 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 73904

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 1926
/proc/meminfo: memFree=30498812/32770624 swapFree=0/595644
[pid=1695] ppid=1692 vsize=73904 CPUtime=2262.27 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39831 0 0 0 226222 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5322693 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 73904

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 1930
/proc/meminfo: memFree=30498656/32770624 swapFree=0/595640
[pid=1695] ppid=1692 vsize=73904 CPUtime=2322.27 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 39980 0 0 0 232222 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 73904

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 1932
/proc/meminfo: memFree=30499140/32770624 swapFree=0/595656
[pid=1695] ppid=1692 vsize=73904 CPUtime=2382.28 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 40112 0 0 0 238223 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 5328030 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 73904

[startup+2442.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 1934
/proc/meminfo: memFree=30498396/32770624 swapFree=0/595648
[pid=1695] ppid=1692 vsize=73904 CPUtime=2442.28 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 40245 0 0 0 244223 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4935502 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2442.28
Current children cumulated vsize (KiB) 73904

[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 1936
/proc/meminfo: memFree=30498888/32770624 swapFree=0/595672
[pid=1695] ppid=1692 vsize=73904 CPUtime=2502.28 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 40567 0 0 0 250223 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4975379 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2502.28
Current children cumulated vsize (KiB) 73904



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 1936
/proc/meminfo: memFree=30498892/32770624 swapFree=0/595668
[pid=1695] ppid=1692 vsize=73904 CPUtime=2519.98 cores=1,3,5,7
/proc/1695/stat : 1695 (cosoco) R 1692 1695 24445 0 -1 4202496 40680 0 0 0 251993 5 0 0 20 0 1 0 101315904 75677696 12602 18446744073709551615 4194304 5972588 140726943144864 140726943142168 4978804 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 18530304 140726943150574 140726943150669 140726943150669 140726943154126 0
/proc/1695/statm: 18476 12602 780 435 0 11839 0
Current children cumulated CPU time (s) 2519.98
Current children cumulated vsize (KiB) 73904

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.99
CPU user time (s): 2519.93
CPU system time (s): 0.056001
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 73904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.056001
maximum resident set size= 50484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40732
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= 24
involuntary context switches= 2167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58168 second user time and 9.37306 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 13:27:40
IDJOB=4268150
IDBENCH=133176
IDSOLVER=2658
FILE ID=node134/4268150-1502538096
RUNJOBID= node134-1502500343-24509
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-028.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268150-1502538096/watcher-4268150-1502538096 -o /tmp/evaluation-result-4268150-1502538096/solver-4268150-1502538096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268150-1502538096.xml

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

MD5SUM BENCH= 0d73506f0318cc77856f25ccca7d4c63
RANDOM SEED=1415630908

node134.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.43
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.43
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.43
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.43
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:        30972380 kB
MemAvailable:   31961080 kB
Buffers:          301312 kB
Cached:           987600 kB
SwapCached:            0 kB
Active:           731412 kB
Inactive:         629828 kB
Active(anon):      74576 kB
Inactive(anon):    39408 kB
Active(file):     656836 kB
Inactive(file):   590420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2492 kB
Writeback:             4 kB
AnonPages:         72500 kB
Mapped:            55272 kB
Shmem:             41660 kB
Slab:             140968 kB
SReclaimable:     114556 kB
SUnreclaim:        26412 kB
KernelStack:        3280 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61908 MiB
End job on node134 at 2017-08-12 14:09:40