Trace number 4267928

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.1899 2520

General information on the benchmark

NameBlackhole/Blackhole-m1-s13/
Blackhole-13-3-01.xml
MD5SUM8a560dffd54b0877593a0147eb9ff923
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 benchmark0.116712
Satisfiable
(Un)Satisfiability was proved
Number of variables104
Number of constraints87
Number of domains1
Minimum domain size52
Maximum domain size52
Distribution of domain sizes[{"size":52,"count":104}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":87},{"degree":3,"count":17}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}]
Number of extensional constraints51
Number of intensional constraints35
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c Create channel(X,Y) constraint using 52 element constraint 
0.00/0.10	c intension y[16]<y[40]  using generic constraint 
0.00/0.10	c intension y[40]<y[31]  using generic constraint 
0.00/0.10	c intension y[10]<y[43]  using generic constraint 
0.00/0.10	c intension y[43]<y[19]  using generic constraint 
0.00/0.10	c intension y[17]<y[18]  using generic constraint 
0.00/0.10	c intension y[18]<y[14]  using generic constraint 
0.00/0.10	c intension y[44]<y[6]  using generic constraint 
0.00/0.10	c intension y[6]<y[45]  using generic constraint 
0.00/0.10	c intension y[21]<y[7]  using generic constraint 
0.00/0.10	c intension y[7]<y[3]  using generic constraint 
0.00/0.10	c intension y[50]<y[12]  using generic constraint 
0.00/0.10	c intension y[12]<y[42]  using generic constraint 
0.00/0.10	c intension y[30]<y[27]  using generic constraint 
0.00/0.10	c intension y[27]<y[41]  using generic constraint 
0.00/0.10	c intension y[4]<y[9]  using generic constraint 
0.00/0.10	c intension y[9]<y[8]  using generic constraint 
0.00/0.10	c intension y[15]<y[51]  using generic constraint 
0.00/0.10	c intension y[51]<y[48]  using generic constraint 
0.00/0.10	c intension y[36]<y[34]  using generic constraint 
0.00/0.10	c intension y[34]<y[29]  using generic constraint 
0.00/0.10	c intension y[47]<y[35]  using generic constraint 
0.00/0.10	c intension y[35]<y[33]  using generic constraint 
0.00/0.10	c intension y[13]<y[24]  using generic constraint 
0.00/0.10	c intension y[24]<y[38]  using generic constraint 
0.00/0.10	c intension y[28]<y[23]  using generic constraint 
0.00/0.10	c intension y[23]<y[11]  using generic constraint 
0.00/0.10	c intension y[5]<y[1]  using generic constraint 
0.00/0.10	c intension y[1]<y[2]  using generic constraint 
0.00/0.10	c intension y[46]<y[20]  using generic constraint 
0.00/0.10	c intension y[20]<y[37]  using generic constraint 
0.00/0.10	c intension y[22]<y[25]  using generic constraint 
0.00/0.10	c intension y[25]<y[26]  using generic constraint 
0.00/0.10	c intension y[39]<y[49]  using generic constraint 
0.00/0.10	c intension y[49]<y[32]  using generic constraint 
0.00/0.11	c root propagations     : 308         
0.00/0.11	c restarts enabled, print stats at every restarts
0.00/0.11	c
0.00/0.11	c
0.00/0.11	c
0.00/0.11	c This is cosoco 1.12 --  
0.00/0.11	c
0.00/0.11	c command line: cosoco -lc -model -restarts HOME/instance-4267928-1502545043.xml 
0.00/0.11	c ========================================[ Problem Statistics ]===========================================
0.00/0.11	c |                                                                                                       
0.00/0.11	c |  Parse time        :         0.01 s 
0.00/0.11	c |
0.00/0.11	c |               Variables: 104
0.00/0.11	c |            Domain Sizes: 52..52
0.00/0.11	c |
0.00/0.11	c |             Constraints: 138
0.00/0.11	c |                   Arity: 1..53  -- Unary: 1  -- Binary: 85
0.00/0.11	c | 
0.00/0.11	c |                   Types: 
0.00/0.11	c |                          (X - Y < k): 34
0.00/0.11	c |                          Element Constant: 52
0.00/0.11	c |                          Extension: 51  (nb tuples: 416..416) -- (shared: 50)
0.00/0.11	c |                          Intension: 1
0.00/0.11	c |                          
0.00/0.11	c =========================================================================================================
0.00/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.11	c 101            232            21817          12238          104            0              49   60   57   
0.00/0.11	c 211            398            43122          21362          104            0              40   46   42   
0.00/0.11	c 332            615            70119          44774          104            0              37   41   39   
0.00/0.12	c 465            798            97702          67161          104            0              40   43   41   
0.00/0.12	c 611            1014           124314         89068          104            0              39   41   40   
0.00/0.13	c 771            1270           169331         112848         104            0              42   49   43   
0.00/0.13	c 947            1704           211130         132464         104            0              40   45   41   
0.00/0.14	c 1140           2048           258996         186261         104            0              38   44   39   
0.00/0.14	c 1352           2353           313290         216519         104            0              37   44   39   
0.00/0.15	c 1585           2741           389814         299193         104            0              37   37   36   
0.00/0.16	c 1841           3343           448796         329293         104            0              39   44   41   
0.00/0.17	c 2122           3923           536950         395331         104            0              42   45   43   
0.00/0.18	c 2431           4327           599771         464658         104            0              41   46   41   
0.00/0.19	c 2770           4907           683428         543861         104            0              40   45   41   
0.00/0.19	c 3142           5404           775051         587317         104            0              46   50   48   
0.10/0.20	c 3551           6074           849606         600778         104            0              22   49   47   
0.10/0.20	c 4000           7093           922812         613758         104            0              23   39   38   
0.10/0.21	c 4493           7807           1011615        685886         104            0              39   41   40   
0.10/0.23	c 5035           8702           1135726        841671         104            0              42   42   41   
0.10/0.24	c 5631           11145          1267102        917939         104            0              35   50   47   
0.10/0.25	c 6286           12190          1360728        953721         104            0              33   38   36   
0.10/0.26	c 7006           13376          1458363        971071         104            0              47   54   52   
0.10/0.27	c 7798           14249          1545130        1006455        104            0              40   43   40   
0.10/0.28	c 8669           15495          1675382        1096377        104            0              41   46   44   
0.10/0.29	c 9627           16750          1790012        1194062        104            0              43   46   43   
0.20/0.30	c 10680          18439          1921680        1254630        104            0              31   45   44   
0.20/0.33	c 11838          20601          2182739        1519381        104            0              41   44   41   
0.20/0.35	c 13111          23409          2417198        1621188        104            0              40   42   41   
0.20/0.38	c 14511          25315          2640225        1862913        104            0              39   43   41   
0.30/0.41	c 16051          27540          2915568        2156067        104            0              37   41   39   
0.30/0.43	c 17745          30997          3220237        2237016        104            0              42   54   51   
0.30/0.45	c 19608          33622          3411752        2379073        104            0              43   46   45   
0.30/0.48	c 21657          37314          3807317        2636233        104            0              44   45   44   
0.40/0.52	c 23910          40712          4195251        2882818        104            0              44   46   45   
0.40/0.56	c 26388          43915          4670802        3123847        104            0              45   48   47   
0.40/0.59	c 29113          48874          5039135        3243390        104            0              33   36   35   
0.50/0.64	c 32110          55329          5657181        3554843        104            0              38   40   39   
0.60/0.70	c 35406          59830          6338850        4015067        104            0              43   43   42   
0.60/0.75	c 39031          67332          6950232        4196407        104            0              37   42   41   
0.70/0.88	c 43018          75151          8220823        5471598        104            0              39   42   41   
0.80/0.95	c 47403          82609          9088487        5950719        104            0              39   43   41   
0.90/1.02	c 52226          96160          10051649       6130807        104            0              34   56   50   
1.00/1.20	c 57531          107503         12397311       8038920        104            0              41   46   45   
1.20/1.35	c 63366          119045         13737513       9617832        104            0              37   40   39   
1.40/1.52	c 69784          132270         15713307       10877400       104            0              32   43   37   
1.70/1.81	c 76843          143857         18352258       14168184       104            0              35   37   36   
1.80/1.90	c 84607          164590         19802460       14510255       104            0              36   50   47   
1.90/2.03	c 93147          174231         20776194       15833123       104            0              37   39   38   
2.00/2.13	c 102541         189373         22067255       16284809       104            0              48   56   52   
2.20/2.34	c 112874         201328         23711201       18590840       104            0              37   39   38   
2.30/2.45	c 124240         226348         25582807       18953343       104            0              37   59   54   
2.60/2.78	c 136742         251271         28991715       21998505       104            0              42   44   43   
3.00/3.16	c 150494         274732         32643771       25026391       104            0              38   46   41   
3.40/3.57	c 165621         293995         36211498       28088200       104            0              40   44   43   
3.60/3.72	c 182260         314323         37682669       29240562       104            0              41   45   44   
3.90/4.06	c 200562         348798         42662662       31506822       104            0              40   54   49   
4.50/4.60	c 220694         388991         48528138       36197526       104            0              42   45   44   
4.70/4.89	c 242839         417474         51580972       38375800       104            0              37   41   38   
5.40/5.58	c 267198         461113         58731310       41498936       104            0              40   45   43   
5.90/6.08	c 293992         496605         63824137       45557954       104            0              39   44   43   
8.60/8.74	c 323465         538108         80268823       67186442       104            0              30   40   33   
9.19/9.36	c 355885         579170         86401367       72403060       104            0              43   43   42   
9.80/9.92	c 391547         652553         94384230       75221691       104            0              33   55   48   
10.90/11.10	c 430775         703136         107416795      86980264       104            0              38   47   41   
12.00/12.19	c 473925         758635         116794920      95392682       104            0              41   45   43   
12.69/12.89	c 521390         820574         126040249      99516182       104            0              42   59   51   
14.09/14.21	c 573601         885826         138998168      110344654      104            0              41   42   41   
14.79/14.94	c 631033         985608         147838360      113232747      104            0              38   48   44   
15.69/15.83	c 694208         1065743        157518001      119720733      104            0              43   47   45   
16.89/17.04	c 763700         1164995        169642926      126448584      104            0              39   48   42   
20.19/20.30	c 840141         1337802        201537886      144294044      104            0              37   50   42   
21.19/21.35	c 924226         1450919        213989525      151418315      104            0              43   48   46   
23.59/23.72	c 1016719        1589789        236785130      168762012      104            0              39   49   42   
24.99/25.12	c 1118461        1715796        252001707      178796273      104            0              44   45   44   
27.39/27.51	c 1230377        1856419        278208761      192730950      104            0              42   53   45   
29.09/29.22	c 1353484        2004282        295288399      204851291      104            0              40   44   43   
31.49/31.66	c 1488901        2298928        327549298      212681228      104            0              48   56   53   
33.79/33.93	c 1637859        2533245        354536933      226998014      104            0              39   50   44   
35.39/35.51	c 1801712        2902359        381953615      230820098      104            0              47   57   55   
39.29/39.49	c 1981950        3254551        433138251      259857304      104            0              40   49   43   
41.39/41.57	c 2180211        3652811        464301222      267915842      104            0              41   54   50   
46.78/46.99	c 2398298        3987199        514812857      319432982      104            0              37   53   42   
51.18/51.36	c 2638193        4395367        566697168      361602413      104            0              40   50   44   
54.89/55.07	c 2902077        4943152        620720517      378493409      104            0              41   52   47   
64.58/64.75	c 3192349        5482197        718205472      454221893      104            0              39   49   42   
73.48/73.64	c 3511648        6100430        821902382      530194205      104            0              40   48   42   
76.68/76.84	c 3862876        6519366        870086381      542920148      104            0              42   51   47   
87.77/87.94	c 4249226        7271181        1000375718     636664164      104            0              40   48   43   
91.87/92.09	c 4674211        7883924        1060337533     652759606      104            0              39   52   46   
99.17/99.31	c 5141694        8798608        1158242231     692248742      104            0              41   52   47   
117.46/117.60	c 5655925        9760776        1333759675     838271258      104            0              39   44   41   
130.56/130.76	c 6221579        10560596       1465494472     956227109      104            0              38   48   42   
137.96/138.19	c 6843798        11687225       1562166187     1005155313     104            0              41   52   46   
149.75/149.98	c 7528238        12733376       1687070975     1102217265     104            0              40   45   43   
161.95/162.13	c 8281122        13724211       1828416039     1175900645     104            0              36   50   41   
173.55/173.72	c 9109294        14819983       1940629762     1265957323     104            0              39   45   42   
179.65/179.88	c 10020283       15903095       2051582020     1287823748     104            0              56   61   59   
192.24/192.46	c 11022370       17300421       2177710757     1396335907     104            0              40   45   43   
201.14/201.30	c 12124665       18777281       2352168233     1416345283     104            0              37   62   58   
219.13/219.36	c 13337189       20577630       2526031242     1569194160     104            0              38   46   43   
246.63/246.80	c 14670965       23368604       2879549381     1722468732     104            0              38   59   50   
269.02/269.20	c 16138118       25010826       3194317928     1808651446     104            0              41   48   45   
296.71/296.98	c 17751986       27331302       3493790403     2055268796     104            0              41   47   44   
317.91/318.13	c 19527240       30387936       3796308286     2145423767     104            0              39   61   48   
351.70/351.90	c 21480019       34028518       4223393693     2349134375     104            0              41   47   45   
373.90/374.11	c 23628075       36827770       4468509576     2507981691     104            0              42   48   45   
402.49/402.71	c 25990936       39450568       4848454461     2662365183     104            0              45   60   49   
427.88/428.16	c 28590083       42769406       5131236404     2840794745     104            0              45   48   47   
484.86/485.14	c 31449144       46586087       5863101381     3299274339     104            0              43   57   51   
517.95/518.25	c 34594111       51153773       6270318410     3504034542     104            0              42   49   47   
569.13/569.45	c 38053574       56818246       6871829367     3838247226     104            0              42   49   45   
604.92/605.26	c 41858983       61313906       7456129631     3936536794     104            0              48   60   53   
678.10/678.44	c 46044932       72955548       8488015104     4160454938     104            0              32   44   40   
738.99/739.39	c 50649475       79308914       9093669649     4623548345     104            0              42   49   45   
806.77/807.11	c 55714472       85885681       9758125546     5153360839     104            0              43   46   45   
881.15/881.58	c 61285968       93651573       10824307555    5479385907     104            0              47   58   52   
944.83/945.26	c 67414613       101188011      11466597542    5979424080     104            0              42   48   45   
1033.40/1033.82	c 74156122       111271260      12957585964    6351400633     104            0              39   60   52   
1130.48/1130.99	c 81571781       123177711      14266272320    6713794838     104            0              32   46   40   
1259.64/1260.14	c 89729005       135975378      15711120515    7692035421     104            0              43   49   46   
1359.31/1359.89	c 98701951       150128671      17270929664    8080695931     104            0              33   62   57   
1457.09/1457.61	c 108572191      163011204      18376544262    8848627040     104            0              41   47   45   
1566.65/1567.20	c 119429455      179408732      19916315472    9386611492     104            0              38   59   49   
1679.92/1680.52	c 131372445      196256566      21307122714    10142236959    104            0              44   50   47   
1872.26/1872.90	c 144509734      219580652      23728670443    11614647516    104            0              36   52   49   
2005.43/2006.13	c 158960751      241550935      25500726928    12395784307    104            0              43   50   47   
2227.46/2228.23	c 174856869      279242307      29112174602    13237728739    104            0              33   61   55   
2395.12/2395.95	c 192342598      309751395      31375281117    14138950202    104            0              41   50   47   
2519.18/2520.00	
2519.18/2520.00	c *** INTERRUPTED ***
2519.18/2520.00	c restarts              : 128         
2519.18/2520.00	c conflicts             : 196632225    (78054 /sec)
2519.18/2520.00	c decisions             : 318718365    (126516 /sec)
2519.18/2520.00	c propagations          : 15108183098 (5997251 /sec)
2519.18/2520.00	c root propagations     : 308         
2519.18/2520.00	c filter calls          : 32806066287    (13022494 /sec)
2519.18/2520.00	c useless filter calls  : 23837146210    (72 %)
2519.18/2520.00	c Memory used           : 26.77 MB
2519.18/2520.00	c CPU time              : 2519.18 s
2519.18/2520.00	
2519.18/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267928-1502545043/watcher-4267928-1502545043 -o /tmp/evaluation-result-4267928-1502545043/solver-4267928-1502545043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1849 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267928-1502545043.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 10360
/proc/meminfo: memFree=31312672/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10360/stat : 10360 (runsolver) D 10357 10360 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56699763 24240128 106 18446744073709551615 4194304 4338465 140726412401104 140726412398744 139783595471575 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31961088 140726412402882 140726412403273 140726412403273 140726412406730 0
/proc/10360/statm: 5918 106 53 36 0 2156 0

[startup+0.100108 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 10360
/proc/meminfo: memFree=31312672/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27128 CPUtime=0 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 56699763 27779072 832 18446744073709551615 4194304 5972588 140724723389344 140724723385992 140251794426853 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6782 832 721 435 0 145 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27128

[startup+0.200214 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 10360
/proc/meminfo: memFree=31312672/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27404 CPUtime=0.1 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1171 0 0 0 10 0 0 0 20 0 1 0 56699763 28061696 998 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5338586 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 998 827 435 0 214 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27404

[startup+0.300201 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 10360
/proc/meminfo: memFree=31312672/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27404 CPUtime=0.2 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1171 0 0 0 20 0 0 0 20 0 1 0 56699763 28061696 998 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5338578 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 998 827 435 0 214 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27404

[startup+0.70017 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 10360
/proc/meminfo: memFree=31312672/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27404 CPUtime=0.6 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1171 0 0 0 60 0 0 0 20 0 1 0 56699763 28061696 998 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4913427 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 998 827 435 0 214 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 27404

[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10361
/proc/meminfo: memFree=31311936/32770624 swapFree=0/329048
[pid=10360] ppid=10357 vsize=27404 CPUtime=1.4 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1171 0 0 0 140 0 0 0 20 0 1 0 56699763 28061696 998 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5099648 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 998 827 435 0 214 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 27404

[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10361
/proc/meminfo: memFree=31311564/32770624 swapFree=0/329048
[pid=10360] ppid=10357 vsize=27404 CPUtime=3 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1284 0 0 0 300 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995521 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 27404

[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10361
/proc/meminfo: memFree=31311564/32770624 swapFree=0/329048
[pid=10360] ppid=10357 vsize=27404 CPUtime=6.2 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1398 0 0 0 620 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5099648 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 27404

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10361
/proc/meminfo: memFree=31311564/32770624 swapFree=0/329040
[pid=10360] ppid=10357 vsize=27404 CPUtime=12.59 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1513 0 0 0 1259 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5338173 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 27404

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10361
/proc/meminfo: memFree=31311692/32770624 swapFree=0/329028
[pid=10360] ppid=10357 vsize=27404 CPUtime=25.39 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1738 0 0 0 2539 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5099616 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 27404

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10362
/proc/meminfo: memFree=31311940/32770624 swapFree=0/329020
[pid=10360] ppid=10357 vsize=27404 CPUtime=50.98 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1851 0 0 0 5098 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995434 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 27404

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10365
/proc/meminfo: memFree=31312080/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27404 CPUtime=102.17 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 1964 0 0 0 10217 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995539 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 27404

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 10367
/proc/meminfo: memFree=31311032/32770624 swapFree=0/329024
[pid=10360] ppid=10357 vsize=27404 CPUtime=162.15 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2076 0 0 0 16215 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4913600 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 27404

[startup+222.305 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 10369
/proc/meminfo: memFree=31311412/32770624 swapFree=0/329052
[pid=10360] ppid=10357 vsize=27404 CPUtime=222.14 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2189 0 0 0 22214 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5099616 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 27404

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10372
/proc/meminfo: memFree=31311636/32770624 swapFree=0/329068
[pid=10360] ppid=10357 vsize=27404 CPUtime=282.12 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2302 0 0 0 28212 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995472 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 27404

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10374
/proc/meminfo: memFree=31311644/32770624 swapFree=0/329076
[pid=10360] ppid=10357 vsize=27404 CPUtime=342.1 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2416 0 0 0 34210 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995517 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 27404

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10389
/proc/meminfo: memFree=31307472/32770624 swapFree=0/329100
[pid=10360] ppid=10357 vsize=27404 CPUtime=402.08 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2529 0 0 0 40208 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995525 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 27404

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10392
/proc/meminfo: memFree=31307220/32770624 swapFree=0/329124
[pid=10360] ppid=10357 vsize=27404 CPUtime=462.07 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2641 0 0 0 46207 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995517 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 27404

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10393
/proc/meminfo: memFree=31310304/32770624 swapFree=0/329128
[pid=10360] ppid=10357 vsize=27404 CPUtime=522.05 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2754 0 0 0 52205 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995517 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 27404

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10395
/proc/meminfo: memFree=31310304/32770624 swapFree=0/329120
[pid=10360] ppid=10357 vsize=27404 CPUtime=582.03 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 2867 0 0 0 58203 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995475 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 27404


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


[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 10518
/proc/meminfo: memFree=31345436/32770624 swapFree=0/329316
[pid=10360] ppid=10357 vsize=27404 CPUtime=1601.74 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 4707 0 0 0 160174 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995447 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 27404

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 10520
/proc/meminfo: memFree=31345452/32770624 swapFree=0/329320
[pid=10360] ppid=10357 vsize=27404 CPUtime=1661.72 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 4805 0 0 0 166172 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4913622 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 27404

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 10522
/proc/meminfo: memFree=31347980/32770624 swapFree=0/329352
[pid=10360] ppid=10357 vsize=27404 CPUtime=1721.71 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 4918 0 0 0 172171 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5338586 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 27404

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 10524
/proc/meminfo: memFree=31348088/32770624 swapFree=0/329364
[pid=10360] ppid=10357 vsize=27404 CPUtime=1781.69 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5017 0 0 0 178169 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5109232 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 27404

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10526
/proc/meminfo: memFree=31348740/32770624 swapFree=0/329368
[pid=10360] ppid=10357 vsize=27404 CPUtime=1841.67 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5116 0 0 0 184167 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5328713 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1841.67
Current children cumulated vsize (KiB) 27404

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10529
/proc/meminfo: memFree=31349460/32770624 swapFree=0/329384
[pid=10360] ppid=10357 vsize=27404 CPUtime=1901.66 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5229 0 0 0 190166 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4913600 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1901.66
Current children cumulated vsize (KiB) 27404

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10531
/proc/meminfo: memFree=31349584/32770624 swapFree=0/329380
[pid=10360] ppid=10357 vsize=27404 CPUtime=1961.64 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5327 0 0 0 196164 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5099616 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 1961.64
Current children cumulated vsize (KiB) 27404

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10533
/proc/meminfo: memFree=31349840/32770624 swapFree=0/329388
[pid=10360] ppid=10357 vsize=27404 CPUtime=2021.62 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5442 0 0 0 202162 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995517 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2021.62
Current children cumulated vsize (KiB) 27404

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10536
/proc/meminfo: memFree=31350084/32770624 swapFree=0/329396
[pid=10360] ppid=10357 vsize=27404 CPUtime=2081.61 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5540 0 0 0 208161 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5328641 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2081.61
Current children cumulated vsize (KiB) 27404

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10538
/proc/meminfo: memFree=31350188/32770624 swapFree=0/329400
[pid=10360] ppid=10357 vsize=27404 CPUtime=2141.59 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5640 0 0 0 214159 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995521 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2141.59
Current children cumulated vsize (KiB) 27404

[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 10554
/proc/meminfo: memFree=31345444/32770624 swapFree=0/329416
[pid=10360] ppid=10357 vsize=27404 CPUtime=2201.58 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5739 0 0 0 220158 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995539 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2201.58
Current children cumulated vsize (KiB) 27404

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 10580
/proc/meminfo: memFree=31343708/32770624 swapFree=0/329440
[pid=10360] ppid=10357 vsize=27404 CPUtime=2261.55 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5852 0 0 0 226155 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4995479 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2261.55
Current children cumulated vsize (KiB) 27404

[startup+2322.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/184 10582
/proc/meminfo: memFree=31345112/32770624 swapFree=0/329456
[pid=10360] ppid=10357 vsize=27404 CPUtime=2321.54 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 5951 0 0 0 232154 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4909184 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2321.54
Current children cumulated vsize (KiB) 27404

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 10584
/proc/meminfo: memFree=31347516/32770624 swapFree=0/329484
[pid=10360] ppid=10357 vsize=27404 CPUtime=2381.52 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 6050 0 0 0 238152 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5094162 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2381.52
Current children cumulated vsize (KiB) 27404

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10586
/proc/meminfo: memFree=31348508/32770624 swapFree=0/329492
[pid=10360] ppid=10357 vsize=27404 CPUtime=2441.5 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 6163 0 0 0 244150 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5327790 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2441.5
Current children cumulated vsize (KiB) 27404

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10588
/proc/meminfo: memFree=31348260/32770624 swapFree=0/329500
[pid=10360] ppid=10357 vsize=27404 CPUtime=2501.48 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 6262 0 0 0 250148 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 4908928 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2501.48
Current children cumulated vsize (KiB) 27404



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10590
/proc/meminfo: memFree=31348880/32770624 swapFree=0/329520
[pid=10360] ppid=10357 vsize=27404 CPUtime=2519.18 cores=1,3,5,7
/proc/10360/stat : 10360 (cosoco) R 10357 10360 1785 0 -1 4202496 6361 0 0 0 251918 0 0 0 20 0 1 0 56699763 28061696 1012 18446744073709551615 4194304 5972588 140724723389344 140724723386648 5328506 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 32964608 140724723397102 140724723397197 140724723397197 140724723400654 0
/proc/10360/statm: 6851 1012 836 435 0 214 0
Current children cumulated CPU time (s) 2519.18
Current children cumulated vsize (KiB) 27404

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.19
CPU user time (s): 2519.18
CPU system time (s): 0.002296
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 27404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.002296
maximum resident set size= 4116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6411
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= 10
involuntary context switches= 13253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37527 second user time and 7.61457 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 15:23:22
IDJOB=4267928
IDBENCH=134493
IDSOLVER=2658
FILE ID=node126/4267928-1502545043
RUNJOBID= node126-1502500311-1849
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-01.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267928-1502545043/watcher-4267928-1502545043 -o /tmp/evaluation-result-4267928-1502545043/solver-4267928-1502545043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1849 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267928-1502545043.xml

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

MD5SUM BENCH= 8a560dffd54b0877593a0147eb9ff923
RANDOM SEED=1027154160

node126.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.81
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.81
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.81
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.81
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:        31313048 kB
MemAvailable:   31944328 kB
Buffers:          303956 kB
Cached:           599056 kB
SwapCached:          524 kB
Active:           598784 kB
Inactive:         400348 kB
Active(anon):      49652 kB
Inactive(anon):    71324 kB
Active(file):     549132 kB
Inactive(file):   329024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2344 kB
Writeback:             4 kB
AnonPages:        103784 kB
Mapped:            46012 kB
Shmem:             25248 kB
Slab:             163740 kB
SReclaimable:     137920 kB
SUnreclaim:        25820 kB
KernelStack:        3392 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-12 16:05:22