Trace number 4268342

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.04 2519.8999

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-30.xml
MD5SUM342946d6497bc5c3a3caf7e92c124315
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1335
Number of constraints555
Number of domains2
Minimum domain size30
Maximum domain size435
Distribution of domain sizes[{"size":30,"count":900},{"size":435,"count":435}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":450},{"degree":4,"count":885}]
Minimum constraint arity1
Maximum constraint arity435
Distribution of constraint arities[{"arity":1,"count":15},{"arity":2,"count":15},{"arity":3,"count":435},{"arity":15,"count":29},{"arity":30,"count":30},{"arity":58,"count":15},{"arity":60,"count":15},{"arity":435,"count":1}]
Number of extensional constraints435
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":435},{"type":"intension","count":30},{"type":"allDifferent","count":31},{"type":"count","count":29},{"type":"cardinality","count":30}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.07	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.07	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.08	c Create Cardinality(vars,values,occurs) constraint using 58 Exactly/AtMost.. constraint 
0.00/0.08	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.09	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.09	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.10	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.10	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.10	c
0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.00/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c Create Cardinality(vars,values,occurs) constraint using 60 Exactly/AtMost.. constraint 
0.03/0.10	c
0.03/0.10	c intension hd[0]<ad[0]  using generic constraint 
0.03/0.10	c intension hd[1]<ad[1]  using generic constraint 
0.03/0.10	c intension hd[2]<ad[2]  using generic constraint 
0.03/0.10	c intension hd[3]<ad[3]  using generic constraint 
0.03/0.10	c intension hd[4]<ad[4]  using generic constraint 
0.03/0.10	c intension hd[5]<ad[5]  using generic constraint 
0.03/0.10	c intension hd[6]<ad[6]  using generic constraint 
0.03/0.10	c intension hd[7]<ad[7]  using generic constraint 
0.03/0.10	c intension hd[8]<ad[8]  using generic constraint 
0.03/0.10	c intension hd[9]<ad[9]  using generic constraint 
0.03/0.10	c intension hd[10]<ad[10]  using generic constraint 
0.03/0.10	c intension hd[11]<ad[11]  using generic constraint 
0.03/0.10	c intension hd[12]<ad[12]  using generic constraint 
0.03/0.10	c intension hd[13]<ad[13]  using generic constraint 
0.03/0.10	c intension hd[14]<ad[14]  using generic constraint 
0.03/0.14	c root propagations     : 9930        
0.03/0.14	c restarts enabled, print stats at every restarts
0.03/0.14	c
0.03/0.14	c
0.03/0.14	c
0.03/0.14	c This is cosoco 1.12 --  
0.03/0.14	c
0.03/0.14	c command line: cosoco -lc -model -restarts HOME/instance-4268342-1502544564.xml 
0.03/0.14	c ========================================[ Problem Statistics ]===========================================
0.03/0.14	c |                                                                                                       
0.03/0.14	c |  Parse time        :         0.04 s 
0.03/0.14	c |
0.03/0.14	c |               Variables: 1335
0.03/0.14	c |            Domain Sizes: 30..435
0.03/0.14	c |
0.03/0.14	c |             Constraints: 1875
0.03/0.14	c |                   Arity: 1..435  -- Unary: 15  -- Binary: 15  -- Ternary: 435
0.03/0.14	c | 
0.03/0.14	c |                   Types: 
0.03/0.14	c |                          (X - Y < k): 15
0.03/0.14	c |                          All Different: 31
0.03/0.14	c |                          At least: 450
0.03/0.14	c |                          At most: 450
0.03/0.14	c |                          Exactly K: 479
0.03/0.14	c |                          Extension: 435  (nb tuples: 435..435) -- (shared: 434)
0.03/0.14	c |                          Intension: 15
0.03/0.14	c |                          
0.03/0.14	c =========================================================================================================
0.03/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.14/0.20	c 101            315            163207         72629          1335           0              86   168   142 
0.24/0.30	c 211            702            308861         170078         1335           0              59   210   202 
0.24/0.36	c 332            1018           397099         250072         1335           0              20   115   110 
0.34/0.43	c 465            1360           493437         337976         1335           0              2   115   110  
0.44/0.50	c 611            1722           594465         432524         1335           0              2   106   99   
0.44/0.56	c 771            2039           682724         529527         1335           0              17   55   52   
0.54/0.63	c 947            2384           775262         632133         1335           0              17   55   52   
0.54/0.69	c 1140           2764           871966         745246         1335           0              2   55   52    
0.64/0.77	c 1352           3204           985951         873699         1335           0              17   55   53   
0.74/0.87	c 1585           3663           1107412        1016597        1335           0              2   55   52    
0.84/0.95	c 1841           4143           1232168        1165904        1335           0              17   55   51   
0.94/1.05	c 2122           4670           1369509        1330798        1335           0              17   55   52   
1.04/1.16	c 2431           5268           1522223        1512915        1335           0              17   55   52   
1.14/1.29	c 2770           5911           1690016        1714715        1335           0              17   55   52   
1.34/1.41	c 3142           6593           1859997        1929457        1335           0              2   55   52    
1.44/1.54	c 3551           7305           2047140        2159477        1335           0              17   55   51   
1.54/1.67	c 4000           8101           2250158        2412265        1335           0              17   55   52   
1.74/1.82	c 4493           8936           2465895        2685903        1335           0              17   55   51   
1.84/1.98	c 5035           9863           2698541        2982154        1335           0              17   55   51   
2.04/2.18	c 5631           10883          2961482        3320403        1335           0              2   55   51    
2.24/2.36	c 6286           12007          3239337        3689120        1335           0              2   55   51    
2.44/2.59	c 7006           13215          3546695        4090300        1335           0              2   55   51    
2.74/2.84	c 7798           14544          3890254        4532125        1335           0              1   55   51    
3.04/3.13	c 8669           16022          4277324        5023016        1335           0              17   55   51   
3.34/3.43	c 9627           17657          4694595        5565712        1335           0              17   55   51   
3.64/3.76	c 10680          19450          5141815        6167235        1335           0              2   55   51    
4.04/4.13	c 11838          21399          5643457        6822863        1335           0              17   55   51   
4.44/4.54	c 13111          23585          6184041        7560214        1335           0              2   55   51    
4.83/4.98	c 14511          25961          6775434        8376018        1335           0              46   55   51   
5.44/5.52	c 16051          28643          7455689        9282125        1335           0              2   55   51    
5.94/6.02	c 17745          31443          8156508        10245918       1335           0              2   55   51    
6.54/6.61	c 19608          34644          8949488        11324895       1335           0              17   55   51   
7.14/7.28	c 21657          38058          9822649        12497024       1335           0              2   55   51    
7.83/7.94	c 23910          41760          10742469       13784010       1335           0              2   55   51    
8.53/8.68	c 26388          45834          11753549       15192886       1335           0              17   55   51   
9.43/9.52	c 29113          50425          12902933       16769126       1335           0              2   55   51    
10.33/10.46	c 32110          55420          14143103       18498598       1335           0              17   55   51   
11.33/11.42	c 35406          60988          15497571       20427208       1335           0              2   55   51    
12.63/12.70	c 39031          67148          17094736       22563683       1335           0              2   55   51    
13.74/13.89	c 43018          73906          18742745       24882567       1335           0              2   55   51    
15.04/15.16	c 47403          80970          20503617       27394143       1335           0              2   55   50    
16.64/16.74	c 52226          89009          22549362       30212530       1335           0              2   55   50    
18.24/18.34	c 57531          97927          24738462       33298305       1335           0              17   55   51   
20.04/20.12	c 63366          107417         27090170       36661922       1335           0              17   55   50   
22.24/22.34	c 69784          118036         29833527       40388180       1335           0              2   55   50    
24.34/24.45	c 76843          129459         32642218       44439103       1335           0              2   55   49    
26.84/26.92	c 84607          142210         35811473       48963509       1335           0              2   55   50    
29.65/29.75	c 93147          156526         39447006       54002254       1335           0              2   55   50    
32.54/32.68	c 102541         172101         43322904       59488321       1335           0              2   55   50    
35.94/36.06	c 112874         189613         47648254       65642638       1335           0              45   55   50   
39.74/39.87	c 124240         208603         52522195       72333942       1335           0              17   55   49   
43.64/43.76	c 136742         229663         57678504       79668763       1335           0              2   55   49    
47.83/47.90	c 150494         252628         63291642       87787849       1335           0              44   55   49   
52.53/52.65	c 165621         278465         69865948       96812111       1335           0              2   55   49    
57.34/57.44	c 182260         306242         76783325       106468021      1335           0              2   55   49    
63.04/63.10	c 200562         337427         84718211       117257210      1335           0              17   55   49   
69.14/69.23	c 220694         371989         93254061       129092434      1335           0              2   55   49    
76.34/76.47	c 242839         409303         102956763      142127812      1335           0              2   55   49    
83.44/83.59	c 267198         450312         113131595      156307933      1335           0              17   55   49   
91.84/91.98	c 293992         495719         124539553      172254270      1335           0              2   55   49    
101.14/101.23	c 323465         546015         137453614      189730080      1335           0              2   55   49    
110.94/111.03	c 355885         600796         151239593      208717104      1335           0              2   55   49    
121.54/121.65	c 391547         660182         166282216      229467538      1335           0              17   55   48   
131.95/132.09	c 430775         720975         182475388      251216738      1335           0              41   51   46   
142.64/142.73	c 473925         787096         199682156      275038349      1335           0              2   55   46    
154.54/154.61	c 521390         860122         218652607      301359592      1335           0              2   55   46    
168.74/168.87	c 573601         940963         240361217      330112915      1335           0              2   55   46    
192.64/192.76	c 631033         1028123        269186316      357879259      1335           0              46   144   135 
209.95/210.09	c 694208         1128757        295407263      393501103      1335           0              2   58   50    
230.75/230.84	c 763700         1240739        325110981      433046394      1335           0              17   55   47   
252.35/252.49	c 840141         1369022        356727279      477323732      1335           0              2   55   48    
275.45/275.52	c 924226         1498559        391320017      524309482      1335           0              2   53   46    
303.25/303.34	c 1016719        1650901        437869384      572652250      1335           0              46   195   189 
331.86/331.92	c 1118461        1811728        480916883      629735336      1335           0              2   58   50    
362.36/362.40	c 1230377        1997013        527131862      693815987      1335           0              42   55   48   
401.96/402.08	c 1353484        2202454        580866938      766277838      1335           0              2   55   48    
440.66/440.74	c 1488901        2431501        638357388      845090267      1335           0              2   55   49    
480.37/480.43	c 1637859        2661519        700324469      927101146      1335           0              2   55   46    
523.87/523.97	c 1801712        2916181        767831233      1018125754     1335           0              17   55   46   
570.57/570.69	c 1981950        3196703        842519409      1118022878     1335           0              2   53   46    
620.28/620.39	c 2180211        3504745        923751456      1227213411     1335           0              2   55   46    
686.08/686.15	c 2398298        3866054        1016795706     1353551243     1335           0              2   55   48    
739.39/739.47	c 2638193        4221805        1112727493     1481337983     1335           0              17   49   44   
816.09/816.11	c 2902077        4637585        1224838258     1630135487     1335           0              2   55   46    
887.90/887.90	c 3192349        5088338        1343652862     1789572207     1335           0              2   55   46    
961.91/961.97	c 3511648        5561569        1473504932     1960764857     1335           0              2   49   44    
1053.51/1053.50	c 3862876        6113153        1620730957     2157586838     1335           0              2   55   46    
1149.52/1149.54	c 4249226        6691031        1781752931     2365378714     1335           0              2   53   44    
1261.83/1261.88	c 4674211        7379543        1959238265     2604747652     1335           0              2   55   47    
1367.74/1367.77	c 5141694        8044348        2149234208     2850499513     1335           0              2   47   42    
1486.45/1486.47	c 5655925        8809576        2358172575     3127165838     1335           0              2   55   44    
1657.46/1657.50	c 6221579        9717863        2590055491     3418756802     1335           0              40   163   132 
1803.17/1803.11	c 6843798        10603993       2843346272     3746339750     1335           0              20   50   45   
1983.59/1983.57	c 7528238        11723905       3132114840     4135107387     1335           0              2   55   47    
2176.21/2176.11	c 8281122        12862295       3450559705     4546066897     1335           0              2   55   44    
2355.62/2355.59	c 9109294        14053590       3784432112     4983431708     1335           0              2   47   42    
2520.04/2519.90	
2520.04/2519.90	c *** INTERRUPTED ***
2520.04/2519.90	c restarts              : 96          
2520.04/2519.90	c conflicts             : 9682820      (3842 /sec)
2520.04/2519.90	c decisions             : 14953073     (5934 /sec)
2520.04/2519.90	c propagations          : 5302938669  (2104332 /sec)
2520.04/2519.90	c root propagations     : 9930        
2520.04/2519.90	c filter calls          : 4034014200     (1600793 /sec)
2520.04/2519.90	c useless filter calls  : 3977730433     (98 %)
2520.04/2519.90	c Memory used           : 46.99 MB
2520.04/2519.90	c CPU time              : 2520.01 s
2520.04/2519.90	
2520.04/2519.90	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-4268342-1502544564/watcher-4268342-1502544564 -o /tmp/evaluation-result-4268342-1502544564/solver-4268342-1502544564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1544 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268342-1502544564.xml 

pid=10237
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.07 2.04 2.05 3/184 10240
/proc/meminfo: memFree=31109516/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (runsolver) D 10237 10240 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 96367639 24240128 106 18446744073709551615 4194304 4338465 140731072862000 140731072859640 139950073754327 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 35037184 140731072864450 140731072864841 140731072864841 140731072868298 0
/proc/10240/statm: 5918 106 53 36 0 2156 0

[startup+0.100182 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 10240
/proc/meminfo: memFree=31109516/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=40428 CPUtime=0.03 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 4395 0 0 0 3 0 0 0 20 0 1 0 96367639 41398272 4199 18446744073709551615 4194304 5972588 140722289210304 140722289206952 140432836466592 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 10107 4199 804 435 0 3470 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 40428

[startup+0.200349 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 10240
/proc/meminfo: memFree=31109516/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47308 CPUtime=0.14 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 6186 0 0 0 13 1 0 0 20 0 1 0 96367639 48443392 5981 18446744073709551615 4194304 5972588 140722289210304 140722289206952 4931727 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11827 5981 845 435 0 5190 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 47308

[startup+0.300328 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 10240
/proc/meminfo: memFree=31109516/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=0.24 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 6323 0 0 0 23 1 0 0 20 0 1 0 96367639 49135616 6113 18446744073709551615 4194304 5972588 140722289210304 140722289206952 4935681 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6113 845 435 0 5359 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 47984

[startup+0.700245 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 10240
/proc/meminfo: memFree=31109516/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=0.64 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 6323 0 0 0 63 1 0 0 20 0 1 0 96367639 49135616 6113 18446744073709551615 4194304 5972588 140722289210304 140722289206952 5328649 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6113 845 435 0 5359 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 47984

[startup+1.50024 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 10241
/proc/meminfo: memFree=31084236/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=1.44 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 6323 0 0 0 143 1 0 0 20 0 1 0 96367639 49135616 6113 18446744073709551615 4194304 5972588 140722289210304 140722289206952 4975143 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6113 845 435 0 5359 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 47984

[startup+3.10023 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 10241
/proc/meminfo: memFree=31083864/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=3.04 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 11298 0 0 0 303 1 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289206952 5099630 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 47984

[startup+6.30022 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 10241
/proc/meminfo: memFree=31083880/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=6.24 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 16247 0 0 0 623 1 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4931680 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 47984

[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 10241
/proc/meminfo: memFree=31083508/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=12.63 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 21206 0 0 0 1262 1 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5099616 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 47984

[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 10241
/proc/meminfo: memFree=31083508/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=25.44 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 31046 0 0 0 2542 2 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4935502 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 47984

[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 10241
/proc/meminfo: memFree=31083028/32770624 swapFree=0/485156
[pid=10240] ppid=10237 vsize=47984 CPUtime=51.03 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 35524 0 0 0 5101 2 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4971648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 47984

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 10243
/proc/meminfo: memFree=31083112/32770624 swapFree=0/485188
[pid=10240] ppid=10237 vsize=47984 CPUtime=102.24 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 36152 0 0 0 10222 2 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4935681 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 47984

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/185 10245
/proc/meminfo: memFree=31083112/32770624 swapFree=0/485204
[pid=10240] ppid=10237 vsize=47984 CPUtime=162.24 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 36761 0 0 0 16222 2 0 0 20 0 1 0 96367639 49135616 6164 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5032450 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6164 845 435 0 5359 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47984

[startup+222.306 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 10248
/proc/meminfo: memFree=31083440/32770624 swapFree=0/485200
[pid=10240] ppid=10237 vsize=47984 CPUtime=222.25 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 37417 0 0 0 22223 2 0 0 20 0 1 0 96367639 49135616 6178 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 11996 6178 845 435 0 5359 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 47984

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 10265
/proc/meminfo: memFree=31078652/32770624 swapFree=0/485200
[pid=10240] ppid=10237 vsize=48116 CPUtime=282.25 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 37450 0 0 0 28223 2 0 0 20 0 1 0 96367639 49270784 6178 18446744073709551615 4194304 5972588 140722289210304 140722289207144 4972741 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6178 845 435 0 5392 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 48116

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 10267
/proc/meminfo: memFree=31078880/32770624 swapFree=0/485212
[pid=10240] ppid=10237 vsize=48116 CPUtime=342.26 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 38099 0 0 0 34224 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4979546 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 48116

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10269
/proc/meminfo: memFree=31081868/32770624 swapFree=0/485216
[pid=10240] ppid=10237 vsize=48116 CPUtime=402.26 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 38101 0 0 0 40224 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4975388 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 48116

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10271
/proc/meminfo: memFree=31082232/32770624 swapFree=0/485212
[pid=10240] ppid=10237 vsize=48116 CPUtime=462.27 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 38690 0 0 0 46225 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5094189 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 48116

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 10273
/proc/meminfo: memFree=31082216/32770624 swapFree=0/485224
[pid=10240] ppid=10237 vsize=48116 CPUtime=522.27 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 38713 0 0 0 52225 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4972786 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 48116

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 10276
/proc/meminfo: memFree=31082080/32770624 swapFree=0/485236
[pid=10240] ppid=10237 vsize=48116 CPUtime=582.27 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 39313 0 0 0 58225 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5320524 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 48116


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


[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 10367
/proc/meminfo: memFree=31080604/32770624 swapFree=0/485472
[pid=10240] ppid=10237 vsize=48116 CPUtime=1662.36 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 44856 0 0 0 166234 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4977632 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 48116

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 10369
/proc/meminfo: memFree=31081204/32770624 swapFree=0/485480
[pid=10240] ppid=10237 vsize=48116 CPUtime=1722.37 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 44856 0 0 0 172235 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4971573 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 48116

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 10371
/proc/meminfo: memFree=31080964/32770624 swapFree=0/485492
[pid=10240] ppid=10237 vsize=48116 CPUtime=1782.37 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 45411 0 0 0 178235 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4931680 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 48116

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 10373
/proc/meminfo: memFree=31080932/32770624 swapFree=0/485500
[pid=10240] ppid=10237 vsize=48116 CPUtime=1842.38 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 45474 0 0 0 184236 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4972728 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 48116

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 10375
/proc/meminfo: memFree=31081444/32770624 swapFree=0/485504
[pid=10240] ppid=10237 vsize=48116 CPUtime=1902.38 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 46022 0 0 0 190236 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4978730 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 48116

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10378
/proc/meminfo: memFree=31082300/32770624 swapFree=0/485516
[pid=10240] ppid=10237 vsize=48116 CPUtime=1962.38 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 46037 0 0 0 196236 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5099616 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 48116

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 10381
/proc/meminfo: memFree=31081412/32770624 swapFree=0/485536
[pid=10240] ppid=10237 vsize=48116 CPUtime=2022.39 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 46647 0 0 0 202237 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4977572 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 48116

[startup+2082.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 10397
/proc/meminfo: memFree=31077396/32770624 swapFree=0/485540
[pid=10240] ppid=10237 vsize=48116 CPUtime=2082.4 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 46647 0 0 0 208238 2 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4909184 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 48116

[startup+2142.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/189 10400
/proc/meminfo: memFree=31077624/32770624 swapFree=0/485544
[pid=10240] ppid=10237 vsize=48116 CPUtime=2142.41 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 47203 0 0 0 214238 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4935596 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 48116

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 10402
/proc/meminfo: memFree=31080344/32770624 swapFree=0/485556
[pid=10240] ppid=10237 vsize=48116 CPUtime=2202.42 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 47244 0 0 0 220239 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4935585 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 48116

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 10404
/proc/meminfo: memFree=31081212/32770624 swapFree=0/485564
[pid=10240] ppid=10237 vsize=48116 CPUtime=2262.42 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 47776 0 0 0 226239 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5032427 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 48116

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 10467
/proc/meminfo: memFree=31104248/32770624 swapFree=0/485584
[pid=10240] ppid=10237 vsize=48116 CPUtime=2322.42 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 47776 0 0 0 232239 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 5099616 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 48116

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 10470
/proc/meminfo: memFree=31102564/32770624 swapFree=0/485596
[pid=10240] ppid=10237 vsize=48116 CPUtime=2382.42 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 48391 0 0 0 238239 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4972728 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 48116

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 10473
/proc/meminfo: memFree=31103592/32770624 swapFree=0/485588
[pid=10240] ppid=10237 vsize=48116 CPUtime=2442.43 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 48391 0 0 0 244240 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4971926 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2442.43
Current children cumulated vsize (KiB) 48116

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 10475
/proc/meminfo: memFree=31103688/32770624 swapFree=0/485604
[pid=10240] ppid=10237 vsize=48116 CPUtime=2502.43 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 48962 0 0 0 250240 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4935463 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 48116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 10475
/proc/meminfo: memFree=31103688/32770624 swapFree=0/485600
[pid=10240] ppid=10237 vsize=48116 CPUtime=2520.04 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 48962 0 0 0 252001 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4975114 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 48116

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 10475
/proc/meminfo: memFree=31103688/32770624 swapFree=0/485600
[pid=10240] ppid=10237 vsize=48116 CPUtime=2520.04 cores=1,3,5,7
/proc/10240/stat : 10240 (cosoco) R 10237 10240 1478 0 -1 4202496 48962 0 0 0 252001 3 0 0 20 0 1 0 96367639 49270784 6199 18446744073709551615 4194304 5972588 140722289210304 140722289207608 4975114 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 36786176 140722289213934 140722289214029 140722289214029 140722289217486 0
/proc/10240/statm: 12029 6199 845 435 0 5392 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 48116

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.01
CPU system time (s): 0.033002
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 48116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.033002
maximum resident set size= 24864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49012
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= 17
involuntary context switches= 643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07065 second user time and 9.03283 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-12 15:15:30
IDJOB=4268342
IDBENCH=133917
IDSOLVER=2658
FILE ID=node135/4268342-1502544564
RUNJOBID= node135-1502500348-1544
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-30.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268342-1502544564/watcher-4268342-1502544564 -o /tmp/evaluation-result-4268342-1502544564/solver-4268342-1502544564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1544 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268342-1502544564.xml

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

MD5SUM BENCH= 342946d6497bc5c3a3caf7e92c124315
RANDOM SEED=1800879094

node135.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.21
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.21
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.21
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.21
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:        31109896 kB
MemAvailable:   31945968 kB
Buffers:          304432 kB
Cached:           830036 kB
SwapCached:            0 kB
Active:           692948 kB
Inactive:         526488 kB
Active(anon):      84896 kB
Inactive(anon):    41332 kB
Active(file):     608052 kB
Inactive(file):   485156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2336 kB
Writeback:             0 kB
AnonPages:        170228 kB
Mapped:            54724 kB
Shmem:             41656 kB
Slab:             144756 kB
SReclaimable:     117400 kB
SUnreclaim:        27356 kB
KernelStack:        3344 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     360400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 15:57:30