Trace number 4267927

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) 2520.02 2520

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.06	c Create channel(X,Y) constraint using 40 element constraint 
0.00/0.06	c intension y[30]<y[29]  using generic constraint 
0.00/0.06	c intension y[29]<y[17]  using generic constraint 
0.00/0.06	c intension y[11]<y[3]  using generic constraint 
0.00/0.06	c intension y[3]<y[19]  using generic constraint 
0.00/0.06	c intension y[38]<y[12]  using generic constraint 
0.00/0.06	c intension y[12]<y[20]  using generic constraint 
0.00/0.06	c intension y[9]<y[6]  using generic constraint 
0.00/0.06	c intension y[6]<y[14]  using generic constraint 
0.00/0.06	c intension y[21]<y[15]  using generic constraint 
0.00/0.06	c intension y[15]<y[24]  using generic constraint 
0.00/0.07	c intension y[25]<y[8]  using generic constraint 
0.00/0.07	c intension y[8]<y[27]  using generic constraint 
0.00/0.07	c intension y[7]<y[22]  using generic constraint 
0.00/0.07	c intension y[22]<y[2]  using generic constraint 
0.00/0.07	c intension y[32]<y[5]  using generic constraint 
0.00/0.07	c intension y[5]<y[28]  using generic constraint 
0.00/0.07	c intension y[16]<y[13]  using generic constraint 
0.00/0.07	c intension y[13]<y[33]  using generic constraint 
0.00/0.07	c intension y[18]<y[35]  using generic constraint 
0.00/0.07	c intension y[35]<y[4]  using generic constraint 
0.00/0.07	c intension y[10]<y[36]  using generic constraint 
0.00/0.07	c intension y[36]<y[39]  using generic constraint 
0.00/0.07	c intension y[26]<y[1]  using generic constraint 
0.00/0.07	c intension y[1]<y[23]  using generic constraint 
0.00/0.07	c intension y[34]<y[31]  using generic constraint 
0.00/0.07	c intension y[31]<y[37]  using generic constraint 
0.00/0.07	c root propagations     : 234         
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 1.12 --  
0.00/0.07	c
0.00/0.07	c command line: cosoco -lc -model -restarts HOME/instance-4267927-1502545784.xml 
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.01 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 80
0.00/0.07	c |            Domain Sizes: 40..40
0.00/0.07	c |
0.00/0.07	c |             Constraints: 106
0.00/0.07	c |                   Arity: 1..41  -- Unary: 1  -- Binary: 65
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          (X - Y < k): 26
0.00/0.07	c |                          Element Constant: 40
0.00/0.07	c |                          Extension: 39  (nb tuples: 320..320) -- (shared: 38)
0.00/0.07	c |                          Intension: 1
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.07	c 101            274            18071          5356           80             0              41   48   43   
0.00/0.07	c 211            466            35987          21126          80             0              28   31   29   
0.00/0.07	c 332            642            48261          31224          80             0              31   32   31   
0.00/0.08	c 465            928            68122          36387          80             0              31   44   42   
0.00/0.08	c 611            1143           85298          50222          80             0              34   34   33   
0.00/0.08	c 771            1402           109910         62297          80             0              30   33   32   
0.00/0.08	c 947            1721           130934         71005          80             0              29   33   32   
0.00/0.08	c 1140           2044           153035         84115          80             0              36   37   36   
0.00/0.09	c 1352           2450           205364         121534         80             0              27   28   27   
0.00/0.09	c 1585           2768           233033         145393         80             0              33   34   33   
0.03/0.10	c 1841           3312           273168         160900         80             0              32   35   33   
0.03/0.10	c 2122           3890           340876         192197         80             0              31   34   33   
0.03/0.11	c 2431           4377           390236         225055         80             0              34   39   36   
0.03/0.11	c 2770           4767           447967         272172         80             0              27   34   30   
0.03/0.12	c 3142           5370           489136         303679         80             0              28   35   33   
0.03/0.12	c 3551           6280           541526         316478         80             0              28   29   28   
0.03/0.13	c 4000           6867           581575         361394         80             0              30   33   30   
0.03/0.13	c 4493           7646           643311         403434         80             0              33   34   33   
0.03/0.14	c 5035           8743           725119         455037         80             0              28   32   30   
0.03/0.14	c 5631           9861           797424         467198         80             0              29   45   38   
0.03/0.15	c 6286           10894          880764         514945         80             0              34   35   34   
0.03/0.16	c 7006           11940          958649         587544         80             0              32   35   33   
0.03/0.17	c 7798           13054          1040897        647426         80             0              34   34   33   
0.03/0.18	c 8669           14939          1167727        697702         80             0              33   35   34   
0.03/0.19	c 9627           16967          1327384        775847         80             0              35   36   35   
0.13/0.20	c 10680          18462          1433091        848630         80             0              34   37   35   
0.13/0.21	c 11838          20968          1593885        905287         80             0              32   35   34   
0.13/0.24	c 13111          22993          1916525        1037789        80             0              31   39   34   
0.13/0.26	c 14511          25179          2167136        1238687        80             0              31   39   34   
0.13/0.28	c 16051          27163          2325722        1351948        80             0              34   35   34   
0.13/0.29	c 17745          30807          2587828        1446368        80             0              32   42   39   
0.23/0.31	c 19608          33476          2797747        1591798        80             0              34   37   34   
0.23/0.35	c 21657          37582          3153486        1867364        80             0              35   37   35   
0.23/0.37	c 23910          41293          3471161        2089024        80             0              32   37   34   
0.23/0.40	c 26388          45226          3825892        2193095        80             0              32   42   38   
0.33/0.42	c 29113          49380          4106843        2366696        80             0              32   37   34   
0.33/0.45	c 32110          54923          4502236        2426753        80             0              24   37   34   
0.43/0.51	c 35406          60479          5155324        2990954        80             0              27   35   29   
0.43/0.54	c 39031          66709          5659188        3136463        80             0              32   44   38   
0.43/0.57	c 43018          72180          5952682        3370549        80             0              34   34   33   
0.53/0.62	c 47403          79513          6515614        3757895        80             0              35   38   36   
0.53/0.65	c 52226          86377          7104619        3892089        80             0              35   41   37   
0.53/0.69	c 57531          94795          7566028        4105160        80             0              34   36   35   
0.63/0.72	c 63366          103408         8284100        4234580        80             0              42   46   44   
0.63/0.79	c 69784          113804         9096935        4899508        80             0              33   37   35   
0.73/0.89	c 76843          123035         10374116       5627876        80             0              34   37   34   
0.83/0.97	c 84607          134127         11175674       6263729        80             0              32   33   32   
0.93/1.02	c 93147          147800         11891269       6577644        80             0              33   36   35   
1.03/1.10	c 102541         165872         13280342       6923527        80             0              38   47   43   
1.03/1.17	c 112874         182353         14170086       7336525        80             0              36   38   37   
1.23/1.35	c 124240         199184         16486227       8470044        80             0              25   39   34   
1.33/1.43	c 136742         220178         17589861       8904907        80             0              34   37   36   
1.43/1.55	c 150494         247116         19428834       9328041        80             0              26   40   33   
1.53/1.66	c 165621         267982         20613077       10267460       80             0              31   33   32   
1.63/1.79	c 182260         290919         21980559       11380783       80             0              31   34   33   
1.93/2.02	c 200562         316506         24965647       12910149       80             0              29   42   36   
2.03/2.17	c 220694         344315         26544543       14189436       80             0              31   33   32   
2.33/2.47	c 242839         376388         30728744       16172436       80             0              28   44   37   
2.53/2.67	c 267198         419130         33267556       17422694       80             0              32   36   34   
2.83/2.93	c 293992         463493         36426352       19186335       80             0              33   36   35   
3.03/3.15	c 323465         503784         38813935       21135308       80             0              31   33   32   
3.23/3.35	c 355885         543570         42313940       21910426       80             0              29   41   39   
3.53/3.63	c 391547         592360         45186525       24252135       80             0              31   33   32   
3.73/3.88	c 430775         651311         49742754       25193365       80             0              34   45   41   
4.13/4.20	c 473925         715461         53440331       27282565       80             0              33   36   34   
4.44/4.58	c 521390         778595         57247246       30566591       80             0              31   37   32   
5.03/5.16	c 573601         840694         64896550       34570231       80             0              37   44   37   
5.43/5.51	c 631033         926660         69379542       37038685       80             0              32   35   34   
5.93/6.01	c 694208         1020646        77767533       39353033       80             0              32   45   40   
6.64/6.74	c 763700         1133751        86478913       44017880       80             0              27   35   31   
7.23/7.32	c 840141         1264377        94343931       47274832       80             0              31   36   34   
8.33/8.42	c 924226         1381349        105799763      60196032       80             0              31   36   33   
9.33/9.40	c 1016719        1506186        116270861      69863706       80             0              31   36   33   
10.03/10.16	c 1118461        1664847        125529632      75996665       80             0              31   35   34   
11.13/11.24	c 1230377        1861131        142498024      82214075       80             0              34   46   42   
12.03/12.17	c 1353484        2039965        153764239      88404290       80             0              31   36   34   
13.24/13.38	c 1488901        2333253        175135909      93290993       80             0              31   46   40   
14.34/14.49	c 1637859        2587657        190020627      99631302       80             0              31   36   34   
15.53/15.65	c 1801712        2799334        209969244      104648560      80             0              32   42   38   
16.73/16.85	c 1981950        3098504        226391642      111405130      80             0              31   36   34   
18.23/18.35	c 2180211        3362749        242984540      122456068      80             0              31   36   33   
19.53/19.68	c 2398298        3615713        266578172      127132039      80             0              37   46   42   
21.43/21.51	c 2638193        4009961        290679152      137933825      80             0              31   36   34   
23.43/23.59	c 2902077        4549700        326561688      144934666      80             0              36   43   41   
25.34/25.49	c 3192349        5054240        353539050      154896839      80             0              31   36   34   
27.93/28.01	c 3511648        5699655        397109698      163599660      80             0              35   43   40   
30.43/30.58	c 3862876        6285908        432149695      178425895      80             0              31   36   34   
33.63/33.71	c 4249226        6980456        482635196      195794167      80             0              32   44   40   
38.54/38.69	c 4674211        7903917        551754801      224790264      80             0              31   36   33   
41.74/41.89	c 5141694        8714826        595541045      242461725      80             0              31   36   34   
46.14/46.28	c 5655925        9448058        645713081      276012098      80             0              32   36   33   
49.83/49.94	c 6221579        10479545       715246655      287913759      80             0              32   45   43   
54.73/54.88	c 6843798        11593530       782531112      316006220      80             0              30   36   34   
60.44/60.51	c 7528238        12520450       845573413      359474584      80             0              33   36   33   
66.73/66.80	c 8281122        13676695       947929414      386510833      80             0              30   44   41   
72.83/72.94	c 9109294        15052851       1028846135     424446550      80             0              32   38   35   
81.34/81.45	c 10020283       16562151       1140732882     480196433      80             0              30   36   34   
89.63/89.75	c 11022370       18809344       1292103389     507628320      80             0              30   45   42   
96.53/96.65	c 12124665       20588521       1386381625     548089675      80             0              30   36   34   
106.13/106.26	c 13337189       23054911       1554046193     586653020      80             0              35   45   42   
114.53/114.69	c 14670965       25298022       1673080432     633323829      80             0              30   36   34   
135.34/135.48	c 16138118       27940152       1946002924     763462257      80             0              27   44   37   
146.83/146.90	c 17751986       31015695       2112902183     819639701      80             0              31   38   36   
164.94/165.03	c 19527240       34469592       2413857453     901165845      80             0              23   43   39   
179.64/179.74	c 21480019       37394892       2592517875     1001858248     80             0              31   38   35   
196.04/196.12	c 23628075       41885828       2894684026     1063693323     80             0              27   44   43   
214.14/214.22	c 25990936       45830255       3126885245     1189158706     80             0              31   38   34   
235.74/235.85	c 28590083       51766593       3495887141     1252867568     80             0              20   43   36   
253.84/253.98	c 31449144       56313055       3738654618     1367746685     80             0              32   38   35   
302.24/302.33	c 34594111       62535006       4387095147     1716513754     80             0              17   45   37   
342.24/342.31	c 38053574       69265032       4910975136     1984150578     80             0              30   38   34   
406.84/406.90	c 41858983       76792028       5675876948     2296422307     80             0              32   38   34   
435.24/435.30	c 46044932       85106448       6228720506     2384767298     80             0              19   50   40   
488.25/488.35	c 50649475       92856806       6908612221     2698207857     80             0              33   38   36   
544.65/544.73	c 55714472       100654573      7624913478     3149395134     80             0              32   38   35   
580.55/580.60	c 61285968       112615943      8252885308     3251532183     80             0              25   39   34   
652.85/652.90	c 67414613       121272451      9068626024     3989390840     80             0              33   39   36   
726.75/726.89	c 74156122       130332894      10062970720    4483961903     80             0              27   38   31   
828.56/828.65	c 81571781       141472798      11230844927    5559391304     80             0              31   34   33   
953.46/953.50	c 89729005       157375490      12960605777    6498761541     80             0              29   46   40   
1060.26/1060.34	c 98701951       174708987      14297280142    7099656363     80             0              30   37   35   
1140.77/1140.84	c 108572191      188225919      15162080279    7778618441     80             0              30   38   34   
1215.47/1215.54	c 119429455      204291019      16486365454    8030618660     80             0              24   42   39   
1359.58/1359.62	c 131372445      230898309      18332317165    8881233489     80             0              29   35   33   
1536.09/1536.10	c 144509734      252293644      20528381036    10048402006    80             0              29   38   34   
1710.60/1710.62	c 158960751      275626491      22512771335    11395114993    80             0              28   39   33   
1872.00/1872.09	c 174856869      302080382      24729557667    12333581040    80             0              31   37   35   
2044.50/2044.50	c 192342598      335640435      27221953650    13191804565    80             0              30   37   35   
2232.21/2232.21	c 211576899      370461955      29616321998    14311863266    80             0              30   37   35   
2496.71/2496.70	c 232734630      409422098      32846842533    16097997058    80             0              29   38   34   
2520.02/2520.00	
2520.02/2520.00	c *** INTERRUPTED ***
2520.02/2520.00	c restarts              : 130         
2520.02/2520.00	c conflicts             : 234171305    (92925 /sec)
2520.02/2520.00	c decisions             : 412130146    (163543 /sec)
2520.02/2520.00	c propagations          : 16254325538 (6450102 /sec)
2520.02/2520.00	c root propagations     : 234         
2520.02/2520.00	c filter calls          : 33139596449    (13150577 /sec)
2520.02/2520.00	c useless filter calls  : 22923049686    (69 %)
2520.02/2520.00	c Memory used           : 26.62 MB
2520.02/2520.00	c CPU time              : 2520.01 s
2520.02/2520.00	
2520.02/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-4267927-1502545784/watcher-4267927-1502545784 -o /tmp/evaluation-result-4267927-1502545784/solver-4267927-1502545784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267927-1502545784.xml 

pid=2676
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.03 2.05 3/184 2679
/proc/meminfo: memFree=30974596/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2679/stat : 2679 (runsolver) D 2676 2679 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 102084711 24240128 106 18446744073709551615 4194304 4338465 140726420092960 140726420090600 139721525826263 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 25542656 140726420099265 140726420099657 140726420099657 140726420103114 0
/proc/2679/statm: 5918 106 53 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 2679
/proc/meminfo: memFree=30974596/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=0.03 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1133 0 0 0 3 0 0 0 20 0 1 0 102084711 27914240 964 18446744073709551615 4194304 5972588 140728801154784 140728801151432 4995625 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 964 828 435 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27260

[startup+0.20027 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 2679
/proc/meminfo: memFree=30974596/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=0.13 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1133 0 0 0 13 0 0 0 20 0 1 0 102084711 27914240 964 18446744073709551615 4194304 5972588 140728801154784 140728801151432 5321056 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 964 828 435 0 178 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 27260

[startup+0.300248 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 2679
/proc/meminfo: memFree=30974596/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=0.23 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1133 0 0 0 23 0 0 0 20 0 1 0 102084711 27914240 964 18446744073709551615 4194304 5972588 140728801154784 140728801151432 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 964 828 435 0 178 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 27260

[startup+0.70022 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 2679
/proc/meminfo: memFree=30974596/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=0.63 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1133 0 0 0 63 0 0 0 20 0 1 0 102084711 27914240 964 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5321680 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 964 828 435 0 178 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 27260

[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 2680
/proc/meminfo: memFree=30973684/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=1.43 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1133 0 0 0 143 0 0 0 20 0 1 0 102084711 27914240 964 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5082098 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 964 828 435 0 178 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 27260

[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2680
/proc/meminfo: memFree=30973320/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=3.03 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1212 0 0 0 303 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5338519 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 27260

[startup+6.30021 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2680
/proc/meminfo: memFree=30973200/32770624 swapFree=0/596740
[pid=2679] ppid=2676 vsize=27260 CPUtime=6.23 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1293 0 0 0 623 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5323103 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 27260

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2680
/proc/meminfo: memFree=30972952/32770624 swapFree=0/596736
[pid=2679] ppid=2676 vsize=27260 CPUtime=12.63 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1373 0 0 0 1263 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995430 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 27260

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2681
/proc/meminfo: memFree=30973076/32770624 swapFree=0/596732
[pid=2679] ppid=2676 vsize=27260 CPUtime=25.43 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1533 0 0 0 2543 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4909234 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 27260

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2681
/proc/meminfo: memFree=30973324/32770624 swapFree=0/596732
[pid=2679] ppid=2676 vsize=27260 CPUtime=51.03 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1613 0 0 0 5103 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27260

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2684
/proc/meminfo: memFree=30973512/32770624 swapFree=0/596736
[pid=2679] ppid=2676 vsize=27260 CPUtime=102.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1693 0 0 0 10224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995482 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27260

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 2686
/proc/meminfo: memFree=30973356/32770624 swapFree=0/596744
[pid=2679] ppid=2676 vsize=27260 CPUtime=162.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1773 0 0 0 16224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4908847 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27260

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2688
/proc/meminfo: memFree=30973444/32770624 swapFree=0/596752
[pid=2679] ppid=2676 vsize=27260 CPUtime=222.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1853 0 0 0 22224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5328722 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 27260

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 2706
/proc/meminfo: memFree=30968840/32770624 swapFree=0/596748
[pid=2679] ppid=2676 vsize=27260 CPUtime=282.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 1933 0 0 0 28224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995521 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27260

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/190 2708
/proc/meminfo: memFree=30968480/32770624 swapFree=0/596756
[pid=2679] ppid=2676 vsize=27260 CPUtime=342.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 2013 0 0 0 34224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 27260

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 2710
/proc/meminfo: memFree=30972216/32770624 swapFree=0/596752
[pid=2679] ppid=2676 vsize=27260 CPUtime=402.24 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 2080 0 0 0 40224 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995472 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 27260

[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 2712
/proc/meminfo: memFree=30972836/32770624 swapFree=0/596764
[pid=2679] ppid=2676 vsize=27260 CPUtime=462.25 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 2173 0 0 0 46225 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5327764 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 27260

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 2715
/proc/meminfo: memFree=30972300/32770624 swapFree=0/596768
[pid=2679] ppid=2676 vsize=27260 CPUtime=522.25 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 2253 0 0 0 52225 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4908987 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 27260

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 2717
/proc/meminfo: memFree=30972292/32770624 swapFree=0/596776
[pid=2679] ppid=2676 vsize=27260 CPUtime=582.25 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 2333 0 0 0 58225 0 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5322963 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 27260


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 2812
/proc/meminfo: memFree=30966688/32770624 swapFree=0/596980
[pid=2679] ppid=2676 vsize=27260 CPUtime=1602.29 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3455 0 0 0 160228 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5321355 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 27260

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 2814
/proc/meminfo: memFree=30970916/32770624 swapFree=0/596992
[pid=2679] ppid=2676 vsize=27260 CPUtime=1662.29 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3521 0 0 0 166228 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5323122 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 27260

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 2816
/proc/meminfo: memFree=30971088/32770624 swapFree=0/596988
[pid=2679] ppid=2676 vsize=27260 CPUtime=1722.29 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3601 0 0 0 172228 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5338586 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 27260

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2818
/proc/meminfo: memFree=30971104/32770624 swapFree=0/597004
[pid=2679] ppid=2676 vsize=27260 CPUtime=1782.29 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3668 0 0 0 178228 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995525 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 27260

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2883
/proc/meminfo: memFree=30970884/32770624 swapFree=0/597032
[pid=2679] ppid=2676 vsize=27260 CPUtime=1842.3 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3668 0 0 0 184229 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4908987 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 27260

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2885
/proc/meminfo: memFree=30970760/32770624 swapFree=0/597048
[pid=2679] ppid=2676 vsize=27260 CPUtime=1902.3 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3748 0 0 0 190229 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995572 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 27260

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2887
/proc/meminfo: memFree=30970884/32770624 swapFree=0/597056
[pid=2679] ppid=2676 vsize=27260 CPUtime=1962.3 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3816 0 0 0 196229 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5329270 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 27260

[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2889
/proc/meminfo: memFree=30971232/32770624 swapFree=0/597072
[pid=2679] ppid=2676 vsize=27260 CPUtime=2022.3 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3816 0 0 0 202229 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4909230 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 27260

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 2906
/proc/meminfo: memFree=30966520/32770624 swapFree=0/597092
[pid=2679] ppid=2676 vsize=27260 CPUtime=2082.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3896 0 0 0 208230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995517 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 27260

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2908
/proc/meminfo: memFree=30966352/32770624 swapFree=0/597104
[pid=2679] ppid=2676 vsize=27260 CPUtime=2142.3 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 3964 0 0 0 214229 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995482 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 27260

[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 2911
/proc/meminfo: memFree=30970272/32770624 swapFree=0/597112
[pid=2679] ppid=2676 vsize=27260 CPUtime=2202.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4032 0 0 0 220230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 27260

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2913
/proc/meminfo: memFree=30970400/32770624 swapFree=0/597116
[pid=2679] ppid=2676 vsize=27260 CPUtime=2262.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4112 0 0 0 226230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 27260

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2916
/proc/meminfo: memFree=30970384/32770624 swapFree=0/597136
[pid=2679] ppid=2676 vsize=27260 CPUtime=2322.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4179 0 0 0 232230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5094104 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 27260

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 2918
/proc/meminfo: memFree=30970136/32770624 swapFree=0/597140
[pid=2679] ppid=2676 vsize=27260 CPUtime=2382.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4246 0 0 0 238230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 5338159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 27260

[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 2920
/proc/meminfo: memFree=30970136/32770624 swapFree=0/597152
[pid=2679] ppid=2676 vsize=27260 CPUtime=2442.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4313 0 0 0 244230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995544 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2442.31
Current children cumulated vsize (KiB) 27260

[startup+2502.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 2922
/proc/meminfo: memFree=30970416/32770624 swapFree=0/597156
[pid=2679] ppid=2676 vsize=27260 CPUtime=2502.31 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4393 0 0 0 250230 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995668 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2502.31
Current children cumulated vsize (KiB) 27260



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 2922
/proc/meminfo: memFree=30970292/32770624 swapFree=0/597152
[pid=2679] ppid=2676 vsize=27260 CPUtime=2520.02 cores=1,3,5,7
/proc/2679/stat : 2679 (cosoco) R 2676 2679 24445 0 -1 4202496 4458 0 0 0 252001 1 0 0 20 0 1 0 102084711 27914240 974 18446744073709551615 4194304 5972588 140728801154784 140728801152088 4995517 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 25812992 140728801157614 140728801157709 140728801157709 140728801161166 0
/proc/2679/statm: 6815 974 835 435 0 178 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 27260

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

Child status: 1
Real time (s): 2520
CPU time (s): 2520.02
CPU user time (s): 2520.01
CPU system time (s): 0.013
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.013
maximum resident set size= 3964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4508
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= 1751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79271 second user time and 8.95871 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 15:35:48
IDJOB=4267927
IDBENCH=134538
IDSOLVER=2658
FILE ID=node134/4267927-1502545784
RUNJOBID= node134-1502500343-24509
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-04.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267927-1502545784/watcher-4267927-1502545784 -o /tmp/evaluation-result-4267927-1502545784/solver-4267927-1502545784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267927-1502545784.xml

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

MD5SUM BENCH= 986ee2669b222e63b3403a1d528be806
RANDOM SEED=758564713

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30974708 kB
MemAvailable:   31971536 kB
Buffers:          302204 kB
Cached:           994792 kB
SwapCached:            0 kB
Active:           721820 kB
Inactive:         636148 kB
Active(anon):      63204 kB
Inactive(anon):    39408 kB
Active(file):     658616 kB
Inactive(file):   596740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2380 kB
Writeback:             4 kB
AnonPages:         60592 kB
Mapped:            55472 kB
Shmem:             41660 kB
Slab:             140868 kB
SReclaimable:     114616 kB
SUnreclaim:        26252 kB
KernelStack:        3264 kB
PageTables:         4948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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 node134 at 2017-08-12 16:17:49