Trace number 4267936

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-04-72.xml
MD5SUM606ad4221d4941292d84c5bdd64a5487
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 benchmark1596.5699
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints731
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":500},{"size":22,"count":100}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 
0.00/0.10	c
0.01/0.13	c root propagations     : 0           
0.01/0.13	c restarts enabled, print stats at every restarts
0.01/0.13	c
0.01/0.13	c
0.01/0.13	c
0.01/0.13	c This is cosoco 1.12 --  
0.01/0.13	c
0.01/0.13	c command line: cosoco -lc -model -restarts HOME/instance-4267936-1502534877.xml 
0.01/0.13	c ========================================[ Problem Statistics ]===========================================
0.01/0.13	c |                                                                                                       
0.01/0.13	c |  Parse time        :         0.03 s 
0.01/0.13	c |
0.01/0.13	c |               Variables: 600
0.01/0.13	c |            Domain Sizes: 2..22
0.01/0.13	c |
0.01/0.13	c |             Constraints: 752
0.01/0.13	c |                   Arity: 2..100  -- Binary: 100  -- Ternary: 196
0.01/0.13	c | 
0.01/0.13	c |                   Types: 
0.01/0.13	c |                          Exactly K: 22
0.01/0.13	c |                          Extension: 100  (nb tuples: 22..22) -- (shared: 99)
0.01/0.13	c |                          Sum: 630
0.01/0.13	c |                          
0.01/0.13	c =========================================================================================================
0.01/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.24	c 101            694            59864          20946          0              0              339   382   355
0.30/0.41	c 211            1699           125527         36221          0              0              98   148   120 
0.50/0.64	c 332            2533           198323         61970          0              0              12   184   38  
0.60/0.78	c 465            3160           267404         75350          0              0              170   196   182
0.80/0.95	c 611            4663           350381         91232          0              0              4   276   237  
1.00/1.12	c 771            5534           416711         109668         0              0              28   126   92  
1.20/1.34	c 947            6221           496629         133145         0              0              23   111   79  
1.40/1.50	c 1140           6826           569313         151298         0              0              26   153   136 
1.50/1.68	c 1352           8157           637515         163012         0              0              22   139   117 
1.70/1.82	c 1585           9041           719718         178472         0              0              18   185   172 
1.90/2.06	c 1841           9954           814800         191926         0              0              26   117   112 
2.20/2.37	c 2122           11011          956092         224167         0              0              16   179   167 
2.90/3.04	c 2431           12893          1223015        304052         0              0              12   152   99  
3.70/3.89	c 2770           14393          1519235        507097         0              0              60   144   118 
4.00/4.16	c 3142           15530          1633554        540627         0              0              74   163   156 
4.30/4.40	c 3551           17258          1745671        578424         0              0              22   184   163 
4.70/4.86	c 4000           18590          1953099        627403         0              0              34   208   192 
5.20/5.34	c 4493           20449          2138311        653499         0              0              34   153   148 
5.40/5.57	c 5035           21998          2271155        680263         0              0              11   226   212 
5.90/6.09	c 5631           24790          2480676        722357         0              0              13   148   131 
6.90/7.01	c 6286           27902          2874884        856965         0              0              52   148   136 
7.60/7.74	c 7006           31370          3158187        902460         0              0              14   151   137 
9.20/9.31	c 7798           37845          3691072        1076653        0              0              17   116   100 
9.90/10.03	c 8669           41042          4045434        1151918        0              0              56   201   181 
10.70/10.83	c 9627           46459          4394820        1239134        0              0              12   192   170 
11.30/11.49	c 10680          50343          4801992        1337065        0              0              16   223   209 
12.10/12.25	c 11838          54316          5224808        1410764        0              0              77   206   191 
15.40/15.53	c 13111          59799          6321397        1589731        0              0              11   175   150 
16.80/16.93	c 14511          65573          6845763        1694226        0              0              15   196   128 
18.20/18.31	c 16051          70423          7408109        1843689        0              0              8   224   179  
19.10/19.21	c 17745          76006          7954458        1964905        0              0              5   206   194  
21.00/21.17	c 19608          81710          8801503        2288490        0              0              5   206   176  
22.20/22.30	c 21657          89549          9388880        2485159        0              0              8   223   190  
23.90/24.03	c 23910          102156         10097905       2742307        0              0              10   192   51  
25.70/25.89	c 26388          116326         10995842       2870641        0              0              27   193   154 
28.20/28.36	c 29113          128090         12005048       3079558        0              0              27   220   162 
30.10/30.21	c 32110          139643         13122821       3317947        0              0              37   203   192 
33.00/33.11	c 35406          154760         14528817       3571898        0              0              38   193   175 
37.10/37.30	c 39031          166936         16273277       5412381        0              0              43   89   71   
40.80/40.96	c 43018          184520         17833294       5697439        0              0              43   175   139 
44.30/44.42	c 47403          201348         19329316       5935967        0              0              26   218   185 
49.10/49.29	c 52226          222280         21305572       6545395        0              0              21   168   151 
52.20/52.31	c 57531          239267         23005778       6850920        0              0              30   204   189 
56.50/56.63	c 63366          257827         24910024       7277432        0              0              27   204   153 
59.90/60.03	c 69784          276085         26881639       7864065        0              0              8   251   233  
62.20/62.34	c 76843          296359         28477020       8189522        0              0              6   212   205  
67.60/67.78	c 84607          327205         30877653       8664964        0              0              16   209   142 
73.70/73.80	c 93147          358453         33795533       9266178        0              0              8   230   162  
78.40/78.57	c 102541         390999         36859275       9896196        0              0              11   222   212 
84.90/85.06	c 112874         425185         40326597       10614139       0              0              9   228   196  
91.80/91.95	c 124240         475037         43761257       11349627       0              0              4   250   171  
126.80/126.94	c 136742         552154         54988818       13993849       0              0              35   123   103 
139.40/139.57	c 150494         609713         60321317       15009465       0              0              33   188   164 
147.60/147.79	c 165621         661892         65075907       16023483       0              0              41   226   210 
180.40/180.55	c 182260         734311         76385519       19433029       0              0              22   176   124 
193.89/194.03	c 200562         790720         82224113       20524379       0              0              37   197   192 
207.90/208.09	c 220694         861526         88122868       21375518       0              0              30   192   184 
218.00/218.14	c 242839         938706         93277198       22241815       0              0              10   237   196 
246.30/246.47	c 267198         1085126        105785312      25271488       0              0              25   249   182 
261.60/261.75	c 293992         1177131        114671270      26965641       0              0              10   238   214 
310.61/310.71	c 323465         1300834        132753840      30301748       0              0              5   228   165  
326.21/326.36	c 355885         1401217        143345728      33275816       0              0              5   296   232  
351.41/351.53	c 391547         1531031        157852137      36477022       0              0              5   217   203  
373.81/373.92	c 430775         1632451        169905016      39152956       0              0              7   234   210  
397.41/397.53	c 473925         1808390        183132813      42108961       0              0              7   224   202  
425.91/426.06	c 521390         1984137        200103871      45797824       0              0              18   235   214 
446.71/446.87	c 573601         2124123        212810179      48649787       0              0              13   223   200 
509.41/509.54	c 631033         2397477        238595017      58636479       0              0              13   241   124 
611.41/611.52	c 694208         2754051        280181285      90098423       0              0              13   173   104 
703.22/703.36	c 763700         3189534        314217658      97749801       0              0              13   177   138 
755.92/756.00	c 840141         3494914        339733396      102651311      0              0              9   216   157  
813.22/813.33	c 924226         3765789        368061717      108212443      0              0              16   251   220 
859.42/859.50	c 1016719        4032066        393698265      115124101      0              0              9   262   235  
904.52/904.61	c 1118461        4409938        419790692      118737099      0              0              9   246   228  
963.92/964.03	c 1230377        4668366        451579181      126540175      0              0              7   232   223  
1037.52/1037.69	c 1353484        5080602        486852989      134468905      0              0              7   233   196  
1106.42/1106.55	c 1488901        5491758        524553980      144452354      0              0              8   256   211  
1181.52/1181.68	c 1637859        5962606        569232385      154461266      0              0              8   257   211  
1301.33/1301.45	c 1801712        6594749        625658648      170216207      0              0              21   268   189 
1473.23/1473.35	c 1981950        7284599        705228096      189103327      0              0              11   259   201 
1595.53/1595.66	c 2180211        7949867        772374777      202562489      0              0              22   235   214 
1708.54/1708.65	c 2398298        8631724        836568094      219582893      0              0              31   219   196 
1839.14/1839.22	c 2638193        9185474        900469296      233280489      0              0              19   254   225 
1974.74/1974.83	c 2902077        9839729        969983390      250423623      0              0              10   235   218 
2269.85/2269.97	c 3192349        10860699       1096996838     276983913      0              0              9   247   204  
2467.15/2467.23	c 3511648        12451757       1191378871     302097399      0              0              14   231   148 
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 86          
2519.95/2520.00	c conflicts             : 3574203      (1418 /sec)
2519.95/2520.00	c decisions             : 12719339     (5047 /sec)
2519.95/2520.00	c propagations          : 306902729   (121789 /sec)
2519.95/2520.00	c root propagations     : 0           
2519.95/2520.00	c filter calls          : 1212507046     (481164 /sec)
2519.95/2520.00	c useless filter calls  : 1121026872     (92 %)
2519.95/2520.00	c Memory used           : 30.40 MB
2519.95/2520.00	c CPU time              : 2519.95 s
2519.95/2520.00	
2519.95/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267936-1502534877/watcher-4267936-1502534877 -o /tmp/evaluation-result-4267936-1502534877/solver-4267936-1502534877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267936-1502534877.xml 

pid=8147
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8150
/proc/meminfo: memFree=31488444/32770624 swapFree=0/426244
[pid=8150] ppid=8147 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8150/stat : 8150 (runsolver) D 8147 8150 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 41828355 24240128 106 18446744073709551615 4194304 4338465 140734388367840 140734388365480 139755283038935 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 30666752 140734388371649 140734388372041 140734388372041 140734388375498 0
/proc/8150/statm: 5918 106 53 36 0 2156 0

[startup+0.107523 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8150
/proc/meminfo: memFree=31488444/32770624 swapFree=0/426244
[pid=8150] ppid=8147 vsize=28296 CPUtime=0.01 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 1316 0 0 0 1 0 0 0 20 0 1 0 41828355 28975104 1153 18446744073709551615 4194304 5972588 140726081977184 140726081971528 5181158 0 0 1 0 0 0 0 17 6 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7074 1153 753 435 0 437 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28296

[startup+0.200562 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8150
/proc/meminfo: memFree=31488444/32770624 swapFree=0/426244
[pid=8150] ppid=8147 vsize=30728 CPUtime=0.1 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 1977 0 0 0 10 0 0 0 20 0 1 0 41828355 31465472 1793 18446744073709551615 4194304 5972588 140726081977184 140726081974152 5045817 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7682 1793 794 435 0 1045 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30728

[startup+0.300562 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8150
/proc/meminfo: memFree=31488444/32770624 swapFree=0/426244
[pid=8150] ppid=8147 vsize=30860 CPUtime=0.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 2004 0 0 0 20 0 0 0 20 0 1 0 41828355 31600640 1793 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046148 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7715 1793 794 435 0 1078 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30860

[startup+0.700172 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8150
/proc/meminfo: memFree=31488444/32770624 swapFree=0/426244
[pid=8150] ppid=8147 vsize=30860 CPUtime=0.6 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 2025 0 0 0 60 0 0 0 20 0 1 0 41828355 31600640 1859 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5045983 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7715 1859 796 435 0 1078 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 30860

[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8151
/proc/meminfo: memFree=31484460/32770624 swapFree=0/426252
[pid=8150] ppid=8147 vsize=30992 CPUtime=1.4 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 2039 0 0 0 140 0 0 0 20 0 1 0 41828355 31735808 1859 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5048608 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1859 796 435 0 1111 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 30992

[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8151
/proc/meminfo: memFree=31484088/32770624 swapFree=0/426252
[pid=8150] ppid=8147 vsize=30992 CPUtime=3 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 3029 0 0 0 300 0 0 0 20 0 1 0 41828355 31735808 1883 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139507 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1883 796 435 0 1111 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 30992

[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8151
/proc/meminfo: memFree=31484184/32770624 swapFree=0/426252
[pid=8150] ppid=8147 vsize=30992 CPUtime=6.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 4027 0 0 0 620 0 0 0 20 0 1 0 41828355 31735808 1883 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5047724 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1883 796 435 0 1111 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 30992

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8151
/proc/meminfo: memFree=31484184/32770624 swapFree=0/426252
[pid=8150] ppid=8147 vsize=30992 CPUtime=12.6 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 5028 0 0 0 1260 0 0 0 20 0 1 0 41828355 31735808 1891 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5099664 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1891 796 435 0 1111 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 30992

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8151
/proc/meminfo: memFree=31484068/32770624 swapFree=0/426260
[pid=8150] ppid=8147 vsize=30992 CPUtime=25.4 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 7035 0 0 0 2540 0 0 0 20 0 1 0 41828355 31735808 1897 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5099616 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1897 796 435 0 1111 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 30992

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8152
/proc/meminfo: memFree=31484192/32770624 swapFree=0/426260
[pid=8150] ppid=8147 vsize=30992 CPUtime=51 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 8046 0 0 0 5100 0 0 0 20 0 1 0 41828355 31735808 1898 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139291 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7748 1898 796 435 0 1111 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 30992

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8154
/proc/meminfo: memFree=31484808/32770624 swapFree=0/426292
[pid=8150] ppid=8147 vsize=31124 CPUtime=102.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 8949 0 0 0 10220 0 0 0 20 0 1 0 41828355 31870976 1904 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139312 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1904 796 435 0 1144 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 31124

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 8156
/proc/meminfo: memFree=31484300/32770624 swapFree=0/426316
[pid=8150] ppid=8147 vsize=31124 CPUtime=162.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 9475 0 0 0 16220 0 0 0 20 0 1 0 41828355 31870976 1906 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5328506 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1906 796 435 0 1144 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 31124

[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 8158
/proc/meminfo: memFree=31484560/32770624 swapFree=0/426352
[pid=8150] ppid=8147 vsize=31124 CPUtime=222.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 10002 0 0 0 22220 0 0 0 20 0 1 0 41828355 31870976 1906 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5032400 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1906 796 435 0 1144 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 31124

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8160
/proc/meminfo: memFree=31484156/32770624 swapFree=0/426368
[pid=8150] ppid=8147 vsize=31124 CPUtime=282.2 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 10530 0 0 0 28220 0 0 0 20 0 1 0 41828355 31870976 1907 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046997 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1907 796 435 0 1144 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31124

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8162
/proc/meminfo: memFree=31484624/32770624 swapFree=0/426384
[pid=8150] ppid=8147 vsize=31124 CPUtime=342.21 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 11067 0 0 0 34220 1 0 0 20 0 1 0 41828355 31870976 1908 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046200 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1908 796 435 0 1144 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 31124

[startup+402.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/184 8178
/proc/meminfo: memFree=31479652/32770624 swapFree=0/426408
[pid=8150] ppid=8147 vsize=31124 CPUtime=402.21 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 11604 0 0 0 40220 1 0 0 20 0 1 0 41828355 31870976 1916 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1916 796 435 0 1144 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 31124

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 8180
/proc/meminfo: memFree=31480248/32770624 swapFree=0/426428
[pid=8150] ppid=8147 vsize=31124 CPUtime=462.21 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 12141 0 0 0 46220 1 0 0 20 0 1 0 41828355 31870976 1916 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139264 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1916 796 435 0 1144 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 31124

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 8182
/proc/meminfo: memFree=31483548/32770624 swapFree=0/426452
[pid=8150] ppid=8147 vsize=31124 CPUtime=522.21 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 12677 0 0 0 52220 1 0 0 20 0 1 0 41828355 31870976 1916 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5328649 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1916 796 435 0 1144 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31124

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 8184
/proc/meminfo: memFree=31482952/32770624 swapFree=0/426476
[pid=8150] ppid=8147 vsize=31124 CPUtime=582.21 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 13183 0 0 0 58220 1 0 0 20 0 1 0 41828355 31870976 1916 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139507 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1916 796 435 0 1144 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 31124


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 8308
/proc/meminfo: memFree=31539488/32770624 swapFree=0/426824
[pid=8150] ppid=8147 vsize=31124 CPUtime=1602.23 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 21600 0 0 0 160222 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046977 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 31124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 8335
/proc/meminfo: memFree=31537724/32770624 swapFree=0/426864
[pid=8150] ppid=8147 vsize=31124 CPUtime=1662.23 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 22127 0 0 0 166222 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5338164 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 31124

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 8336
/proc/meminfo: memFree=31538764/32770624 swapFree=0/426884
[pid=8150] ppid=8147 vsize=31124 CPUtime=1722.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 22664 0 0 0 172223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5032400 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 31124

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 8338
/proc/meminfo: memFree=31542652/32770624 swapFree=0/426912
[pid=8150] ppid=8147 vsize=31124 CPUtime=1782.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 23058 0 0 0 178223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139490 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 31124

[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 8340
/proc/meminfo: memFree=31543276/32770624 swapFree=0/426928
[pid=8150] ppid=8147 vsize=31124 CPUtime=1842.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 23596 0 0 0 184223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5328649 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 31124

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8342
/proc/meminfo: memFree=31543292/32770624 swapFree=0/426956
[pid=8150] ppid=8147 vsize=31124 CPUtime=1902.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 24029 0 0 0 190223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5045967 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 31124

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8344
/proc/meminfo: memFree=31543176/32770624 swapFree=0/426980
[pid=8150] ppid=8147 vsize=31124 CPUtime=1962.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 24462 0 0 0 196223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046736 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 31124

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8346
/proc/meminfo: memFree=31543164/32770624 swapFree=0/426992
[pid=8150] ppid=8147 vsize=31124 CPUtime=2022.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 25065 0 0 0 202223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046945 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 31124

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8348
/proc/meminfo: memFree=31543528/32770624 swapFree=0/426996
[pid=8150] ppid=8147 vsize=31124 CPUtime=2082.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 25534 0 0 0 208224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5045825 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 31124

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8350
/proc/meminfo: memFree=31543136/32770624 swapFree=0/427004
[pid=8150] ppid=8147 vsize=31124 CPUtime=2142.24 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 25967 0 0 0 214223 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139312 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 31124

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 8367
/proc/meminfo: memFree=31539468/32770624 swapFree=0/427052
[pid=8150] ppid=8147 vsize=31124 CPUtime=2202.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 26434 0 0 0 220224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 4935568 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 31124

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 8369
/proc/meminfo: memFree=31539364/32770624 swapFree=0/427072
[pid=8150] ppid=8147 vsize=31124 CPUtime=2262.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 26886 0 0 0 226224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046135 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 31124

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 8371
/proc/meminfo: memFree=31542264/32770624 swapFree=0/427088
[pid=8150] ppid=8147 vsize=31124 CPUtime=2322.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 27480 0 0 0 232224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046945 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 31124

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 8373
/proc/meminfo: memFree=31541776/32770624 swapFree=0/427108
[pid=8150] ppid=8147 vsize=31124 CPUtime=2382.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 27926 0 0 0 238224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046945 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 31124

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8375
/proc/meminfo: memFree=31542296/32770624 swapFree=0/427116
[pid=8150] ppid=8147 vsize=31124 CPUtime=2442.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 28450 0 0 0 244224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5139333 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 31124

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8377
/proc/meminfo: memFree=31542576/32770624 swapFree=0/427108
[pid=8150] ppid=8147 vsize=31124 CPUtime=2502.25 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 28987 0 0 0 250224 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046945 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 31124



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8379
/proc/meminfo: memFree=31542272/32770624 swapFree=0/427112
[pid=8150] ppid=8147 vsize=31124 CPUtime=2519.95 cores=0,2,4,6
/proc/8150/stat : 8150 (cosoco) R 8147 8150 31775 0 -1 4202496 29375 0 0 0 251994 1 0 0 20 0 1 0 41828355 31870976 1918 18446744073709551615 4194304 5972588 140726081977184 140726081974488 5046159 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 16011264 140726081982958 140726081983053 140726081983053 140726081986510 0
/proc/8150/statm: 7781 1918 796 435 0 1144 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 31124

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.96
CPU user time (s): 2519.95
CPU system time (s): 0.014
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 31124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.014
maximum resident set size= 7748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 690

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5821 second user time and 8.99551 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 12:33:41
IDJOB=4267936
IDBENCH=128084
IDSOLVER=2658
FILE ID=node124/4267936-1502534877
RUNJOBID= node124-1502500286-31838
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267936-1502534877/watcher-4267936-1502534877 -o /tmp/evaluation-result-4267936-1502534877/solver-4267936-1502534877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267936-1502534877.xml

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

MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487
RANDOM SEED=830449528

node124.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.51
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.51
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.51
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.51
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:        31489232 kB
MemAvailable:   31942204 kB
Buffers:          235880 kB
Cached:           510904 kB
SwapCached:            0 kB
Active:           413704 kB
Inactive:         451204 kB
Active(anon):     118384 kB
Inactive(anon):    24960 kB
Active(file):     295320 kB
Inactive(file):   426244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:        121828 kB
Mapped:            41920 kB
Shmem:             25320 kB
Slab:             120080 kB
SReclaimable:      94484 kB
SUnreclaim:        25596 kB
KernelStack:        3504 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     382184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-12 13:15:41