Trace number 4242460

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.05 2400.6

General information on the benchmark

NameBlackhole/Blackhole-m1-s10/
Blackhole-10-3-04.xml
MD5SUM986ee2669b222e63b3403a1d528be806
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.090393998
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints67
Number of domains1
Minimum domain size40
Maximum domain size40
Distribution of domain sizes[{"size":40,"count":80}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":67},{"degree":3,"count":13}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":65},{"arity":80,"count":1}]
Number of extensional constraints39
Number of intensional constraints27
Distribution of constraint types[{"type":"extension","count":39},{"type":"intension","count":27},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.00	c intension y[30]<y[29]  using generic constraint 
0.00/0.00	c intension y[29]<y[17]  using generic constraint 
0.00/0.00	c intension y[11]<y[3]  using generic constraint 
0.00/0.01	c intension y[3]<y[19]  using generic constraint 
0.00/0.01	c intension y[38]<y[12]  using generic constraint 
0.00/0.01	c intension y[12]<y[20]  using generic constraint 
0.00/0.01	c intension y[9]<y[6]  using generic constraint 
0.00/0.01	c intension y[6]<y[14]  using generic constraint 
0.00/0.01	c intension y[21]<y[15]  using generic constraint 
0.00/0.01	c intension y[15]<y[24]  using generic constraint 
0.00/0.01	c intension y[25]<y[8]  using generic constraint 
0.00/0.01	c intension y[8]<y[27]  using generic constraint 
0.00/0.01	c intension y[7]<y[22]  using generic constraint 
0.00/0.01	c intension y[22]<y[2]  using generic constraint 
0.00/0.01	c intension y[32]<y[5]  using generic constraint 
0.00/0.01	c intension y[5]<y[28]  using generic constraint 
0.00/0.01	c intension y[16]<y[13]  using generic constraint 
0.00/0.01	c intension y[13]<y[33]  using generic constraint 
0.00/0.01	c intension y[18]<y[35]  using generic constraint 
0.00/0.01	c intension y[35]<y[4]  using generic constraint 
0.00/0.01	c intension y[10]<y[36]  using generic constraint 
0.00/0.01	c intension y[36]<y[39]  using generic constraint 
0.00/0.01	c intension y[26]<y[1]  using generic constraint 
0.00/0.01	c intension y[1]<y[23]  using generic constraint 
0.00/0.01	c intension y[34]<y[31]  using generic constraint 
0.00/0.01	c intension y[31]<y[37]  using generic constraint 
0.00/0.01	c root propagations     : 234         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 80
0.00/0.01	c |            Domain Sizes: 40..40
0.00/0.01	c |
0.00/0.01	c |             Constraints: 106
0.00/0.01	c |                   Arity: 1..41  -- Unary: 1  -- Binary: 65
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          (X - Y < k): 26
0.00/0.01	c |                          Element Constant: 40
0.00/0.01	c |                          Extension: 39  (nb tuples: 320..320) -- (shared: 38)
0.00/0.01	c |                          Intension: 1
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            274            18071          5356           80             0              41   48   43   
0.00/0.02	c 211            466            35987          21126          80             0              28   31   29   
0.00/0.02	c 332            642            48261          31224          80             0              31   32   31   
0.00/0.02	c 465            928            68122          36387          80             0              31   44   42   
0.00/0.02	c 611            1143           85298          50222          80             0              34   34   33   
0.00/0.03	c 771            1402           109910         62297          80             0              30   33   32   
0.00/0.03	c 947            1721           130934         71005          80             0              29   33   32   
0.00/0.03	c 1140           2044           153035         84115          80             0              36   37   36   
0.00/0.04	c 1352           2450           205364         121534         80             0              27   28   27   
0.00/0.04	c 1585           2768           233033         145393         80             0              33   34   33   
0.00/0.05	c 1841           3312           273168         160900         80             0              32   35   33   
0.00/0.06	c 2122           3890           340876         192197         80             0              31   34   33   
0.00/0.06	c 2431           4377           390236         225055         80             0              34   39   36   
0.00/0.07	c 2770           4767           447967         272172         80             0              27   34   30   
0.00/0.08	c 3142           5370           489136         303679         80             0              28   35   33   
0.00/0.08	c 3551           6280           541526         316478         80             0              28   29   28   
0.00/0.09	c 4000           6867           581575         361394         80             0              30   33   30   
0.09/0.10	c 4493           7646           643311         403434         80             0              33   34   33   
0.09/0.11	c 5035           8743           725119         455037         80             0              28   32   30   
0.09/0.11	c 5631           9861           797424         467198         80             0              29   45   38   
0.09/0.12	c 6286           10894          880764         514945         80             0              34   35   34   
0.09/0.13	c 7006           11940          958649         587544         80             0              32   35   33   
0.09/0.14	c 7798           13054          1040897        647426         80             0              34   34   33   
0.09/0.15	c 8669           14939          1167727        697702         80             0              33   35   34   
0.09/0.17	c 9627           16967          1327384        775847         80             0              35   36   35   
0.09/0.18	c 10680          18462          1433091        848630         80             0              34   37   35   
0.09/0.19	c 11838          20968          1593885        905287         80             0              32   35   34   
0.19/0.21	c 13111          22993          1916525        1037789        80             0              31   39   34   
0.19/0.24	c 14511          25179          2167136        1238687        80             0              31   39   34   
0.19/0.25	c 16051          27163          2325722        1351948        80             0              34   35   34   
0.19/0.27	c 17745          30807          2587828        1446368        80             0              32   42   39   
0.19/0.29	c 19608          33476          2797747        1591798        80             0              34   37   34   
0.29/0.32	c 21657          37582          3153486        1867364        80             0              35   37   35   
0.29/0.35	c 23910          41293          3471161        2089024        80             0              32   37   34   
0.29/0.37	c 26388          45226          3825892        2193095        80             0              32   42   38   
0.39/0.40	c 29113          49380          4106843        2366696        80             0              32   37   34   
0.39/0.42	c 32110          54923          4502236        2426753        80             0              24   37   34   
0.39/0.49	c 35406          60479          5155324        2990954        80             0              27   35   29   
0.49/0.52	c 39031          66709          5659188        3136463        80             0              32   44   38   
0.49/0.55	c 43018          72180          5952682        3370549        80             0              34   34   33   
0.49/0.59	c 47403          79513          6515614        3757895        80             0              35   38   36   
0.59/0.63	c 52226          86377          7104619        3892089        80             0              35   41   37   
0.59/0.67	c 57531          94795          7566028        4105160        80             0              34   36   35   
0.69/0.71	c 63366          103408         8284100        4234580        80             0              42   46   44   
0.69/0.77	c 69784          113804         9096935        4899508        80             0              33   37   35   
0.79/0.87	c 76843          123035         10374116       5627876        80             0              34   37   34   
0.89/0.95	c 84607          134127         11175674       6263729        80             0              32   33   32   
0.99/1.00	c 93147          147800         11891269       6577644        80             0              33   36   35   
0.99/1.09	c 102541         165872         13280342       6923527        80             0              38   47   43   
1.10/1.15	c 112874         182353         14170086       7336525        80             0              36   38   37   
1.29/1.33	c 124240         199184         16486227       8470044        80             0              25   39   34   
1.39/1.41	c 136742         220178         17589861       8904907        80             0              34   37   36   
1.49/1.53	c 150494         247116         19428834       9328041        80             0              26   40   33   
1.59/1.65	c 165621         267982         20613077       10267460       80             0              31   33   32   
1.69/1.78	c 182260         290919         21980559       11380783       80             0              31   34   33   
1.99/2.01	c 200562         316506         24965647       12910149       80             0              29   42   36   
2.09/2.16	c 220694         344315         26544543       14189436       80             0              31   33   32   
2.39/2.47	c 242839         376388         30728744       16172436       80             0              28   44   37   
2.59/2.67	c 267198         419130         33267556       17422694       80             0              32   36   34   
2.89/2.93	c 293992         463493         36426352       19186335       80             0              33   36   35   
3.09/3.16	c 323465         503784         38813935       21135308       80             0              31   33   32   
3.30/3.36	c 355885         543570         42313940       21910426       80             0              29   41   39   
3.59/3.64	c 391547         592360         45186525       24252135       80             0              31   33   32   
3.89/3.90	c 430775         651311         49742754       25193365       80             0              34   45   41   
4.19/4.22	c 473925         715461         53440331       27282565       80             0              33   36   34   
4.50/4.59	c 521390         778595         57247246       30566591       80             0              31   37   32   
5.09/5.19	c 573601         840694         64896550       34570231       80             0              37   44   37   
5.50/5.54	c 631033         926660         69379542       37038685       80             0              32   35   34   
5.99/6.05	c 694208         1020646        77767533       39353033       80             0              32   45   40   
6.70/6.79	c 763700         1133751        86478913       44017880       80             0              27   35   31   
7.29/7.37	c 840141         1264377        94343931       47274832       80             0              31   36   34   
8.39/8.47	c 924226         1381349        105799763      60196032       80             0              31   36   33   
9.39/9.46	c 1016719        1506186        116270861      69863706       80             0              31   36   33   
10.19/10.22	c 1118461        1664847        125529632      75996665       80             0              31   35   34   
11.29/11.32	c 1230377        1861131        142498024      82214075       80             0              34   46   42   
12.20/12.25	c 1353484        2039965        153764239      88404290       80             0              31   36   34   
13.39/13.48	c 1488901        2333253        175135909      93290993       80             0              31   46   40   
14.49/14.59	c 1637859        2587657        190020627      99631302       80             0              31   36   34   
15.69/15.79	c 1801712        2799334        209969244      104648560      80             0              32   42   38   
16.89/17.00	c 1981950        3098504        226391642      111405130      80             0              31   36   34   
18.49/18.50	c 2180211        3362749        242984540      122456068      80             0              31   36   33   
19.79/19.86	c 2398298        3615713        266578172      127132039      80             0              37   46   42   
21.69/21.70	c 2638193        4009961        290679152      137933825      80             0              31   36   34   
23.79/23.80	c 2902077        4549700        326561688      144934666      80             0              36   43   41   
25.69/25.71	c 3192349        5054240        353539050      154896839      80             0              31   36   34   
28.19/28.27	c 3511648        5699655        397109698      163599660      80             0              35   43   40   
30.79/30.86	c 3862876        6285908        432149695      178425895      80             0              31   36   34   
33.98/34.02	c 4249226        6980456        482635196      195794167      80             0              32   44   40   
38.98/39.06	c 4674211        7903917        551754801      224790264      80             0              31   36   33   
42.18/42.28	c 5141694        8714826        595541045      242461725      80             0              31   36   34   
46.58/46.69	c 5655925        9448058        645713081      276012098      80             0              32   36   33   
50.28/50.38	c 6221579        10479545       715246655      287913759      80             0              32   45   43   
55.28/55.35	c 6843798        11593530       782531112      316006220      80             0              30   36   34   
60.98/61.03	c 7528238        12520450       845573413      359474584      80             0              33   36   33   
67.38/67.41	c 8281122        13676695       947929414      386510833      80             0              30   44   41   
73.58/73.60	c 9109294        15052851       1028846135     424446550      80             0              32   38   35   
82.17/82.22	c 10020283       16562151       1140732882     480196433      80             0              30   36   34   
90.57/90.65	c 11022370       18809344       1292103389     507628320      80             0              30   45   42   
97.57/97.60	c 12124665       20588521       1386381625     548089675      80             0              30   36   34   
107.27/107.32	c 13337189       23054911       1554046193     586653020      80             0              35   45   42   
115.77/115.83	c 14670965       25298022       1673080432     633323829      80             0              30   36   34   
136.66/136.77	c 16138118       27940152       1946002924     763462257      80             0              27   44   37   
148.16/148.25	c 17751986       31015695       2112902183     819639701      80             0              31   38   36   
166.65/166.70	c 19527240       34469592       2413857453     901165845      80             0              23   43   39   
181.35/181.49	c 21480019       37394892       2592517875     1001858248     80             0              31   38   35   
197.95/198.08	c 23628075       41885828       2894684026     1063693323     80             0              27   44   43   
216.34/216.42	c 25990936       45830255       3126885245     1189158706     80             0              31   38   34   
238.34/238.40	c 28590083       51766593       3495887141     1252867568     80             0              20   43   36   
256.53/256.60	c 31449144       56313055       3738654618     1367746685     80             0              32   38   35   
305.12/305.27	c 34594111       62535006       4387095147     1716513754     80             0              17   45   37   
345.32/345.44	c 38053574       69265032       4910975136     1984150578     80             0              30   38   34   
410.60/410.70	c 41858983       76792028       5675876948     2296422307     80             0              32   38   34   
439.49/439.66	c 46044932       85106448       6228720506     2384767298     80             0              19   50   40   
493.08/493.23	c 50649475       92856806       6908612221     2698207857     80             0              33   38   36   
550.17/550.39	c 55714472       100654573      7624913478     3149395134     80             0              32   38   35   
586.27/586.44	c 61285968       112615943      8252885308     3251532183     80             0              25   39   34   
658.94/659.17	c 67414613       121272451      9068626024     3989390840     80             0              33   39   36   
733.83/734.01	c 74156122       130332894      10062970720    4483961903     80             0              27   38   31   
835.30/835.59	c 81571781       141472798      11230844927    5559391304     80             0              31   34   33   
962.17/962.42	c 89729005       157375490      12960605777    6498761541     80             0              29   46   40   
1070.25/1070.51	c 98701951       174708987      14297280142    7099656363     80             0              30   37   35   
1151.44/1151.72	c 108572191      188225919      15162080279    7778618441     80             0              30   38   34   
1227.71/1228.01	c 119429455      204291019      16486365454    8030618660     80             0              24   42   39   
1373.48/1373.87	c 131372445      230898309      18332317165    8881233489     80             0              29   35   33   
1552.74/1553.20	c 144509734      252293644      20528381036    10048402006    80             0              29   38   34   
1727.30/1727.76	c 158960751      275626491      22512771335    11395114993    80             0              28   39   33   
1890.96/1891.47	c 174856869      302080382      24729557667    12333581040    80             0              31   37   35   
2065.02/2065.54	c 192342598      335640435      27221953650    13191804565    80             0              30   37   35   
2254.88/2255.50	c 211576899      370461955      29616321998    14311863266    80             0              30   37   35   

Verifier Data

One s line expected

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=5043
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 3/242 5046
/proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556
[pid=5046] ppid=5043 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 1598615 27774976 898 33554432000 4194304 5970956 140729284875968 140729284872616 140308840806976 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6781 898 780 434 0 145 0

[startup+0.100135 s]
/proc/loadavg: 2.01 2.03 2.05 3/242 5046
/proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556
[pid=5046] ppid=5043 vsize=27256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 9 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 964 828 434 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27256

[startup+0.200295 s]
/proc/loadavg: 2.01 2.03 2.05 3/242 5046
/proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556
[pid=5046] ppid=5043 vsize=27256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 19 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 964 828 434 0 178 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27256

[startup+0.300267 s]
/proc/loadavg: 2.01 2.03 2.05 3/242 5046
/proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556
[pid=5046] ppid=5043 vsize=27256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 29 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4908184 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 964 828 434 0 178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27256

[startup+0.700236 s]
/proc/loadavg: 2.01 2.03 2.05 3/242 5046
/proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556
[pid=5046] ppid=5043 vsize=27256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 69 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4908188 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 964 828 434 0 178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27256

[startup+1.50023 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5047
/proc/meminfo: memFree=31884336/32770624 swapFree=5840/217596
[pid=5046] ppid=5043 vsize=27256 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 149 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 964 828 434 0 178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27256

[startup+3.10027 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5047
/proc/meminfo: memFree=31883964/32770624 swapFree=5840/217596
[pid=5046] ppid=5043 vsize=27256 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1209 0 0 0 309 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5081120 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27256

[startup+6.30027 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5047
/proc/meminfo: memFree=31883968/32770624 swapFree=5840/217596
[pid=5046] ppid=5043 vsize=27256 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1290 0 0 0 629 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27256

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5047
/proc/meminfo: memFree=31883184/32770624 swapFree=5840/217596
[pid=5046] ppid=5043 vsize=27256 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1370 0 0 0 1269 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5327936 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27256

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5047
/proc/meminfo: memFree=31883564/32770624 swapFree=5840/217572
[pid=5046] ppid=5043 vsize=27256 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1530 0 0 0 2549 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994526 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27256

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5047
/proc/meminfo: memFree=31883564/32770624 swapFree=5840/217572
[pid=5046] ppid=5043 vsize=27256 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1610 0 0 0 5108 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27256

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5048
/proc/meminfo: memFree=31883144/32770624 swapFree=5840/217572
[pid=5046] ppid=5043 vsize=27256 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1690 0 0 0 10228 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994454 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27256

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5049
/proc/meminfo: memFree=31882524/32770624 swapFree=5840/217728
[pid=5046] ppid=5043 vsize=27256 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1770 0 0 0 16226 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27256

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5051
/proc/meminfo: memFree=31883832/32770624 swapFree=5840/217808
[pid=5046] ppid=5043 vsize=27256 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1850 0 0 0 22225 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27256

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5052
/proc/meminfo: memFree=31883948/32770624 swapFree=5840/217848
[pid=5046] ppid=5043 vsize=27256 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1930 0 0 0 28223 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27256

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5060
/proc/meminfo: memFree=31882440/32770624 swapFree=5840/217848
[pid=5046] ppid=5043 vsize=27256 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2010 0 0 0 34222 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908196 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 27256

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 5083
/proc/meminfo: memFree=31881644/32770624 swapFree=5840/217952
[pid=5046] ppid=5043 vsize=27256 CPUtime=402.2 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2076 0 0 0 40220 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 27256

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 5084
/proc/meminfo: memFree=31880844/32770624 swapFree=5840/217952
[pid=5046] ppid=5043 vsize=27256 CPUtime=462.19 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2170 0 0 0 46219 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 27256

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5216
/proc/meminfo: memFree=32032444/32770624 swapFree=5840/218124
[pid=5046] ppid=5043 vsize=27256 CPUtime=522.18 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2250 0 0 0 52218 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 27256

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5217
/proc/meminfo: memFree=32032352/32770624 swapFree=5840/218124
[pid=5046] ppid=5043 vsize=27256 CPUtime=582.16 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2330 0 0 0 58216 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908341 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27256


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5240
/proc/meminfo: memFree=32029548/32770624 swapFree=5840/218924
[pid=5046] ppid=5043 vsize=27256 CPUtime=1481.96 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3435 0 0 0 148196 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5093248 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 27256

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5248
/proc/meminfo: memFree=32029932/32770624 swapFree=5840/218924
[pid=5046] ppid=5043 vsize=27256 CPUtime=1541.95 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3502 0 0 0 154195 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4912762 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 27256

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5249
/proc/meminfo: memFree=32029224/32770624 swapFree=5840/219000
[pid=5046] ppid=5043 vsize=27256 CPUtime=1601.93 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3580 0 0 0 160193 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908184 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 27256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5250
/proc/meminfo: memFree=32028320/32770624 swapFree=5840/219000
[pid=5046] ppid=5043 vsize=27256 CPUtime=1661.91 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3645 0 0 0 166191 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994506 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 27256

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5251
/proc/meminfo: memFree=32029208/32770624 swapFree=5840/219076
[pid=5046] ppid=5043 vsize=27256 CPUtime=1721.9 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3710 0 0 0 172190 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5319252 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 27256

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5252
/proc/meminfo: memFree=32029204/32770624 swapFree=5840/219076
[pid=5046] ppid=5043 vsize=27256 CPUtime=1781.89 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3791 0 0 0 178189 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 27256

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5254
/proc/meminfo: memFree=32029012/32770624 swapFree=5840/219180
[pid=5046] ppid=5043 vsize=27256 CPUtime=1841.87 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3857 0 0 0 184187 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1841.87
Current children cumulated vsize (KiB) 27256

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5255
/proc/meminfo: memFree=32027784/32770624 swapFree=5840/219180
[pid=5046] ppid=5043 vsize=27256 CPUtime=1901.86 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3937 0 0 0 190186 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1901.86
Current children cumulated vsize (KiB) 27256

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5256
/proc/meminfo: memFree=32028592/32770624 swapFree=5840/219256
[pid=5046] ppid=5043 vsize=27256 CPUtime=1961.85 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4004 0 0 0 196185 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337497 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1961.85
Current children cumulated vsize (KiB) 27256

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5258
/proc/meminfo: memFree=32030608/32770624 swapFree=5840/219308
[pid=5046] ppid=5043 vsize=27256 CPUtime=2021.83 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4071 0 0 0 202183 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2021.83
Current children cumulated vsize (KiB) 27256

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5260
/proc/meminfo: memFree=32029232/32770624 swapFree=5840/219356
[pid=5046] ppid=5043 vsize=27256 CPUtime=2081.83 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4151 0 0 0 208183 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4912709 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2081.83
Current children cumulated vsize (KiB) 27256

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5268
/proc/meminfo: memFree=32027992/32770624 swapFree=5840/219364
[pid=5046] ppid=5043 vsize=27256 CPUtime=2141.8 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4218 0 0 0 214180 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5319868 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2141.8
Current children cumulated vsize (KiB) 27256

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5269
/proc/meminfo: memFree=32028924/32770624 swapFree=5840/219424
[pid=5046] ppid=5043 vsize=27256 CPUtime=2201.8 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4285 0 0 0 220180 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2201.8
Current children cumulated vsize (KiB) 27256

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5270
/proc/meminfo: memFree=32027904/32770624 swapFree=5840/219424
[pid=5046] ppid=5043 vsize=27256 CPUtime=2261.78 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4365 0 0 0 226178 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994503 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2261.78
Current children cumulated vsize (KiB) 27256

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5271
/proc/meminfo: memFree=32028868/32770624 swapFree=5840/219496
[pid=5046] ppid=5043 vsize=27256 CPUtime=2321.76 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4431 0 0 0 232176 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5327799 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2321.76
Current children cumulated vsize (KiB) 27256

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5272
/proc/meminfo: memFree=32027032/32770624 swapFree=5840/219496
[pid=5046] ppid=5043 vsize=27256 CPUtime=2381.75 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4496 0 0 0 238175 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5093436 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2381.75
Current children cumulated vsize (KiB) 27256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 5273
/proc/meminfo: memFree=32027860/32770624 swapFree=5840/219496
[pid=5046] ppid=5043 vsize=27256 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4562 0 0 0 240005 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0
/proc/5046/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 27256

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.05
CPU system time (s): 0.002999
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 27256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.002999
maximum resident set size= 3924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4589
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= 12
involuntary context switches= 121834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18731 second user time and 10.9799 second system time

The end

Launcher Data

Begin job on node126 at 2017-07-21 20:55:08
IDJOB=4242460
IDBENCH=134538
IDSOLVER=2620
FILE ID=node126/4242460-1500663308
RUNJOBID= node126-1500648174-2491
PBS_JOBID= 20623294
Free space on /tmp= 61980 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-04.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242460-1500663308/watcher-4242460-1500663308 -o /tmp/evaluation-result-4242460-1500663308/solver-4242460-1500663308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242460-1500663308.xml

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

MD5SUM BENCH= 986ee2669b222e63b3403a1d528be806
RANDOM SEED=771942285

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31885728 kB
MemAvailable:   31878620 kB
Buffers:           34936 kB
Cached:           270080 kB
SwapCached:            0 kB
Active:           289408 kB
Inactive:         226212 kB
Active(anon):     213316 kB
Inactive(anon):     8656 kB
Active(file):      76092 kB
Inactive(file):   217556 kB
Unevictable:        5840 kB
Mlocked:            5840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2052 kB
Writeback:             0 kB
AnonPages:        221920 kB
Mapped:            31212 kB
Shmem:              8840 kB
Slab:              61592 kB
SReclaimable:      30160 kB
SUnreclaim:        31432 kB
KernelStack:        4544 kB
PageTables:         5772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     482280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61980 MiB
End job on node126 at 2017-07-21 21:35:09