Trace number 4397328

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 2.0? (TO) 2400.01 2399.8

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-24.xml
MD5SUMb01688073e480c624588c966ee77ed3a
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 benchmark5.86223
Satisfiable
(Un)Satisfiability was proved
Number of variables96
Number of constraints72
Number of domains2
Minimum domain size24
Maximum domain size48
Distribution of domain sizes[{"size":24,"count":48},{"size":48,"count":48}]
Minimum variable degree2
Maximum variable degree48
Distribution of variable degrees[{"degree":2,"count":48},{"degree":48,"count":48}]
Minimum constraint arity2
Maximum constraint arity49
Distribution of constraint arities[{"arity":2,"count":24},{"arity":49,"count":48}]
Number of extensional constraints0
Number of intensional constraints24
Distribution of constraint types[{"type":"intension","count":24},{"type":"element","count":48}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397328-1568575259.xml 
0.00/0.00	c intension  eq(add(p[1],2),p[0]) -> extension (support ? 1) - 46tuples
0.00/0.00	c intension  eq(add(p[3],3),p[2]) -> extension (support ? 1) - 45tuples
0.00/0.01	c intension  eq(add(p[5],4),p[4]) -> extension (support ? 1) - 44tuples
0.00/0.01	c intension  eq(add(p[7],5),p[6]) -> extension (support ? 1) - 43tuples
0.00/0.01	c intension  eq(add(p[9],6),p[8]) -> extension (support ? 1) - 42tuples
0.00/0.01	c intension  eq(add(p[11],7),p[10]) -> extension (support ? 1) - 41tuples
0.00/0.01	c intension  eq(add(p[13],8),p[12]) -> extension (support ? 1) - 40tuples
0.00/0.01	c intension  eq(add(p[15],9),p[14]) -> extension (support ? 1) - 39tuples
0.00/0.01	c intension  eq(add(p[17],10),p[16]) -> extension (support ? 1) - 38tuples
0.00/0.02	c intension  eq(add(p[19],11),p[18]) -> extension (support ? 1) - 37tuples
0.00/0.02	c intension  eq(add(p[21],12),p[20]) -> extension (support ? 1) - 36tuples
0.00/0.02	c intension  eq(add(p[23],13),p[22]) -> extension (support ? 1) - 35tuples
0.00/0.02	c intension  eq(add(p[25],14),p[24]) -> extension (support ? 1) - 34tuples
0.00/0.02	c intension  eq(add(p[27],15),p[26]) -> extension (support ? 1) - 33tuples
0.00/0.02	c intension  eq(add(p[29],16),p[28]) -> extension (support ? 1) - 32tuples
0.00/0.02	c intension  eq(add(p[31],17),p[30]) -> extension (support ? 1) - 31tuples
0.00/0.03	c intension  eq(add(p[33],18),p[32]) -> extension (support ? 1) - 30tuples
0.00/0.03	c intension  eq(add(p[35],19),p[34]) -> extension (support ? 1) - 29tuples
0.00/0.03	c intension  eq(add(p[37],20),p[36]) -> extension (support ? 1) - 28tuples
0.00/0.03	c intension  eq(add(p[39],21),p[38]) -> extension (support ? 1) - 27tuples
0.00/0.03	c intension  eq(add(p[41],22),p[40]) -> extension (support ? 1) - 26tuples
0.00/0.03	c intension  eq(add(p[43],23),p[42]) -> extension (support ? 1) - 25tuples
0.00/0.04	c intension  eq(add(p[45],24),p[44]) -> extension (support ? 1) - 24tuples
0.00/0.04	c intension  eq(add(p[47],25),p[46]) -> extension (support ? 1) - 23tuples
0.00/0.04	c root propagations     : 648         
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.04 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 96
0.00/0.04	c |            Domain Sizes: 24..48
0.00/0.04	c |
0.00/0.04	c |             Constraints: 72
0.00/0.04	c |                   Arity: 2..49  -- Binary: 24
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          Element Constant: 48
0.00/0.04	c |                          Extension: 24  (nb tuples: 23..46) -- (shared: 0)
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 101            392            38201          8154           48             0              66   80   72   
0.00/0.04	c 211            622            61864          16628          48             0              34   48   45   
0.00/0.04	c 332            875            95183          31503          48             0              34   39   35   
0.00/0.05	c 465            1146           125033         43283          48             0              35   40   36   
0.00/0.05	c 611            1460           156147         55546          48             0              35   41   37   
0.00/0.05	c 771            1796           195533         71598          48             0              36   41   36   
0.00/0.06	c 947            2160           236292         88386          48             0              35   39   37   
0.00/0.06	c 1140           2585           291891         111790         48             0              35   40   36   
0.00/0.07	c 1352           2897           322070         120203         48             0              36   38   37   
0.00/0.07	c 1585           3388           381568         142012         48             0              34   41   36   
0.00/0.07	c 1841           3770           423589         158017         48             0              34   38   36   
0.00/0.08	c 2122           4173           459762         173186         48             0              37   38   36   
0.00/0.08	c 2431           4712           510933         192654         48             0              37   38   36   
0.00/0.09	c 2770           5373           568237         217288         48             0              35   38   37   
0.00/0.09	c 3142           5875           629974         239542         48             0              35   38   35   
0.00/0.10	c 3551           6374           686252         261629         48             0              33   38   36   
0.00/0.10	c 4000           6928           740138         278247         48             0              32   38   37   
0.10/0.11	c 4493           7813           843308         317458         48             0              35   36   35   
0.10/0.12	c 5035           8599           935709         354360         48             0              34   37   36   
0.10/0.13	c 5631           9611           1021089        380804         48             0              35   37   36   
0.10/0.14	c 6286           10799          1134632        420091         48             0              33   37   35   
0.10/0.15	c 7006           12092          1309798        488032         48             0              33   37   34   
0.10/0.17	c 7798           13532          1499484        568832         48             0              34   38   35   
0.10/0.18	c 8669           15265          1653618        628273         48             0              36   38   37   
0.10/0.19	c 9627           16618          1775024        664950         48             0              36   37   36   
0.10/0.20	c 10680          17815          1902678        700582         48             0              34   38   37   
0.21/0.21	c 11838          19280          2088653        768582         48             0              35   38   36   
0.21/0.23	c 13111          20845          2264843        838599         48             0              33   37   35   
0.21/0.24	c 14511          22517          2415250        896071         48             0              36   36   35   
0.21/0.26	c 16051          24283          2632347        965075         48             0              33   37   35   
0.21/0.27	c 17745          26341          2810539        1023181        48             0              35   36   35   
0.21/0.29	c 19608          28958          3054621        1091798        48             0              35   37   36   
0.31/0.32	c 21657          31889          3429082        1234340        48             0              32   38   36   
0.31/0.34	c 23910          34624          3663718        1328639        48             0              34   38   37   
0.31/0.36	c 26388          37535          3935412        1422618        48             0              30   38   36   
0.31/0.38	c 29113          40667          4213838        1543101        48             0              31   38   36   
0.31/0.41	c 32110          44102          4545092        1676506        48             0              31   38   36   
0.41/0.44	c 35406          48454          4902650        1829617        48             0              32   38   36   
0.41/0.47	c 39031          52648          5329683        1961508        48             0              33   38   35   
0.41/0.51	c 43018          57040          5762200        2133025        48             0              34   38   35   
0.51/0.56	c 47403          63333          6488967        2390746        48             0              32   39   36   
0.51/0.60	c 52226          69206          6956466        2547193        48             0              34   36   35   
0.60/0.66	c 57531          75174          7708319        2782988        48             0              33   37   34   
0.70/0.72	c 63366          82286          8495053        3073655        48             0              34   37   35   
0.70/0.79	c 69784          89202          9472452        3399548        48             0              35   37   35   
0.80/0.89	c 76843          98586          10670787       3878762        48             0              33   40   35   
0.90/0.97	c 84607          108118         11637413       4219458        48             0              34   37   35   
1.00/1.05	c 93147          117720         12660951       4537267        48             0              35   39   36   
1.10/1.14	c 102541         129503         13934839       4968666        48             0              34   41   37   
1.20/1.26	c 112874         143067         15359107       5506101        48             0              35   39   37   
1.30/1.36	c 124240         156066         16714371       6025823        48             0              34   38   36   
1.40/1.47	c 136742         169930         18086722       6491487        48             0              35   37   36   
1.60/1.61	c 150494         186275         19928799       7155354        48             0              33   39   35   
1.70/1.73	c 165621         202987         21588256       7729046        48             0              34   39   37   
1.80/1.85	c 182260         222666         23208848       8155828        48             0              34   39   37   
2.00/2.02	c 200562         244379         25384584       8830576        48             0              35   39   36   
2.20/2.25	c 220694         270270         28239661       9953856        48             0              33   39   36   
2.50/2.50	c 242839         299510         31775297       11125130       48             0              35   38   36   
2.60/2.69	c 267198         326526         34408765       11943861       48             0              34   38   36   
3.00/3.07	c 293992         367351         39054831       13720452       48             0              32   39   34   
3.30/3.33	c 323465         400308         42436244       14855179       48             0              34   36   35   
3.60/3.66	c 355885         436852         46785421       16216218       48             0              33   38   35   
4.00/4.06	c 391547         482803         51931222       18023165       48             0              35   37   36   
4.60/4.64	c 430775         538496         58908939       20737225       48             0              32   39   34   
5.20/5.20	c 473925         592769         65502923       23227736       48             0              31   38   34   
5.70/5.74	c 521390         652436         71985943       26078770       48             0              32   37   34   
6.10/6.19	c 573601         713504         77721571       28057126       48             0              34   38   35   
6.60/6.67	c 631033         779639         84335278       30044747       48             0              35   37   36   
7.20/7.21	c 694208         860792         91427353       32637273       48             0              34   38   36   
7.90/7.91	c 763700         942266         101214743      35378328       48             0              31   37   35   
8.60/8.66	c 840141         1031430        110729903      39151220       48             0              33   37   35   
9.50/9.59	c 924226         1124148        121881533      43728769       48             0              33   38   34   
10.40/10.47	c 1016719        1229980        133080429      48008673       48             0              32   37   35   
11.40/11.44	c 1118461        1346879        145170927      52691479       48             0              31   40   35   
12.80/12.80	c 1230377        1503607        162539083      59038340       48             0              32   40   35   
14.40/14.42	c 1353484        1674221        183059974      66930218       48             0              31   40   34   
15.80/15.87	c 1488901        1850455        201873437      73790808       48             0              33   36   35   
17.30/17.33	c 1637859        2018686        222547569      79619149       48             0              36   40   39   
18.80/18.80	c 1801712        2216936        241569239      86257626       48             0              32   38   36   
20.70/20.72	c 1981950        2453104        269116319      92791970       48             0              32   38   35   
23.11/23.11	c 2180211        2713369        299913697      104126320      48             0              33   41   35   
24.80/24.87	c 2398298        2957494        323776411      111007212      48             0              33   36   35   
27.01/27.10	c 2638193        3274827        352272101      121149180      48             0              33   37   35   
29.11/29.16	c 2902077        3568693        379846307      130072331      48             0              31   36   35   
31.70/31.78	c 3192349        3920022        414190453      142133907      48             0              31   38   36   
34.30/34.31	c 3511648        4300508        448837209      151955424      48             0              33   38   35   
37.30/37.32	c 3862876        4785241        490027066      164612630      48             0              32   38   36   
41.60/41.69	c 4249226        5286776        545807606      184702834      48             0              31   39   34   
45.80/45.81	c 4674211        5748215        599032428      205311238      48             0              31   39   34   
50.30/50.32	c 5141694        6272845        657498203      225279186      48             0              32   38   36   
55.01/55.06	c 5655925        6845354        716975141      248799989      48             0              33   38   35   
59.11/59.19	c 6221579        7453464        774494407      264237615      48             0              34   38   35   
65.01/65.06	c 6843798        8159928        857410480      288195841      48             0              32   38   35   
71.40/71.44	c 7528238        8969066        942077701      313818676      48             0              32   40   35   
76.70/76.78	c 8281122        9808182        1012993183     334827304      48             0              34   37   36   
82.90/82.98	c 9109294        10728027       1091962563     361926136      48             0              34   37   36   
90.90/90.96	c 10020283       11732540       1200570829     393466037      48             0              32   37   35   
100.60/100.60	c 11022370       12966456       1328901170     432838341      48             0              33   39   35   
110.60/110.68	c 12124665       14205946       1459674236     481206553      48             0              33   37   35   
120.81/120.85	c 13337189       15707913       1588021146     527836445      48             0              32   38   35   
131.21/131.22	c 14670965       17170634       1718435415     564030576      48             0              27   36   32   
141.41/141.45	c 16138118       18803759       1849376012     600672523      48             0              30   36   34   
154.31/154.33	c 17751986       20585030       2014283718     652878304      48             0              31   36   33   
174.41/174.41	c 19527240       23214770       2269538560     735252970      48             0              31   37   34   
191.12/191.19	c 21480019       25423964       2483120695     815829276      48             0              30   38   34   
206.81/206.87	c 23628075       27841463       2701270929     877646340      48             0              32   41   36   
229.61/229.63	c 25990936       31296432       3016136169     963122728      48             0              34   40   37   
251.52/251.50	c 28590083       34400079       3326161276     1052102307     48             0              33   37   36   
284.52/284.50	c 31449144       38102304       3743486495     1203995096     48             0              31   40   35   
306.92/306.93	c 34594111       41691776       4089935201     1277040902     48             0              31   39   36   
339.32/339.38	c 38053574       45604567       4509577692     1425200480     48             0              31   42   35   
368.93/368.94	c 41858983       49784985       4932078914     1536670159     48             0              33   40   36   
403.93/403.92	c 46044932       54579604       5398521638     1700168055     48             0              33   39   36   
436.23/436.25	c 50649475       59841379       5836629286     1834144993     48             0              34   40   37   
481.74/481.79	c 55714472       66806885       6470341368     2021883864     48             0              34   39   37   
530.54/530.57	c 61285968       73102595       7110075291     2244130401     48             0              33   40   36   
576.15/576.15	c 67414613       79892450       7755473533     2436629398     48             0              34   41   37   
642.55/642.55	c 74156122       87694371       8615015568     2745326644     48             0              33   39   36   
709.96/709.91	c 81571781       98158875       9493564175     3081001316     48             0              35   40   38   
769.66/769.62	c 89729005       107188147      10342438371    3324534651     48             0              34   40   37   
836.08/836.06	c 98701951       117434043      11312494116    3564019849     48             0              34   40   37   
913.08/913.06	c 108572191      128334751      12400496405    3861292820     48             0              34   39   37   
997.28/997.23	c 119429455      141211456      13632273583    4170437985     48             0              32   40   36   
1092.10/1092.01	c 131372445      155086391      14888007993    4586697436     48             0              32   39   35   
1207.70/1207.62	c 144509734      169711988      16403022333    5128734921     48             0              32   37   35   
1336.31/1336.28	c 158960751      186654093      18175927861    5682357496     48             0              31   39   35   
1479.72/1479.68	c 174856869      204929093      19996048665    6367466676     48             0              32   39   36   
1615.33/1615.24	c 192342598      224830926      21803592746    6931322356     48             0              31   40   36   
1795.95/1795.82	c 211576899      247579763      24069962337    7761250902     48             0              30   40   35   
1954.86/1954.78	c 232734630      271242973      26088392600    8406962370     48             0              32   40   36   
2137.08/2136.91	c 256008134      296569673      28613717527    9159278750     48             0              33   39   36   
2314.69/2314.58	c 281608988      324297180      31123731193    9924362023     48             0              33   39   37   
2400.00/2399.80	
2400.00/2399.80	c *** INTERRUPTED ***
2400.00/2399.80	c restarts              : 132         
2400.00/2399.80	c conflicts             : 292913152    (122047 /sec)
2400.00/2399.80	c decisions             : 337017064    (140424 /sec)
2400.00/2399.80	c propagations          : 10240141909 (4266718 /sec)
2400.00/2399.80	c root propagations     : 648         
2400.00/2399.80	c filter calls          : 32257821961    (13440733 /sec)
2400.00/2399.80	c useless filter calls  : 26163653633    (81 %)
2400.00/2399.80	c Memory used           : 27.15 MB
2400.00/2399.80	c CPU time              : 2400 s
2400.00/2399.80	c real time             : 2399.8 s
2400.00/2399.80	
2400.00/2399.80	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397328-1568575259/watcher-4397328-1568575259 -o /tmp/evaluation-result-4397328-1568575259/solver-4397328-1568575259 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22678 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397328-1568575259.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23270, runsolver pid=23267

[startup+0.100172 s]*
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936548/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4252 CPUtime=0.1 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1287 0 0 0 10 0 0 0 20 0 1 0 433439859 28467200 1063 33554432000 4194304 6211092 140721191869888 140721191867848 5397375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1063 832 493 0 255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4252 KiB

[startup+0.209637 s]*
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936540/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4252 CPUtime=0.21 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1287 0 0 0 21 0 0 0 20 0 1 0 433439859 28467200 1063 33554432000 4194304 6211092 140721191869888 140721191867848 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1063 832 493 0 255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4252 KiB

[startup+0.309134 s]*
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936540/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4252 CPUtime=0.31 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1287 0 0 0 31 0 0 0 20 0 1 0 433439859 28467200 1063 33554432000 4194304 6211092 140721191869888 140721191867848 5099229 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1063 832 493 0 255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4252 KiB

[startup+0.700333 s]
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936540/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4252 CPUtime=0.7 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1287 0 0 0 70 0 0 0 20 0 1 0 433439859 28467200 1063 33554432000 4194304 6211092 140721191869888 140721191867848 5099111 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1063 832 493 0 255 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4252 KiB

[startup+1.50034 s]
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936540/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4252 CPUtime=1.5 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1287 0 0 0 150 0 0 0 20 0 1 0 433439859 28467200 1063 33554432000 4194304 6211092 140721191869888 140721191867848 5186302 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1063 832 493 0 255 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4252 KiB

[startup+3.10904 s]
/proc/loadavg: 2.10 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936428/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=3.1 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1420 0 0 0 310 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+6.30032 s]
/proc/loadavg: 2.09 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936052/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=6.3 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1553 0 0 0 630 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5008912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936176/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=12.7 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1685 0 0 0 1270 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.88 3/200 23271
/proc/meminfo: memFree=30936052/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=25.5 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 1950 0 0 0 2550 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+51.1091 s]
/proc/loadavg: 2.12 2.03 1.89 3/200 23274
/proc/meminfo: memFree=30935044/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=51.11 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2082 0 0 0 5111 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.04 1.90 3/200 23277
/proc/meminfo: memFree=30935624/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=102.3 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2214 0 0 0 10230 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5389841 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/200 23281
/proc/meminfo: memFree=30935612/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=162.31 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2346 0 0 0 16231 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5391366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/200 23287
/proc/meminfo: memFree=30935420/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=222.31 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2478 0 0 0 22231 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5397375 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 23291
/proc/meminfo: memFree=30934776/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=282.32 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2478 0 0 0 28232 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.05 1.94 3/199 23296
/proc/meminfo: memFree=30934904/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=342.32 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2611 0 0 0 34232 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.94 3/199 23302
/proc/meminfo: memFree=30934144/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=402.33 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2611 0 0 0 40233 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/199 23306
/proc/meminfo: memFree=30934060/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=462.33 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 2743 0 0 0 46233 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5017277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB


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

/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1602.43 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23418
/proc/meminfo: memFree=30933796/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1662.44 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4040 0 0 0 166244 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5186269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23422
/proc/meminfo: memFree=30933920/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1722.44 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4040 0 0 0 172244 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099197 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23426
/proc/meminfo: memFree=30934172/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1782.45 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4147 0 0 0 178245 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23440
/proc/meminfo: memFree=30933408/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1842.45 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4172 0 0 0 184245 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5193710 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23444
/proc/meminfo: memFree=30934184/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1902.46 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4278 0 0 0 190246 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23448
/proc/meminfo: memFree=30933788/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=1962.46 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4304 0 0 0 196246 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5389966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/200 23454
/proc/meminfo: memFree=30933432/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2022.47 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4412 0 0 0 202247 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/200 23458
/proc/meminfo: memFree=30933452/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2082.47 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4412 0 0 0 208247 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/199 23463
/proc/meminfo: memFree=30934300/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2142.48 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4542 0 0 0 214248 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23469
/proc/meminfo: memFree=30934344/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2202.48 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4542 0 0 0 220248 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23473
/proc/meminfo: memFree=30934424/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2262.49 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4648 0 0 0 226249 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23478
/proc/meminfo: memFree=30934492/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2322.49 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4674 0 0 0 232249 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099274 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23547
/proc/meminfo: memFree=30918044/32770624 swapFree=67001148/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2382.5 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4783 0 0 0 238250 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5389960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23556
/proc/meminfo: memFree=30917548/32770624 swapFree=67001156/67108860
[pid=23270] ppid=23267 vsize=27800 memory=4400 CPUtime=2400 cores=0,2,4,6
/proc/23270/stat : 23270 (cosoco) R 23267 23270 22647 0 -1 4202496 4783 0 0 0 240000 0 0 0 20 0 1 0 433439859 28467200 1100 33554432000 4194304 6211092 140721191869888 140721191867848 5099136 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32710656 140721191875595 140721191875697 140721191875697 140721191878606 0
/proc/23270/statm: 6950 1100 868 493 0 255 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4400 KiB

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

[startup+2399.8 s]
# the end of solver process 23270 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400 s, system=0.002 s

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

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.002
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27800
Max. memory (cumulated for all children) (KiB): 4400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.002
maximum resident set size= 4464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4833
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= 6
involuntary context switches= 3040


# summary of solver processes directly reported to runsolver:
#   pid: 23270
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2400
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2255 second user time and 13.9006 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-15 21:20:18
IDJOB=4397328
IDBENCH=124378
IDSOLVER=2849
FILE ID=node146/4397328-1568575259
RUNJOBID= node146-1568572743-22678
PBS_JOBID= 21703311
Free space on /tmp= 59028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-24.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397328-1568575259/watcher-4397328-1568575259 -o /tmp/evaluation-result-4397328-1568575259/solver-4397328-1568575259 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22678 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397328-1568575259.xml

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

MD5SUM BENCH= b01688073e480c624588c966ee77ed3a
RANDOM SEED=1142553565

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30937232 kB
MemAvailable:   31872312 kB
Buffers:          207560 kB
Cached:           999292 kB
SwapCached:         4444 kB
Active:           577424 kB
Inactive:         635672 kB
Active(anon):      23928 kB
Inactive(anon):    29864 kB
Active(file):     553496 kB
Inactive(file):   605808 kB
Unevictable:      110700 kB
Mlocked:          110700 kB
SwapTotal:      67108860 kB
SwapFree:       67001148 kB
Dirty:              2812 kB
Writeback:             8 kB
AnonPages:        113908 kB
Mapped:            47312 kB
Shmem:             38672 kB
Slab:             213204 kB
SReclaimable:     183224 kB
SUnreclaim:        29980 kB
KernelStack:        3504 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59024 MiB
End job on node146 at 2019-09-15 22:00:18