Trace number 4241726

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
R1: cosoco 1.1? (TO) 2400.05 2400.6

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.01	c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.05	c root propagations     : 0           
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c This is cosoco 1.0 --  
0.00/0.05	c
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.04 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 600
0.00/0.05	c |            Domain Sizes: 2..22
0.00/0.05	c |
0.00/0.05	c |             Constraints: 752
0.00/0.05	c |                   Arity: 2..100  -- Binary: 100  -- Ternary: 196
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          Exactly K: 22
0.00/0.05	c |                          Extension: 100  (nb tuples: 22..22) -- (shared: 99)
0.00/0.05	c |                          Sum: 630
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.16	c 101            694            59864          20946          0              0              339   382   355
0.29/0.34	c 211            1699           125527         36221          0              0              98   148   120 
0.49/0.56	c 332            2533           198323         61970          0              0              12   184   38  
0.59/0.69	c 465            3160           267404         75350          0              0              170   196   182
0.79/0.86	c 611            4663           350381         91232          0              0              4   276   237  
0.99/1.03	c 771            5534           416711         109668         0              0              28   126   92  
1.20/1.25	c 947            6221           496629         133145         0              0              23   111   79  
1.39/1.40	c 1140           6826           569313         151298         0              0              26   153   136 
1.49/1.57	c 1352           8157           637515         163012         0              0              22   139   117 
1.69/1.71	c 1585           9041           719718         178472         0              0              18   185   172 
1.89/1.95	c 1841           9954           814800         191926         0              0              26   117   112 
2.20/2.25	c 2122           11011          956092         224167         0              0              16   179   167 
2.89/2.90	c 2431           12893          1223015        304052         0              0              12   152   99  
3.69/3.74	c 2770           14393          1519235        507097         0              0              60   144   118 
3.99/4.01	c 3142           15530          1633554        540627         0              0              74   163   156 
4.19/4.24	c 3551           17258          1745671        578424         0              0              22   184   163 
4.59/4.69	c 4000           18590          1953099        627403         0              0              34   208   192 
5.09/5.16	c 4493           20449          2138311        653499         0              0              34   153   148 
5.29/5.39	c 5035           21998          2271155        680263         0              0              11   226   212 
5.89/5.90	c 5631           24790          2480676        722357         0              0              13   148   131 
6.79/6.81	c 6286           27902          2874884        856965         0              0              52   148   136 
7.49/7.52	c 7006           31370          3158187        902460         0              0              14   151   137 
8.99/9.06	c 7798           37845          3691072        1076653        0              0              17   116   100 
9.69/9.77	c 8669           41042          4045434        1151918        0              0              56   201   181 
10.49/10.55	c 9627           46459          4394820        1239134        0              0              12   192   170 
11.19/11.20	c 10680          50343          4801992        1337065        0              0              16   223   209 
11.89/11.95	c 11838          54316          5224808        1410764        0              0              77   206   191 
15.09/15.17	c 13111          59799          6321397        1589731        0              0              11   175   150 
16.49/16.54	c 14511          65573          6845763        1694226        0              0              15   196   128 
17.78/17.89	c 16051          70423          7408109        1843689        0              0              8   224   179  
18.69/18.78	c 17745          76006          7954458        1964905        0              0              5   206   194  
20.68/20.70	c 19608          81710          8801503        2288490        0              0              5   206   176  
21.78/21.82	c 21657          89549          9388880        2485159        0              0              8   223   190  
23.48/23.52	c 23910          102156         10097905       2742307        0              0              10   192   51  
25.29/25.34	c 26388          116326         10995842       2870641        0              0              27   193   154 
27.68/27.76	c 29113          128090         12005048       3079558        0              0              27   220   162 
29.48/29.58	c 32110          139643         13122821       3317947        0              0              37   203   192 
32.38/32.43	c 35406          154760         14528817       3571898        0              0              38   193   175 
36.48/36.53	c 39031          166936         16273277       5412381        0              0              43   89   71   
40.08/40.13	c 43018          184520         17833294       5697439        0              0              43   175   139 
43.48/43.55	c 47403          201348         19329316       5935967        0              0              26   218   185 
48.28/48.33	c 52226          222280         21305572       6545395        0              0              21   168   151 
51.18/51.30	c 57531          239267         23005778       6850920        0              0              30   204   189 
55.48/55.53	c 63366          257827         24910024       7277432        0              0              27   204   153 
58.78/58.87	c 69784          276085         26881639       7864065        0              0              8   251   233  
61.07/61.15	c 76843          296359         28477020       8189522        0              0              6   212   205  
66.37/66.48	c 84607          327205         30877653       8664964        0              0              16   209   142 
72.37/72.41	c 93147          358453         33795533       9266178        0              0              8   230   162  
77.08/77.12	c 102541         390999         36859275       9896196        0              0              11   222   212 
83.47/83.54	c 112874         425185         40326597       10614139       0              0              9   228   196  
90.27/90.34	c 124240         475037         43761257       11349627       0              0              4   250   171  
124.66/124.71	c 136742         552154         54988818       13993849       0              0              35   123   103 
137.06/137.16	c 150494         609713         60321317       15009465       0              0              33   188   164 
145.16/145.27	c 165621         661892         65075907       16023483       0              0              41   226   210 
177.45/177.58	c 182260         734311         76385519       19433029       0              0              22   176   124 
190.84/190.93	c 200562         790720         82224113       20524379       0              0              37   197   192 
204.74/204.81	c 220694         861526         88122868       21375518       0              0              30   192   184 
214.64/214.76	c 242839         938706         93277198       22241815       0              0              10   237   196 
242.63/242.70	c 267198         1085126        105785312      25271488       0              0              25   249   182 
257.63/257.77	c 293992         1177131        114671270      26965641       0              0              10   238   214 
305.91/306.00	c 323465         1300834        132753840      30301748       0              0              5   228   165  
321.31/321.46	c 355885         1401217        143345728      33275816       0              0              5   296   232  
346.11/346.21	c 391547         1531031        157852137      36477022       0              0              5   217   203  
368.10/368.27	c 430775         1632451        169905016      39152956       0              0              7   234   210  
391.39/391.51	c 473925         1808390        183132813      42108961       0              0              7   224   202  
419.39/419.59	c 521390         1984137        200103871      45797824       0              0              18   235   214 
439.99/440.12	c 573601         2124123        212810179      48649787       0              0              13   223   200 
501.48/501.61	c 631033         2397477        238595017      58636479       0              0              13   241   124 
601.55/601.73	c 694208         2754051        280181285      90098423       0              0              13   173   104 
691.73/691.99	c 763700         3189534        314217658      97749801       0              0              13   177   138 
743.31/743.57	c 840141         3494914        339733396      102651311      0              0              9   216   157  
799.80/800.06	c 924226         3765789        368061717      108212443      0              0              16   251   220 
845.19/845.40	c 1016719        4032066        393698265      115124101      0              0              9   262   235  
889.48/889.76	c 1118461        4409938        419790692      118737099      0              0              9   246   228  
947.87/948.19	c 1230377        4668366        451579181      126540175      0              0              7   232   223  
1020.25/1020.53	c 1353484        5080602        486852989      134468905      0              0              7   233   196  
1088.03/1088.33	c 1488901        5491758        524553980      144452354      0              0              8   256   211  
1162.02/1162.30	c 1637859        5962606        569232385      154461266      0              0              8   257   211  
1279.49/1279.82	c 1801712        6594749        625658648      170216207      0              0              21   268   189 
1448.15/1448.50	c 1981950        7284599        705228096      189103327      0              0              11   259   201 
1568.23/1568.65	c 2180211        7949867        772374777      202562489      0              0              22   235   214 
1679.40/1679.83	c 2398298        8631724        836568094      219582893      0              0              31   219   196 
1807.87/1808.35	c 2638193        9185474        900469296      233280489      0              0              19   254   225 
1941.24/1941.79	c 2902077        9839729        969983390      250423623      0              0              10   235   218 
2231.28/2231.88	c 3192349        10860699       1096996838     276983913      0              0              9   247   204

Verifier Data 

One s line expected

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-4241726-1500653359/watcher-4241726-1500653359 -o /tmp/evaluation-result-4241726-1500653359/solver-4241726-1500653359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2496 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241726-1500653359.xml 

pid=3348
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.98 3/241 3351
/proc/meminfo: memFree=31593292/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=27516 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 1106 0 0 0 0 0 0 0 20 0 1 0 603362 28176384 938 33554432000 4194304 5970956 140733887697648 140733887694296 5440119 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 6879 938 726 434 0 243 0

[startup+0.100117 s]
/proc/loadavg: 2.00 2.02 1.98 3/241 3351
/proc/meminfo: memFree=31593292/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30704 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 1977 0 0 0 9 0 0 0 20 0 1 0 603362 31440896 1785 33554432000 4194304 5970956 140733887697648 140733887694616 140389062835173 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7676 1785 795 434 0 1040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30704

[startup+0.200243 s]
/proc/loadavg: 2.00 2.02 1.98 3/241 3351
/proc/meminfo: memFree=31593292/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30836 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 2008 0 0 0 19 0 0 0 20 0 1 0 603362 31576064 1785 33554432000 4194304 5970956 140733887697648 140733887694984 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7709 1785 795 434 0 1073 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30836

[startup+0.300213 s]
/proc/loadavg: 2.00 2.02 1.98 3/241 3351
/proc/meminfo: memFree=31593292/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30836 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 2008 0 0 0 29 0 0 0 20 0 1 0 603362 31576064 1785 33554432000 4194304 5970956 140733887697648 140733887694984 5136615 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7709 1785 795 434 0 1073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30836

[startup+0.700183 s]
/proc/loadavg: 2.00 2.02 1.98 3/241 3351
/proc/meminfo: memFree=31593292/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30968 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 2031 0 0 0 69 0 0 0 20 0 1 0 603362 31711232 1851 33554432000 4194304 5970956 140733887697648 140733887694984 5045980 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1851 798 434 0 1106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30968

[startup+1.50018 s]
/proc/loadavg: 2.00 2.02 1.98 3/242 3352
/proc/meminfo: memFree=31588812/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30968 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 2042 0 0 0 149 0 0 0 20 0 1 0 603362 31711232 1851 33554432000 4194304 5970956 140733887697648 140733887694984 5136587 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1851 798 434 0 1106 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30968

[startup+3.10018 s]
/proc/loadavg: 2.00 2.02 1.98 3/242 3352
/proc/meminfo: memFree=31588380/32770624 swapFree=5804/207696
[pid=3351] ppid=3348 vsize=30968 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 3033 0 0 0 309 0 0 0 20 0 1 0 603362 31711232 1884 33554432000 4194304 5970956 140733887697648 140733887694984 5045007 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1884 798 434 0 1106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30968

[startup+6.30019 s]
/proc/loadavg: 2.00 2.02 1.98 3/243 3353
/proc/meminfo: memFree=31586640/32770624 swapFree=5804/207756
[pid=3351] ppid=3348 vsize=30968 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 4047 0 0 0 629 0 0 0 20 0 1 0 603362 31711232 1884 33554432000 4194304 5970956 140733887697648 140733887694984 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1884 798 434 0 1106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30968

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.98 3/243 3353
/proc/meminfo: memFree=31586300/32770624 swapFree=5804/207736
[pid=3351] ppid=3348 vsize=30968 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 5060 0 0 0 1269 0 0 0 20 0 1 0 603362 31711232 1891 33554432000 4194304 5970956 140733887697648 140733887694984 5047680 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1891 798 434 0 1106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30968

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.98 3/243 3353
/proc/meminfo: memFree=31586424/32770624 swapFree=5804/207744
[pid=3351] ppid=3348 vsize=30968 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 7095 0 0 0 2548 0 0 0 20 0 1 0 603362 31711232 1897 33554432000 4194304 5970956 140733887697648 140733887694984 5045043 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7742 1897 798 434 0 1106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30968

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 1.98 3/243 3360
/proc/meminfo: memFree=31585424/32770624 swapFree=5804/207788
[pid=3351] ppid=3348 vsize=31100 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 8119 0 0 0 5108 0 0 0 20 0 1 0 603362 31846400 1899 33554432000 4194304 5970956 140733887697648 140733887694984 5031424 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1899 798 434 0 1139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31100

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 3361
/proc/meminfo: memFree=31585520/32770624 swapFree=5804/207860
[pid=3351] ppid=3348 vsize=31100 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 9155 0 0 0 10227 0 0 0 20 0 1 0 603362 31846400 1906 33554432000 4194304 5970956 140733887697648 140733887694984 5045964 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1906 798 434 0 1139 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31100

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/243 3362
/proc/meminfo: memFree=31584964/32770624 swapFree=5804/207912
[pid=3351] ppid=3348 vsize=31100 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 10184 0 0 0 16225 0 0 0 20 0 1 0 603362 31846400 1909 33554432000 4194304 5970956 140733887697648 140733887694984 5325120 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1909 798 434 0 1139 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31100

[startup+222.307 s]
/proc/loadavg: 2.02 2.02 1.99 3/243 3363
/proc/meminfo: memFree=31584476/32770624 swapFree=5804/207980
[pid=3351] ppid=3348 vsize=31100 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 11212 0 0 0 22224 0 0 0 20 0 1 0 603362 31846400 1909 33554432000 4194304 5970956 140733887697648 140733887694984 5045969 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1909 798 434 0 1139 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 31100

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/243 3364
/proc/meminfo: memFree=31583232/32770624 swapFree=5804/208016
[pid=3351] ppid=3348 vsize=31100 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 12242 0 0 0 28222 0 0 0 20 0 1 0 603362 31846400 1909 33554432000 4194304 5970956 140733887697648 140733887694984 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1909 798 434 0 1139 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31100

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/243 3365
/proc/meminfo: memFree=31582816/32770624 swapFree=5804/208056
[pid=3351] ppid=3348 vsize=31100 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 12779 0 0 0 34221 0 0 0 20 0 1 0 603362 31846400 1911 33554432000 4194304 5970956 140733887697648 140733887694984 5136795 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1911 798 434 0 1139 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 31100

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/243 3366
/proc/meminfo: memFree=31583444/32770624 swapFree=5804/208108
[pid=3351] ppid=3348 vsize=31100 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 13314 0 0 0 40219 0 0 0 20 0 1 0 603362 31846400 1920 33554432000 4194304 5970956 140733887697648 140733887694984 5031451 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1920 798 434 0 1139 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31100

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 3367
/proc/meminfo: memFree=31583240/32770624 swapFree=5804/208152
[pid=3351] ppid=3348 vsize=31100 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 13849 0 0 0 46218 0 0 0 20 0 1 0 603362 31846400 1920 33554432000 4194304 5970956 140733887697648 140733887694984 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1920 798 434 0 1139 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 31100

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 3368
/proc/meminfo: memFree=31583356/32770624 swapFree=5804/208180
[pid=3351] ppid=3348 vsize=31100 CPUtime=522.16 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 14384 0 0 0 52216 0 0 0 20 0 1 0 603362 31846400 1920 33554432000 4194304 5970956 140733887697648 140733887694984 5046006 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1920 798 434 0 1139 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 31100

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 3369
/proc/meminfo: memFree=31583220/32770624 swapFree=5804/208212
[pid=3351] ppid=3348 vsize=31100 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 14894 0 0 0 58215 0 0 0 20 0 1 0 603362 31846400 1920 33554432000 4194304 5970956 140733887697648 140733887694984 5045969 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1920 798 434 0 1139 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 31100


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 3532
/proc/meminfo: memFree=32037200/32770624 swapFree=5804/208872
[pid=3351] ppid=3348 vsize=31100 CPUtime=1481.94 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 22719 0 0 0 148194 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5031494 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 31100

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/243 3533
/proc/meminfo: memFree=32037580/32770624 swapFree=5804/208912
[pid=3351] ppid=3348 vsize=31100 CPUtime=1541.94 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 23154 0 0 0 154194 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5045183 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 31100

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3534
/proc/meminfo: memFree=32037664/32770624 swapFree=5804/208944
[pid=3351] ppid=3348 vsize=31100 CPUtime=1601.91 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 23690 0 0 0 160191 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5136794 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 31100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3535
/proc/meminfo: memFree=32037912/32770624 swapFree=5804/208976
[pid=3351] ppid=3348 vsize=31100 CPUtime=1661.9 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 24212 0 0 0 166190 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 31100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3536
/proc/meminfo: memFree=32037620/32770624 swapFree=5804/209012
[pid=3351] ppid=3348 vsize=31100 CPUtime=1721.89 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 24749 0 0 0 172189 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5047680 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 31100

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3537
/proc/meminfo: memFree=32038020/32770624 swapFree=5804/209052
[pid=3351] ppid=3348 vsize=31100 CPUtime=1781.87 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 25166 0 0 0 178187 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 31100

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 3545
/proc/meminfo: memFree=32037436/32770624 swapFree=5804/209088
[pid=3351] ppid=3348 vsize=31100 CPUtime=1841.86 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 25702 0 0 0 184186 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5045715 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 31100

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/243 3546
/proc/meminfo: memFree=32037616/32770624 swapFree=5804/209128
[pid=3351] ppid=3348 vsize=31100 CPUtime=1901.85 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 26150 0 0 0 190185 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5046435 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 31100

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 3547
/proc/meminfo: memFree=32036868/32770624 swapFree=5804/209172
[pid=3351] ppid=3348 vsize=31100 CPUtime=1961.83 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 26688 0 0 0 196183 0 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5320472 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 31100

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 3548
/proc/meminfo: memFree=32037216/32770624 swapFree=5804/209204
[pid=3351] ppid=3348 vsize=31100 CPUtime=2021.83 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 27184 0 0 0 202182 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2021.83
Current children cumulated vsize (KiB) 31100

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 3549
/proc/meminfo: memFree=32036408/32770624 swapFree=5804/209240
[pid=3351] ppid=3348 vsize=31100 CPUtime=2081.82 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 27596 0 0 0 208181 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5045969 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2081.82
Current children cumulated vsize (KiB) 31100

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/243 3550
/proc/meminfo: memFree=32036204/32770624 swapFree=5804/209280
[pid=3351] ppid=3348 vsize=31100 CPUtime=2141.8 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 28056 0 0 0 214179 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5045744 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2141.8
Current children cumulated vsize (KiB) 31100

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 3551
/proc/meminfo: memFree=32036696/32770624 swapFree=5804/209312
[pid=3351] ppid=3348 vsize=31100 CPUtime=2201.79 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 28512 0 0 0 220178 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5044874 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2201.79
Current children cumulated vsize (KiB) 31100

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 3552
/proc/meminfo: memFree=32035892/32770624 swapFree=5804/209352
[pid=3351] ppid=3348 vsize=31100 CPUtime=2261.77 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 29038 0 0 0 226176 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2261.77
Current children cumulated vsize (KiB) 31100

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 3553
/proc/meminfo: memFree=32036260/32770624 swapFree=5804/209388
[pid=3351] ppid=3348 vsize=31100 CPUtime=2321.76 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 29529 0 0 0 232175 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5136590 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2321.76
Current children cumulated vsize (KiB) 31100

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/243 3554
/proc/meminfo: memFree=32037056/32770624 swapFree=5804/209424
[pid=3351] ppid=3348 vsize=31100 CPUtime=2381.75 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 30052 0 0 0 238174 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5044849 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2381.75
Current children cumulated vsize (KiB) 31100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.09 2.04 2.02 3/243 3554
/proc/meminfo: memFree=32036000/32770624 swapFree=5804/209432
[pid=3351] ppid=3348 vsize=31100 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/3351/stat : 3351 (cosoco) R 3348 3351 2463 0 -1 4202496 30484 0 0 0 240003 1 0 0 20 0 1 0 603362 31846400 1923 33554432000 4194304 5970956 140733887697648 140733887694984 5046401 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15720448 140733887702209 140733887702339 140733887702339 140733887705038 0
/proc/3351/statm: 7775 1923 798 434 0 1139 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 31100

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.012997
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 31100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.012997
maximum resident set size= 7736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30512
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= 13
involuntary context switches= 120664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1469 second user time and 10.5106 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 18:09:19
IDJOB=4241726
IDBENCH=128084
IDSOLVER=2620
FILE ID=node131/4241726-1500653359
RUNJOBID= node131-1500648174-2496
PBS_JOBID= 20623289
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241726-1500653359/watcher-4241726-1500653359 -o /tmp/evaluation-result-4241726-1500653359/solver-4241726-1500653359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2496 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241726-1500653359.xml

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

MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487
RANDOM SEED=1954809878

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31593396 kB
MemAvailable:   31574052 kB
Buffers:           27972 kB
Cached:           264916 kB
SwapCached:            0 kB
Active:           590900 kB
Inactive:         216388 kB
Active(anon):     517088 kB
Inactive(anon):     8692 kB
Active(file):      73812 kB
Inactive(file):   207696 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2460 kB
Writeback:             0 kB
AnonPages:        521012 kB
Mapped:            30576 kB
Shmem:              8844 kB
Slab:              62252 kB
SReclaimable:      29964 kB
SUnreclaim:        32288 kB
KernelStack:        4208 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     788892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-07-21 18:49:20