Trace number 4267380

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-mini 1.12? (TO) 2400.26 2400.45

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0150.xml
MD5SUMb9bf68be3b756b1f34bbd3d4e06d542d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark128.82
Satisfiable
(Un)Satisfiability was proved
Number of variables302
Number of constraints11626
Number of domains1
Minimum domain size22501
Maximum domain size22501
Distribution of domain sizes[{"size":22501,"count":302}]
Minimum variable degree2
Maximum variable degree151
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":149},{"degree":150,"count":149},{"degree":151,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11626}]
Number of extensional constraints0
Number of intensional constraints11626
Distribution of constraint types[{"type":"intension","count":11626}]
Optimization problemNO
Type of objective

Solver Data 

15.98/16.04	c root propagations     : 0           
15.98/16.04	c restarts enabled, print stats at every restarts
15.98/16.04	c
15.98/16.04	c
15.98/16.04	c
15.98/16.04	c This is cosoco 1.12 --  
15.98/16.04	c
15.98/16.04	c command line: cosoco -lc -model -restarts HOME/instance-4267380-1502606405.xml 
15.98/16.04	c ========================================[ Problem Statistics ]===========================================
15.98/16.04	c |                                                                                                       
15.98/16.04	c |  Parse time        :        13.54 s 
15.98/16.04	c |
15.98/16.04	c |               Variables: 302
15.98/16.04	c |            Domain Sizes: 22501..22501
15.98/16.04	c |
15.98/16.04	c |             Constraints: 11626
15.98/16.04	c |                   Arity: 2..2  -- Binary: 11626
15.98/16.04	c | 
15.98/16.04	c |                   Types: 
15.98/16.04	c |                          Intension: 11626
15.98/16.04	c |                          
15.98/16.04	c =========================================================================================================
15.98/16.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
15.98/16.05	c 101            102            42279          304            0              0              2   2   1      
15.98/16.07	c 211            364            66333          789            0              0              2   153   148  
15.98/16.08	c 332            488            103180         1155           0              0              4   4   3      
15.98/16.08	c 465            624            143204         1561           0              0              2   4   3      
15.98/16.08	c 611            773            145124         2005           0              0              3   4   3      
15.98/16.09	c 771            936            193591         2490           0              0              4   4   3      
15.98/16.09	c 947            1115           247048         3021           0              0              4   4   3      
15.98/16.09	c 1140           1311           305192         3607           0              0              2   4   3      
15.98/16.10	c 1352           1526           307508         4249           0              0              3   4   3      
15.98/16.10	c 1585           1762           377948         4953           0              0              4   4   3      
16.09/16.11	c 1841           2021           455565         5724           0              0              4   4   3      
16.09/16.12	c 2122           2305           540285         6574           0              0              2   4   3      
16.09/16.12	c 2431           2617           543183         7507           0              0              3   4   3      
16.09/16.13	c 2770           2959           645529         8529           0              0              4   4   3      
16.09/16.14	c 3142           3334           758178         9648           0              0              4   4   3      
16.09/16.14	c 3551           3746           881554         10882          0              0              2   4   3      
16.09/16.15	c 4000           4198           885292         12235          0              0              3   4   3      
16.09/16.16	c 4493           4694           1033992        13719          0              0              4   4   3      
16.09/16.18	c 5035           5239           1197981        15348          0              0              4   4   3      
16.09/16.19	c 5631           5838           1377831        17143          0              0              2   4   3      
16.18/16.20	c 6286           6496           1382805        19114          0              0              3   4   3      
16.18/16.21	c 7006           7219           1599832        21279          0              0              4   4   3      
16.18/16.23	c 7798           8014           1839321        23658          0              0              4   4   3      
16.18/16.25	c 8669           8888           2102221        26278          0              0              2   4   3      
16.18/16.26	c 9627           9849           2109013        29158          0              0              3   4   3      
16.18/16.28	c 10680          10905          2426273        32322          0              0              4   4   3      
16.28/16.32	c 11838          12066          2776294        35799          0              0              4   4   3      
16.28/16.34	c 13111          13342          3160598        39625          0              0              2   4   3      
16.28/16.36	c 14511          14745          3170042        43831          0              0              3   4   3      
16.28/16.39	c 16051          16288          3633889        48456          0              0              4   4   3      
16.38/16.44	c 17745          17985          4145782        53541          0              0              4   4   3      
16.38/16.48	c 19608          19851          4708266        59137          0              0              2   4   3      
16.48/16.50	c 21657          21903          4721604        65290          0              0              3   4   3      
16.48/16.55	c 23910          24159          5400064        72054          0              0              4   4   3      
16.58/16.62	c 26388          26640          6148725        79491          0              0              4   4   3      
16.58/16.68	c 29113          29368          6971533        87673          0              0              2   4   3      
16.68/16.72	c 32110          32368          6990559        96670          0              0              3   4   3      
16.68/16.79	c 35406          35667          7982962        106563         0              0              4   4   3      
16.78/16.89	c 39031          39295          9078017        117441         0              0              4   4   3      
16.88/16.98	c 43018          43285          10281949       129409         0              0              2   4   3      
16.99/17.03	c 47403          47673          10309303       142570         0              0              3   4   3      
17.09/17.14	c 52226          52499          11761333       157044         0              0              4   4   3      
17.18/17.29	c 57531          57807          13363748       172962         0              0              4   4   3      
17.38/17.42	c 63366          63645          15125776       190474         0              0              2   4   3      
17.48/17.51	c 69784          70066          15165328       209734         0              0              3   4   3      
17.58/17.66	c 76843          77128          17290394       230916         0              0              4   4   3      
17.78/17.89	c 84607          84895          19635427       254211         0              0              4   4   3      
17.98/18.09	c 93147          93438          22214365       279838         0              0              2   4   3      
18.18/18.22	c 102541         102835         22271773       308026         0              0              3   4   3      
18.38/18.46	c 112874         113171         25382313       339030         0              0              4   4   3      
18.78/18.81	c 124240         124540         28815150       373131         0              0              4   4   3      
19.09/19.11	c 136742         137045         32590612       410644         0              0              2   4   3      
19.28/19.31	c 150494         150801         32674468       461909         0              0              3   4   3      
19.58/19.66	c 165621         165932         37228305       517298         0              0              4   4   3      
20.08/20.17	c 182260         182575         42253740       577220         0              0              4   4   3      
20.48/20.59	c 200562         200881         47780508       642136         0              0              2   4   3      
20.78/20.86	c 220694         221017         47902644       712541         0              0              3   4   3      
21.28/21.37	c 242839         243166         54568899       788984         0              0              4   4   3      
21.98/22.10	c 267198         267529         61925774       872066         0              0              4   4   3      
22.67/22.73	c 293992         294328         70016682       972462         0              0              2   4   3      
23.08/23.13	c 323465         323806         70195163       1080894        0              0              3   4   3      
23.77/23.88	c 355885         356231         79954496       1198165        0              0              4   4   3      
24.87/24.90	c 391547         391898         90724879       1325159        0              0              4   4   3      
25.77/25.83	c 430775         431132         102570261      1472862        0              0              2   4   3      
26.37/26.43	c 473925         474288         102831102      1632330        0              0              3   4   3      
27.47/27.54	c 521390         521759         117119283      1804739        0              0              4   4   3      
28.98/29.03	c 573601         573977         132887018      2001389        0              0              4   4   3      
30.27/30.39	c 631033         631416         150229264      2213710        0              0              2   4   3      
31.17/31.25	c 694208         694599         150610848      2453266        0              0              3   4   3      
32.76/32.84	c 763700         764099         171529762      2711762        0              0              4   4   3      
34.76/34.89	c 840141         840549         194613911      3001115        0              0              4   4   3      
36.76/36.85	c 924226         924643         220003425      3313410        0              0              2   4   3      
37.97/38.10	c 1016719        1017146        220561506      3660937        0              0              3   4   3      
40.36/40.43	c 1118461        1118899        251188579      4046192        0              0              4   4   3      
43.25/43.37	c 1230377        1230826        284984532      4461987        0              0              4   4   3      
46.15/46.25	c 1353484        1353945        322154658      4921378        0              0              2   4   3      
47.96/48.06	c 1488901        1489375        322971159      5427710        0              0              3   4   3      
51.35/51.48	c 1637859        1638347        367811157      5984622        0              0              4   4   3      
55.54/55.61	c 1801712        1802216        417285344      6606288        0              0              4   4   3      
59.74/59.82	c 1981950        1982471        471699312      7287142        0              0              2   4   3      
62.44/62.53	c 2180211        2180750        472894317      8032081        0              0              3   4   3      
67.44/67.51	c 2398298        2398857        538543962      8856398        0              0              4   4   3      
73.43/73.55	c 2638193        2638774        610969795      9766295        0              0              4   4   3      
79.64/79.73	c 2902077        2902682        690624947      10768227       0              0              2   4   3      
83.64/83.70	c 3192349        3192980        692374270      11869371       0              0              3   4   3      
90.94/91.02	c 3511648        3512307        788491151      13077348       0              0              4   4   3      
99.73/99.88	c 3862876        3863566        894509868      14411469       0              0              4   4   3      
108.83/108.94	c 4249226        4249949        1011113356     15871051       0              0              2   4   3      
114.72/114.83	c 4674211        4674970        1013673682     17476639       0              0              3   4   3      
125.42/125.56	c 5141694        5142493        1154397583     19249204       0              0              4   4   3      
138.42/138.52	c 5655925        5656768        1309578882     21202802       0              0              4   4   3      
151.62/151.78	c 6221579        6222470        1480244518     23350896       0              0              2   4   3      
160.12/160.27	c 6843798        6844741        1483992400     25708882       0              0              3   4   3      
175.82/176.00	c 7528238        7529238        1690025509     28302369       0              0              4   4   3      
194.82/194.98	c 8281122        8282185        1917140402     31162914       0              0              4   4   3      
214.31/214.42	c 9109294        9110426        2166907050     34309780       0              0              2   4   3      
226.91/227.06	c 10020283       10021490       2172393072     37765525       0              0              3   4   3      
250.01/250.11	c 11022370       11023660       2474045806     41572031       0              0              4   4   3      
277.80/277.91	c 12124665       12126046       2806378377     45762923       0              0              4   4   3      
306.19/306.38	c 13337189       13338669       3171848259     50365350       0              0              2   4   3      
324.49/324.66	c 14670965       14672554       3179878194     55432567       0              0              3   4   3      
358.28/358.43	c 16138118       16139827       3621527005     61004382       0              0              4   4   3      
398.98/399.15	c 17751986       17753827       4107696654     67144503       0              0              4   4   3      
440.66/440.88	c 19527240       19529225       4642301266     73890565       0              0              2   4   3      
467.98/468.13	c 21480019       21482163       4654053694     81321466       0              0              3   4   3      
517.46/517.62	c 23628075       23630393       5300670670     89476152       0              0              4   4   3      
577.16/577.32	c 25990936       25993445       6011646873     98462692       0              0              4   4   3      
638.26/638.47	c 28590083       28592802       6793330117     108352082      0              0              2   4   3      
678.56/678.78	c 31449144       31452094       6810528049     119235833      0              0              3   4   3      
751.16/751.38	c 34594111       34597315       7757239476     131181492      0              0              4   4   3      
838.66/838.82	c 38053574       38057057       8796347059     144358386      0              0              4   4   3      
928.15/928.39	c 41858983       41862773       9938582659     158861588      0              0              2   4   3      
987.54/987.77	c 46044932       46049059       9963743986     174816054      0              0              3   4   3      
1094.04/1094.26	c 50649475       50653973       11349823240    192310792      0              0              4   4   3      
1222.34/1222.56	c 55714472       55719378       12867242699    211638406      0              0              4   4   3      
1353.84/1354.08	c 61285968       61291322       14534885019    232903026      0              0              2   4   3      
1440.53/1440.72	c 67414613       67420460       14571685128    256310242      0              0              3   4   3      
1596.94/1597.18	c 74156122       74162511       16601042961    281926391      0              0              4   4   3      
1785.32/1785.58	c 81571781       81578766       18814333220    310280085      0              0              4   4   3      
1978.51/1978.79	c 89729005       89736645       21245789138    341485946      0              0              2   4   3      
2107.11/2107.37	c 98701951       98710311       21299586272    375833627      0              0              3   4   3      
2337.40/2337.67	c 108572191      108581343      24270767886    413336719      0              0              4   4   3      
2400.00/2400.20	
2400.00/2400.20	c *** INTERRUPTED ***
2400.00/2400.20	c restarts              : 122         
2400.00/2400.20	c conflicts             : 111051128    (46369 /sec)
2400.00/2400.20	c decisions             : 111060481    (46373 /sec)
2400.00/2400.20	c propagations          : 422773432   (176528 /sec)
2400.00/2400.20	c root propagations     : 0           
2400.00/2400.20	c filter calls          : 25016511811    (10445588 /sec)
2400.00/2400.20	c useless filter calls  : 24905451846    (99 %)
2400.00/2400.20	c Memory used           : 8118.23 MB
2400.00/2400.20	c CPU time              : 2394.94 s
2400.00/2400.20	
2400.00/2400.20	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15081 MiB free)
  memory of node 1: 16384 MiB (15776 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267380-1502606405/watcher-4267380-1502606405 -o /tmp/evaluation-result-4267380-1502606405/solver-4267380-1502606405 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502603022-28417 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267380-1502606405.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29133, runsolver pid=29130

[startup+0.100168 s]*
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=31514664/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=114708 memory=91140 CPUtime=0.1 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 23009 0 0 0 7 3 0 0 20 0 1 0 93728277 117460992 22785 33554432000 4194304 5748600 140726311672576 140726311669224 4908429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 28677 22785 773 380 0 22095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114708 KiB
Current children cumulated memory: 91140 KiB

[startup+0.20966 s]*
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=31458120/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=171400 memory=147828 CPUtime=0.21 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 37164 0 0 0 16 5 0 0 20 0 1 0 93728277 175513600 36957 33554432000 4194304 5748600 140726311672576 140726311669224 139784334446204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 42850 36957 773 380 0 36268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 171400 KiB
Current children cumulated memory: 147828 KiB

[startup+0.309513 s]*
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=31406784/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=221976 memory=198412 CPUtime=0.3 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 49770 0 0 0 24 6 0 0 20 0 1 0 93728277 227303424 49603 33554432000 4194304 5748600 140726311672576 140726311669224 4908429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 55494 49603 774 380 0 48912 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 221976 KiB
Current children cumulated memory: 198412 KiB

[startup+0.700353 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=31330896/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=350896 memory=327372 CPUtime=0.69 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 82074 0 0 0 58 11 0 0 20 0 1 0 93728277 359317504 81843 33554432000 4194304 5748600 140726311672576 140726311669224 4908429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 87724 81843 774 380 0 81142 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 350896 KiB
Current children cumulated memory: 327372 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=31117868/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=765684 memory=742116 CPUtime=1.49 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 185764 0 0 0 126 23 0 0 20 0 1 0 93728277 784060416 185529 33554432000 4194304 5748600 140726311672576 140726311666200 139784343799064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 191421 185529 774 380 0 184839 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 765684 KiB
Current children cumulated memory: 742116 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=30080580/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=1596672 memory=1572908 CPUtime=3.09 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 393699 0 0 0 262 47 0 0 20 0 1 0 93728277 1634992128 393227 33554432000 4194304 5748600 140726311672576 140726311666200 4908429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 399168 393227 774 380 0 392586 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1596672 KiB
Current children cumulated memory: 1572908 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 29134
/proc/meminfo: memFree=28519296/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=3254988 memory=3231264 CPUtime=6.28 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 808550 0 0 0 533 95 0 0 20 0 1 0 93728277 3333107712 807816 33554432000 4194304 5748600 140726311672576 140726311666200 4908429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 813747 807816 774 380 0 807165 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3254988 KiB
Current children cumulated memory: 3231264 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 2.02 3/187 29198
/proc/meminfo: memFree=22042944/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=6575184 memory=6551628 CPUtime=12.68 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 1638936 0 0 0 1073 195 0 0 20 0 1 0 93728277 6732988416 1637907 33554432000 4194304 5748600 140726311672576 140726311666200 5207214 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 1643796 1637907 774 380 0 1637214 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 6575184 KiB
Current children cumulated memory: 6551628 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 1.97 2.02 3/187 29259
/proc/meminfo: memFree=16223104/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289692 CPUtime=25.47 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2092685 0 0 0 2298 249 0 0 20 0 1 0 93728277 8512446464 2072423 33554432000 4194304 5748600 140726311672576 140726311669976 5142781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072423 811 380 0 2071652 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289692 KiB

[startup+51.109 s]
/proc/loadavg: 1.90 1.96 2.01 3/187 29442
/proc/meminfo: memFree=23313116/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289708 CPUtime=51.06 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2093952 0 0 0 4857 249 0 0 20 0 1 0 93728277 8512446464 2072427 33554432000 4194304 5748600 140726311672576 140726311669976 5119552 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072427 811 380 0 2071652 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289708 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.96 2.01 3/187 29442
/proc/meminfo: memFree=23313160/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289744 CPUtime=102.23 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2096233 0 0 0 9971 252 0 0 20 0 1 0 93728277 8512446464 2072436 33554432000 4194304 5748600 140726311672576 140726311669976 5142744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072436 811 380 0 2071652 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289744 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 2.01 3/187 29444
/proc/meminfo: memFree=23313180/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289744 CPUtime=162.22 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2099611 0 0 0 15962 260 0 0 20 0 1 0 93728277 8512446464 2072436 33554432000 4194304 5748600 140726311672576 140726311669976 5119552 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072436 811 380 0 2071652 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289744 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.01 3/187 29506
/proc/meminfo: memFree=23313104/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289748 CPUtime=222.21 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2102396 0 0 0 21953 268 0 0 20 0 1 0 93728277 8512446464 2072437 33554432000 4194304 5748600 140726311672576 140726311669976 5142744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072437 811 380 0 2071652 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289748 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/188 29515
/proc/meminfo: memFree=23313120/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289748 CPUtime=282.2 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2104640 0 0 0 27944 276 0 0 20 0 1 0 93728277 8512446464 2072437 33554432000 4194304 5748600 140726311672576 140726311669976 5119563 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072437 811 380 0 2071652 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289748 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/188 29516
/proc/meminfo: memFree=23312480/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289752 CPUtime=342.18 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2107005 0 0 0 33934 284 0 0 20 0 1 0 93728277 8512446464 2072438 33554432000 4194304 5748600 140726311672576 140726311669976 5142781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072438 811 380 0 2071652 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289752 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/188 29517
/proc/meminfo: memFree=23311892/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289752 CPUtime=402.17 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2109232 0 0 0 39926 291 0 0 20 0 1 0 93728277 8512446464 2072438 33554432000 4194304 5748600 140726311672576 140726311669976 5119563 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072438 811 380 0 2071652 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289752 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/188 29518
/proc/meminfo: memFree=23311548/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289756 CPUtime=462.16 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2111771 0 0 0 45917 299 0 0 20 0 1 0 93728277 8512446464 2072439 33554432000 4194304 5748600 140726311672576 140726311669976 5142777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072439 811 380 0 2071652 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289756 KiB


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

/proc/meminfo: memFree=23311972/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289800 CPUtime=1662.13 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2153700 0 0 0 165772 441 0 0 20 0 1 0 93728277 8512446464 2072450 33554432000 4194304 5748600 140726311672576 140726311669976 4873446 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072450 811 380 0 2071652 0
Current children cumulated CPU time: 1662.13 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289800 KiB

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.10 3/188 29556
/proc/meminfo: memFree=23311628/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8312936 memory=8289800 CPUtime=1722.12 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2155368 0 0 0 171766 446 0 0 20 0 1 0 93728277 8512446464 2072450 33554432000 4194304 5748600 140726311672576 140726311669976 4906935 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078234 2072450 811 380 0 2071652 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 8312936 KiB
Current children cumulated memory: 8289800 KiB

[startup+1782.3 s]
/proc/loadavg: 2.12 2.18 2.10 3/187 29558
/proc/meminfo: memFree=23311936/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289808 CPUtime=1782.13 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2157128 0 0 0 177761 452 0 0 20 0 1 0 93728277 8512581632 2072452 33554432000 4194304 5748600 140726311672576 140726311669720 4906947 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072452 811 380 0 2071685 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289808 KiB

[startup+1842.3 s]
/proc/loadavg: 2.45 2.28 2.14 3/187 29559
/proc/meminfo: memFree=23311720/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289808 CPUtime=1842.12 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2159635 0 0 0 183755 457 0 0 20 0 1 0 93728277 8512581632 2072452 33554432000 4194304 5748600 140726311672576 140726311669976 4873440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072452 811 380 0 2071685 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289808 KiB

[startup+1902.3 s]
/proc/loadavg: 2.17 2.23 2.13 3/187 29560
/proc/meminfo: memFree=23311596/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289808 CPUtime=1902.11 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2161747 0 0 0 189749 462 0 0 20 0 1 0 93728277 8512581632 2072452 33554432000 4194304 5748600 140726311672576 140726311669976 5142773 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072452 811 380 0 2071685 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289808 KiB

[startup+1962.3 s]
/proc/loadavg: 2.06 2.18 2.13 3/187 29562
/proc/meminfo: memFree=23311732/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289812 CPUtime=1962.11 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2163864 0 0 0 195743 468 0 0 20 0 1 0 93728277 8512581632 2072453 33554432000 4194304 5748600 140726311672576 140726311669976 5142769 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072453 811 380 0 2071685 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289812 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.15 2.12 3/187 29563
/proc/meminfo: memFree=23311992/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289812 CPUtime=2022.11 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2166898 0 0 0 201738 473 0 0 20 0 1 0 93728277 8512581632 2072453 33554432000 4194304 5748600 140726311672576 140726311669976 5142759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072453 811 380 0 2071685 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289812 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.12 2.12 3/187 29571
/proc/meminfo: memFree=23311540/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289816 CPUtime=2082.11 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2169542 0 0 0 207732 479 0 0 20 0 1 0 93728277 8512581632 2072454 33554432000 4194304 5748600 140726311672576 140726311669976 5142773 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072454 811 380 0 2071685 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289816 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.10 2.11 3/187 29594
/proc/meminfo: memFree=23310644/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2142.11 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2171599 0 0 0 213726 485 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 5142759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/187 29595
/proc/meminfo: memFree=23310696/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2202.1 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2172972 0 0 0 219721 489 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 5119563 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/187 29596
/proc/meminfo: memFree=23310972/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2262.1 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2174198 0 0 0 225716 494 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 5119563 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/187 29597
/proc/meminfo: memFree=23311076/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2322.1 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2175515 0 0 0 231710 500 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 5119552 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/187 29598
/proc/meminfo: memFree=23310716/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2382.1 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2177871 0 0 0 237705 505 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 4873499 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 29598
/proc/meminfo: memFree=23310560/32770624 swapFree=67108860/67108860
[pid=29133] ppid=29130 vsize=8313068 memory=8289828 CPUtime=2400 cores=1,3,5,7
/proc/29133/stat : 29133 (cosoco) R 29130 29133 28385 0 -1 4202496 2178506 0 0 0 239493 507 0 0 20 0 1 0 93728277 8512581632 2072457 33554432000 4194304 5748600 140726311672576 140726311669976 4903293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 16846848 140726311679167 140726311679262 140726311679262 140726311681998 0
/proc/29133/statm: 2078267 2072457 811 380 0 2071685 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 8313068 KiB
Current children cumulated memory: 8289828 KiB

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

[startup+2400.45 s]
# the end of solver process 29133 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.94 s, system=5.32467 s

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

[startup+2400.41 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 29598
/proc/meminfo: memFree=28868476/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 2400.45
CPU time (s): 2400.26
CPU user time (s): 2394.94
CPU system time (s): 5.32467
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 8313068
Max. memory (cumulated for all children) (KiB): 8289828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.94
system time used= 5.32467
maximum resident set size= 8289888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2178554
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= 68
involuntary context switches= 885


# summary of solver processes directly reported to runsolver:
#   pid: 29133
#   total CPU time (s): 2400.26
#   total CPU user time (s): 2394.94
#   total CPU system time (s): 5.32467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.8901 second user time and 14.9474 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-13 08:25:46
IDJOB=4267380
IDBENCH=126842
IDSOLVER=2657
FILE ID=node106/4267380-1502606405
RUNJOBID= node106-1502603022-28417
PBS_JOBID= 20628302
Free space on /tmp= 61768 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0150.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267380-1502606405/watcher-4267380-1502606405 -o /tmp/evaluation-result-4267380-1502606405/solver-4267380-1502606405 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502603022-28417 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267380-1502606405.xml

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

MD5SUM BENCH= b9bf68be3b756b1f34bbd3d4e06d542d
RANDOM SEED=247590682

node106.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.86
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.86
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.86
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.86
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:        31598288 kB
MemAvailable:   31968328 kB
Buffers:           89776 kB
Cached:           568352 kB
SwapCached:            0 kB
Active:           384044 kB
Inactive:         349648 kB
Active(anon):      31356 kB
Inactive(anon):    72132 kB
Active(file):     352688 kB
Inactive(file):   277516 kB
Unevictable:        6504 kB
Mlocked:            6504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:         65080 kB
Mapped:            44624 kB
Shmem:             25228 kB
Slab:             136804 kB
SReclaimable:     111340 kB
SUnreclaim:        25464 kB
KernelStack:        3360 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     370684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 61768 MiB
End job on node106 at 2017-08-13 09:05:47