Trace number 4243013

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os07/
SuperTaillard-os-07-26.xml
MD5SUM94b2333e20121f91e59972a20e586711
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.8511105
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints931
Number of domains38
Minimum domain size332
Maximum domain size428
Distribution of domain sizes[{"size":332,"count":2},{"size":334,"count":6},{"size":335,"count":2},{"size":336,"count":2},{"size":338,"count":2},{"size":340,"count":2},{"size":341,"count":2},{"size":342,"count":4},{"size":349,"count":2},{"size":351,"count":2},{"size":352,"count":2},{"size":353,"count":6},{"size":354,"count":4},{"size":360,"count":2},{"size":363,"count":2},{"size":365,"count":2},{"size":366,"count":2},{"size":368,"count":4},{"size":369,"count":4},{"size":370,"count":4},{"size":372,"count":2},{"size":374,"count":2},{"size":380,"count":2},{"size":383,"count":4},{"size":388,"count":2},{"size":389,"count":2},{"size":390,"count":2},{"size":393,"count":2},{"size":397,"count":2},{"size":402,"count":2},{"size":404,"count":4},{"size":405,"count":2},{"size":409,"count":2},{"size":421,"count":2},{"size":423,"count":2},{"size":424,"count":2},{"size":427,"count":2},{"size":428,"count":2}]
Minimum variable degree13
Maximum variable degree25
Distribution of variable degrees[{"degree":13,"count":49},{"degree":25,"count":49}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":931}]
Number of extensional constraints0
Number of intensional constraints931
Distribution of constraint types[{"type":"intension","count":931}]
Optimization problemNO
Type of objective

Solver Data 

0.99/1.05	c intension x0 != x1  using generic constraint 
0.99/1.05	c intension x2 != x3  using generic constraint 
0.99/1.05	c intension x4 != x5  using generic constraint 
0.99/1.05	c intension x6 != x7  using generic constraint 
0.99/1.05	c intension x8 != x9  using generic constraint 
0.99/1.05	c intension x10 != x11  using generic constraint 
0.99/1.05	c intension x12 != x13  using generic constraint 
0.99/1.05	c intension x14 != x15  using generic constraint 
0.99/1.06	c intension x16 != x17  using generic constraint 
0.99/1.06	c intension x18 != x19  using generic constraint 
0.99/1.06	c intension x20 != x21  using generic constraint 
0.99/1.06	c intension x22 != x23  using generic constraint 
0.99/1.06	c intension x24 != x25  using generic constraint 
0.99/1.06	c intension x26 != x27  using generic constraint 
0.99/1.06	c intension x28 != x29  using generic constraint 
0.99/1.06	c intension x30 != x31  using generic constraint 
0.99/1.06	c intension x32 != x33  using generic constraint 
0.99/1.06	c intension x34 != x35  using generic constraint 
0.99/1.06	c intension x36 != x37  using generic constraint 
0.99/1.06	c intension x38 != x39  using generic constraint 
0.99/1.07	c intension x40 != x41  using generic constraint 
0.99/1.07	c intension x42 != x43  using generic constraint 
0.99/1.07	c intension x44 != x45  using generic constraint 
0.99/1.07	c intension x46 != x47  using generic constraint 
0.99/1.07	c intension x48 != x49  using generic constraint 
0.99/1.07	c intension x50 != x51  using generic constraint 
0.99/1.07	c intension x52 != x53  using generic constraint 
0.99/1.07	c intension x54 != x55  using generic constraint 
0.99/1.07	c intension x56 != x57  using generic constraint 
0.99/1.07	c intension x58 != x59  using generic constraint 
0.99/1.07	c intension x60 != x61  using generic constraint 
0.99/1.08	c intension x62 != x63  using generic constraint 
0.99/1.08	c intension x64 != x65  using generic constraint 
0.99/1.08	c intension x66 != x67  using generic constraint 
0.99/1.08	c intension x68 != x69  using generic constraint 
0.99/1.08	c intension x70 != x71  using generic constraint 
0.99/1.08	c intension x72 != x73  using generic constraint 
0.99/1.08	c intension x74 != x75  using generic constraint 
0.99/1.08	c intension x76 != x77  using generic constraint 
0.99/1.08	c intension x78 != x79  using generic constraint 
0.99/1.08	c intension x80 != x81  using generic constraint 
0.99/1.08	c intension x82 != x83  using generic constraint 
0.99/1.09	c intension x84 != x85  using generic constraint 
0.99/1.09	c intension x86 != x87  using generic constraint 
0.99/1.09	c intension x88 != x89  using generic constraint 
0.99/1.09	c intension x90 != x91  using generic constraint 
0.99/1.09	c intension x92 != x93  using generic constraint 
0.99/1.09	c intension x94 != x95  using generic constraint 
0.99/1.09	c intension x96 != x97  using generic constraint 
0.99/1.09	c root propagations     : 0           
0.99/1.09	c restarts enabled, print stats at every restarts
0.99/1.09	c
0.99/1.09	c
0.99/1.09	c
0.99/1.09	c This is cosoco 1.0 --  
0.99/1.09	c
0.99/1.09	c ========================================[ Problem Statistics ]===========================================
0.99/1.09	c |                                                                                                       
0.99/1.09	c |  Parse time        :         1.09 s 
0.99/1.09	c |
0.99/1.09	c |               Variables: 98
0.99/1.09	c |            Domain Sizes: 332..428
0.99/1.09	c |
0.99/1.09	c |             Constraints: 931
0.99/1.09	c |                   Arity: 2..2  -- Binary: 931
0.99/1.09	c | 
0.99/1.09	c |                   Types: 
0.99/1.09	c |                          (X != Y): 49
0.99/1.09	c |                          Intension: 882
0.99/1.09	c |                          
0.99/1.09	c =========================================================================================================
0.99/1.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.20/1.23	c 101            109            22187          187886         0              0              4   4   3      
1.29/1.39	c 211            225            37151          495762         0              0              5   5   4      
1.39/1.49	c 332            351            44774          795547         0              0              4   4   3      
1.59/1.61	c 465            490            58251          1073749        0              0              4   4   3      
1.69/1.73	c 611            641            67139          1431905        0              0              4   4   3      
1.79/1.87	c 771            808            83677          1723597        0              0              4   4   3      
2.09/2.10	c 947            1001           117909         2093063        0              0              4   6   5      
2.30/2.32	c 1140           1211           157480         2377459        0              0              5   6   5      
2.49/2.53	c 1352           1437           195678         2718982        0              0              5   5   4      
2.69/2.78	c 1585           1689           229896         3137944        0              0              4   5   4      
2.89/2.99	c 1841           1957           263470         3545839        0              0              4   4   3      
3.30/3.33	c 2122           2274           319670         4089110        0              0              4   6   5      
3.69/3.75	c 2431           2592           344111         5110389        0              0              5   5   4      
4.09/4.17	c 2770           2954           371328         5798404        0              0              4   5   4      
4.50/4.53	c 3142           3355           417052         6548915        0              0              5   7   5      
4.89/4.92	c 3551           3794           470083         7438130        0              0              4   5   4      
5.19/5.28	c 4000           4251           494207         8512870        0              0              4   4   3      
5.69/5.74	c 4493           4775           576895         9226963        0              0              4   4   3      
6.70/6.78	c 5035           5326           626745         11011556       0              0              4   4   3      
7.49/7.58	c 5631           5970           760159         12157876       0              0              4   6   5      
8.09/8.12	c 6286           6644           812181         13827590       0              0              5   5   4      
9.09/9.13	c 7006           7410           942748         15486906       0              0              3   4   3      
9.89/9.99	c 7798           8271           1107466        16428949       0              0              5   6   5      
10.69/10.73	c 8669           9192           1181221        18409509       0              0              4   5   4      
11.88/11.99	c 9627           10208          1269860        20220370       0              0              4   5   4      
12.68/12.78	c 10680          11281          1328606        22762425       0              0              4   4   3      
14.08/14.10	c 11838          12512          1531232        24794371       0              0              3   5   4      
15.58/15.60	c 13111          13921          1765321        27275279       0              0              4   6   5      
17.28/17.33	c 14511          15363          1896898        31584259       0              0              5   5   4      
19.48/19.52	c 16051          16995          2165747        34880322       0              0              4   5   4      
20.48/20.56	c 17745          18709          2254094        38666850       0              0              4   4   3      
22.09/22.15	c 19608          20673          2419316        42646856       0              0              3   5   3      
24.98/25.01	c 21657          22826          2691633        48092436       0              0              3   4   3      
26.58/26.64	c 23910          25176          2838725        52328892       0              0              3   4   3      
29.98/30.02	c 26388          27856          3367348        56663578       0              0              4   7   6      
34.09/34.19	c 29113          30732          3593017        63096305       0              0              3   5   4      
37.08/37.17	c 32110          33875          3843373        70873324       0              0              3   4   3      
40.68/40.74	c 35406          37340          4284277        77791576       0              0              3   4   3      
45.67/45.77	c 39031          41235          4987386        84079203       0              0              3   7   5      
49.67/49.75	c 43018          45459          5542396        92601592       0              0              4   6   4      
52.97/53.06	c 47403          49965          5862987        103013072      0              0              3   5   4      
57.67/57.72	c 52226          54938          6225862        115264543      0              0              3   4   3      
64.16/64.22	c 57531          60594          7092993        124311647      0              0              3   26   12    
72.87/72.96	c 63366          66959          8249446        135726665      0              0              4   6   5      
81.07/81.18	c 69784          73693          9126041        149358647      0              0              3   17   8     
90.66/90.79	c 76843          81388          10642208       157099701      0              0              4   9   8      
99.36/99.43	c 84607          89569          11869252       172796049      0              0              4   6   5      
108.46/108.58	c 93147          98678          13176857       190878828      0              0              4   6   5      
116.46/116.57	c 102541         108501         14171443       210708752      0              0              4   8   5      
127.66/127.79	c 112874         119702         15745761       229821659      0              0              4   6   5      
137.56/137.69	c 124240         131545         16826289       253960500      0              0              3   6   4      
151.04/151.12	c 136742         144986         18633040       279613978      0              0              4   6   5      
180.34/180.50	c 150494         159306         20443482       319847779      0              0              3   24   13    
200.33/200.43	c 165621         177617         24063767       325161086      0              0              3   10   8     
215.42/215.57	c 182260         194925         25588638       358529438      0              0              4   6   5      
236.01/236.18	c 200562         214409         27993538       397383164      0              0              3   5   4      
254.80/254.90	c 220694         235382         29847111       440822330      0              0              3   24   5     
285.59/285.71	c 242839         259633         34479531       464176785      0              0              4   9   8      
308.39/308.56	c 267198         285072         37233191       513021024      0              0              4   8   5      
335.98/336.10	c 293992         313233         40555460       568427084      0              0              4   6   5      
368.37/368.55	c 323465         343772         42958766       628315779      0              0              3   27   13    
399.66/399.82	c 355885         377618         46667189       700007007      0              0              5   9   6      
467.14/467.37	c 391547         415342         50467888       785524917      0              0              3   26   18    
522.72/522.94	c 430775         458100         58428448       856709964      0              0              5   8   6      
598.09/598.31	c 473925         503653         65352679       942814601      0              0              3   27   20    
675.96/676.25	c 521390         557132         72457417       1025917043     0              0              5   8   6      
742.94/743.27	c 573601         612993         81680133       1145546197     0              0              4   6   5      
839.32/839.68	c 631033         673408         90800823       1268860305     0              0              3   19   14    
901.40/901.76	c 694208         739331         98313758       1391392712     0              0              5   9   6      
982.28/982.61	c 763700         814514         111051738      1515241075     0              0              4   7   6      
1116.73/1117.13	c 840141         894525         120989293      1726780549     0              0              3   20   15    
1194.22/1194.68	c 924226         982229         130708330      1898976858     0              0              5   9   6      
1367.65/1368.14	c 1016719        1079941        144134659      2162390343     0              0              3   19   16    
1502.51/1503.04	c 1118461        1191243        165646857      2324159100     0              0              5   8   7      
1634.47/1635.04	c 1230377        1310312        182079196      2550777591     0              0              3   19   5     
1744.83/1745.44	c 1353484        1437562        193298973      2823754954     0              0              5   9   6      
1893.60/1894.26	c 1488901        1582434        216023254      3061532317     0              0              3   7   5      
2152.91/2153.62	c 1637859        1740905        239621471      3432274681     0              0              3   19   10    
2363.74/2364.50	c 1801712        1917803        271794125      3708725679     0              0              5   8   7

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-4243013-1500670650/watcher-4243013-1500670650 -o /tmp/evaluation-result-4243013-1500670650/solver-4243013-1500670650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500668248-5056 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243013-1500670650.xml 

pid=5288
running on 8 cores: 0,2,4,6,8,10,12,14

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.04 2.03 1.96 2/242 5291
/proc/meminfo: memFree=32024504/32770624 swapFree=5804/218784
[pid=5291] ppid=5288 vsize=27384 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 1063 0 0 0 1 0 0 0 20 0 1 0 2333682 28041216 898 33554432000 4194304 5970956 140722608981920 140722608978568 140631342316517 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 6846 898 728 434 0 210 0

[startup+0.100117 s]
/proc/loadavg: 2.04 2.03 1.96 2/242 5291
/proc/meminfo: memFree=32024504/32770624 swapFree=5804/218784
[pid=5291] ppid=5288 vsize=27896 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 1241 0 0 0 9 0 0 0 20 0 1 0 2333682 28565504 1076 33554432000 4194304 5970956 140722608981920 140722608975752 140631342316517 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 6974 1076 776 434 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27896

[startup+0.200305 s]
/proc/loadavg: 2.04 2.03 1.96 2/242 5291
/proc/meminfo: memFree=32024504/32770624 swapFree=5804/218784
[pid=5291] ppid=5288 vsize=29052 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 1521 0 0 0 19 0 0 0 20 0 1 0 2333682 29749248 1332 33554432000 4194304 5970956 140722608981920 140722608975752 140631342312254 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 7263 1332 776 434 0 627 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29052

[startup+0.300267 s]
/proc/loadavg: 2.04 2.03 1.96 2/242 5291
/proc/meminfo: memFree=32024504/32770624 swapFree=5804/218784
[pid=5291] ppid=5288 vsize=30328 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 1851 0 0 0 29 0 0 0 20 0 1 0 2333682 31055872 1683 33554432000 4194304 5970956 140722608981920 140722608975752 140631342316517 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 7582 1683 776 434 0 946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30328

[startup+0.700239 s]
/proc/loadavg: 2.04 2.03 1.96 2/242 5291
/proc/meminfo: memFree=32024504/32770624 swapFree=5804/218784
[pid=5291] ppid=5288 vsize=35556 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 3159 0 0 0 69 0 0 0 20 0 1 0 2333682 36409344 2957 33554432000 4194304 5970956 140722608981920 140722608973304 140631342316517 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 8889 2957 776 434 0 2253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35556

[startup+1.50024 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31978936/32770624 swapFree=5804/218776
[pid=5291] ppid=5288 vsize=42176 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 4856 0 0 0 149 0 0 0 20 0 1 0 2333682 43188224 4678 33554432000 4194304 5970956 140722608981920 140722608978984 5070419 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10544 4678 821 434 0 3908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42176

[startup+3.10024 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31943844/32770624 swapFree=5804/218776
[pid=5291] ppid=5288 vsize=42704 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 7102 0 0 0 309 0 0 0 20 0 1 0 2333682 43728896 4825 33554432000 4194304 5970956 140722608981920 140722608979256 4964386 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10676 4825 821 434 0 4040 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42704

[startup+6.30028 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31844880/32770624 swapFree=5804/218772
[pid=5291] ppid=5288 vsize=43100 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 9508 0 0 0 629 0 0 0 20 0 1 0 2333682 44134400 4932 33554432000 4194304 5970956 140722608981920 140722608979256 4964961 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10775 4932 821 434 0 4139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43100

[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31681948/32770624 swapFree=5804/218748
[pid=5291] ppid=5288 vsize=43232 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 11809 0 0 0 1268 0 0 0 20 0 1 0 2333682 44269568 4978 33554432000 4194304 5970956 140722608981920 140722608979256 5071026 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10808 4978 821 434 0 4172 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43232

[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 1.96 3/243 5292
/proc/meminfo: memFree=31677768/32770624 swapFree=5804/218768
[pid=5291] ppid=5288 vsize=43496 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 16278 0 0 0 2548 0 0 0 20 0 1 0 2333682 44539904 5051 33554432000 4194304 5970956 140722608981920 140722608979256 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10874 5051 821 434 0 4238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43496

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 1.96 3/243 5293
/proc/meminfo: memFree=31676728/32770624 swapFree=5804/218800
[pid=5291] ppid=5288 vsize=43892 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 19158 0 0 0 5107 0 0 0 20 0 1 0 2333682 44945408 5108 33554432000 4194304 5970956 140722608981920 140722608978984 4967778 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 10973 5108 821 434 0 4337 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43892

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/243 5294
/proc/meminfo: memFree=31670900/32770624 swapFree=5804/218896
[pid=5291] ppid=5288 vsize=48644 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 25041 0 0 0 10226 1 0 0 20 0 1 0 2333682 49811456 6328 33554432000 4194304 5970956 140722608981920 140722608979256 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 12161 6328 821 434 0 5525 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48644

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/243 5302
/proc/meminfo: memFree=31669216/32770624 swapFree=5804/218976
[pid=5291] ppid=5288 vsize=49304 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 28278 0 0 0 16223 1 0 0 20 0 1 0 2333682 50487296 6472 33554432000 4194304 5970956 140722608981920 140722608978984 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 12326 6472 821 434 0 5690 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49304

[startup+222.308 s]
/proc/loadavg: 2.08 2.03 1.97 3/244 5326
/proc/meminfo: memFree=31663044/32770624 swapFree=5804/219040
[pid=5291] ppid=5288 vsize=52736 CPUtime=222.22 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 36929 0 0 0 22220 2 0 0 20 0 1 0 2333682 54001664 7353 33554432000 4194304 5970956 140722608981920 140722608979256 5070459 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13184 7353 821 434 0 6548 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 52736

[startup+282.3 s]
/proc/loadavg: 2.12 2.06 1.98 3/244 5327
/proc/meminfo: memFree=31663408/32770624 swapFree=5804/219104
[pid=5291] ppid=5288 vsize=53660 CPUtime=282.2 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 37407 0 0 0 28218 2 0 0 20 0 1 0 2333682 54947840 7556 33554432000 4194304 5970956 140722608981920 140722608979256 4964355 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13415 7556 821 434 0 6779 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 53660

[startup+342.3 s]
/proc/loadavg: 2.14 2.07 1.99 3/244 5328
/proc/meminfo: memFree=31663848/32770624 swapFree=5804/219148
[pid=5291] ppid=5288 vsize=53792 CPUtime=342.18 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 37723 0 0 0 34216 2 0 0 20 0 1 0 2333682 55083008 7600 33554432000 4194304 5970956 140722608981920 140722608979256 4961420 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13448 7600 821 434 0 6812 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 53792

[startup+402.3 s]
/proc/loadavg: 2.05 2.06 1.99 3/244 5329
/proc/meminfo: memFree=31662596/32770624 swapFree=5804/219184
[pid=5291] ppid=5288 vsize=54980 CPUtime=402.16 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 38986 0 0 0 40214 2 0 0 20 0 1 0 2333682 56299520 7904 33554432000 4194304 5970956 140722608981920 140722608979256 4964424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13745 7904 821 434 0 7109 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 54980

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 1.99 3/244 5330
/proc/meminfo: memFree=31661312/32770624 swapFree=5804/219224
[pid=5291] ppid=5288 vsize=55904 CPUtime=462.14 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 40029 0 0 0 46212 2 0 0 20 0 1 0 2333682 57245696 8122 33554432000 4194304 5970956 140722608981920 140722608978984 5319682 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13976 8122 821 434 0 7340 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 55904

[startup+522.3 s]
/proc/loadavg: 2.04 2.06 1.99 3/243 5331
/proc/meminfo: memFree=31660520/32770624 swapFree=5804/219268
[pid=5291] ppid=5288 vsize=55904 CPUtime=522.12 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 40322 0 0 0 52210 2 0 0 20 0 1 0 2333682 57245696 8135 33554432000 4194304 5970956 140722608981920 140722608979256 5071000 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 13976 8135 821 434 0 7340 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 55904

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/243 5332
/proc/meminfo: memFree=31659916/32770624 swapFree=5804/219300
[pid=5291] ppid=5288 vsize=56696 CPUtime=582.1 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 41272 0 0 0 58208 2 0 0 20 0 1 0 2333682 58056704 8319 33554432000 4194304 5970956 140722608981920 140722608978984 5070112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14174 8319 821 434 0 7538 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 56696


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5364
/proc/meminfo: memFree=31655080/32770624 swapFree=5804/219848
[pid=5291] ppid=5288 vsize=58412 CPUtime=1481.82 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 47302 0 0 0 148179 3 0 0 20 0 1 0 2333682 59813888 8751 33554432000 4194304 5970956 140722608981920 140722608979256 4967728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14603 8751 821 434 0 7967 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 58412

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5365
/proc/meminfo: memFree=31655004/32770624 swapFree=5804/219884
[pid=5291] ppid=5288 vsize=58412 CPUtime=1541.81 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 47504 0 0 0 154178 3 0 0 20 0 1 0 2333682 59813888 8751 33554432000 4194304 5970956 140722608981920 140722608979256 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14603 8751 821 434 0 7967 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 58412

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5366
/proc/meminfo: memFree=31654144/32770624 swapFree=5804/219912
[pid=5291] ppid=5288 vsize=58412 CPUtime=1601.78 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 47692 0 0 0 160175 3 0 0 20 0 1 0 2333682 59813888 8752 33554432000 4194304 5970956 140722608981920 140722608979256 5052121 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14603 8752 821 434 0 7967 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 58412

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/243 5368
/proc/meminfo: memFree=31652720/32770624 swapFree=5804/219944
[pid=5291] ppid=5288 vsize=58412 CPUtime=1661.76 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 48123 0 0 0 166173 3 0 0 20 0 1 0 2333682 59813888 8766 33554432000 4194304 5970956 140722608981920 140722608979256 4908979 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14603 8766 821 434 0 7967 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 58412

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 5369
/proc/meminfo: memFree=31653308/32770624 swapFree=5804/219972
[pid=5291] ppid=5288 vsize=58412 CPUtime=1721.74 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 48323 0 0 0 172171 3 0 0 20 0 1 0 2333682 59813888 8774 33554432000 4194304 5970956 140722608981920 140722608979256 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14603 8774 821 434 0 7967 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 58412

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 5370
/proc/meminfo: memFree=31654060/32770624 swapFree=5804/220008
[pid=5291] ppid=5288 vsize=58544 CPUtime=1781.72 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 48542 0 0 0 178169 3 0 0 20 0 1 0 2333682 59949056 8781 33554432000 4194304 5970956 140722608981920 140722608978984 5052093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8781 821 434 0 8000 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 58544

[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.02 3/243 5372
/proc/meminfo: memFree=31654044/32770624 swapFree=5804/220036
[pid=5291] ppid=5288 vsize=58544 CPUtime=1841.7 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 48729 0 0 0 184167 3 0 0 20 0 1 0 2333682 59949056 8782 33554432000 4194304 5970956 140722608981920 140722608978984 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8782 821 434 0 8000 0
Current children cumulated CPU time (s) 1841.7
Current children cumulated vsize (KiB) 58544

[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/243 5373
/proc/meminfo: memFree=31655000/32770624 swapFree=5804/220068
[pid=5291] ppid=5288 vsize=58544 CPUtime=1901.69 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 48949 0 0 0 190166 3 0 0 20 0 1 0 2333682 59949056 8782 33554432000 4194304 5970956 140722608981920 140722608979256 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8782 821 434 0 8000 0
Current children cumulated CPU time (s) 1901.69
Current children cumulated vsize (KiB) 58544

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 5381
/proc/meminfo: memFree=31653268/32770624 swapFree=5804/220112
[pid=5291] ppid=5288 vsize=58544 CPUtime=1961.67 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 49132 0 0 0 196164 3 0 0 20 0 1 0 2333682 59949056 8783 33554432000 4194304 5970956 140722608981920 140722608979256 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8783 821 434 0 8000 0
Current children cumulated CPU time (s) 1961.67
Current children cumulated vsize (KiB) 58544

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5382
/proc/meminfo: memFree=31653380/32770624 swapFree=5804/220148
[pid=5291] ppid=5288 vsize=58544 CPUtime=2021.65 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 49357 0 0 0 202162 3 0 0 20 0 1 0 2333682 59949056 8783 33554432000 4194304 5970956 140722608981920 140722608979256 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8783 821 434 0 8000 0
Current children cumulated CPU time (s) 2021.65
Current children cumulated vsize (KiB) 58544

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5383
/proc/meminfo: memFree=31653808/32770624 swapFree=5804/220184
[pid=5291] ppid=5288 vsize=58544 CPUtime=2081.64 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 49548 0 0 0 208161 3 0 0 20 0 1 0 2333682 59949056 8793 33554432000 4194304 5970956 140722608981920 140722608979256 5071028 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14636 8793 821 434 0 8000 0
Current children cumulated CPU time (s) 2081.64
Current children cumulated vsize (KiB) 58544

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5384
/proc/meminfo: memFree=31653660/32770624 swapFree=5804/220216
[pid=5291] ppid=5288 vsize=58676 CPUtime=2141.61 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 49751 0 0 0 214158 3 0 0 20 0 1 0 2333682 60084224 8808 33554432000 4194304 5970956 140722608981920 140722608978984 4964496 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8808 821 434 0 8033 0
Current children cumulated CPU time (s) 2141.61
Current children cumulated vsize (KiB) 58676

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5385
/proc/meminfo: memFree=31653776/32770624 swapFree=5804/220252
[pid=5291] ppid=5288 vsize=58676 CPUtime=2201.6 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 49997 0 0 0 220157 3 0 0 20 0 1 0 2333682 60084224 8819 33554432000 4194304 5970956 140722608981920 140722608979256 5070153 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8819 821 434 0 8033 0
Current children cumulated CPU time (s) 2201.6
Current children cumulated vsize (KiB) 58676

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5386
/proc/meminfo: memFree=31652556/32770624 swapFree=5804/220292
[pid=5291] ppid=5288 vsize=58676 CPUtime=2261.57 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 50190 0 0 0 226154 3 0 0 20 0 1 0 2333682 60084224 8820 33554432000 4194304 5970956 140722608981920 140722608979256 4964584 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8820 821 434 0 8033 0
Current children cumulated CPU time (s) 2261.57
Current children cumulated vsize (KiB) 58676

[startup+2322.3 s]
/proc/loadavg: 2.11 2.04 2.03 3/243 5387
/proc/meminfo: memFree=31653564/32770624 swapFree=5804/220320
[pid=5291] ppid=5288 vsize=58676 CPUtime=2321.55 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 50383 0 0 0 232152 3 0 0 20 0 1 0 2333682 60084224 8820 33554432000 4194304 5970956 140722608981920 140722608979256 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8820 821 434 0 8033 0
Current children cumulated CPU time (s) 2321.55
Current children cumulated vsize (KiB) 58676

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/243 5388
/proc/meminfo: memFree=31653904/32770624 swapFree=5804/220364
[pid=5291] ppid=5288 vsize=58676 CPUtime=2381.53 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 50610 0 0 0 238150 3 0 0 20 0 1 0 2333682 60084224 8820 33554432000 4194304 5970956 140722608981920 140722608979256 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8820 821 434 0 8033 0
Current children cumulated CPU time (s) 2381.53
Current children cumulated vsize (KiB) 58676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.03 2.03 2.03 3/243 5388
/proc/meminfo: memFree=31653904/32770624 swapFree=5804/220372
[pid=5291] ppid=5288 vsize=58676 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/5291/stat : 5291 (cosoco) R 5288 5291 2464 0 -1 4202496 50791 0 0 0 240000 3 0 0 20 0 1 0 2333682 60084224 8822 33554432000 4194304 5970956 140722608981920 140722608979256 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 32768000 140722608989377 140722608989507 140722608989507 140722608992206 0
/proc/5291/statm: 14669 8822 821 434 0 8033 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 58676

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.04
CPU user time (s): 2400
CPU system time (s): 0.033989
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 58676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.033989
maximum resident set size= 35336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50819
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= 15
involuntary context switches= 122103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.23365 second user time and 10.4433 second system time

The end

Launcher Data 

Begin job on node117 at 2017-07-21 22:57:30
IDJOB=4243013
IDBENCH=138603
IDSOLVER=2620
FILE ID=node117/4243013-1500670650
RUNJOBID= node117-1500668248-5056
PBS_JOBID= 20623301
Free space on /tmp= 62000 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243013-1500670650/watcher-4243013-1500670650 -o /tmp/evaluation-result-4243013-1500670650/solver-4243013-1500670650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500668248-5056 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4243013-1500670650.xml

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

MD5SUM BENCH= 94b2333e20121f91e59972a20e586711
RANDOM SEED=802931421

node117.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	: 5333.92
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		: 1600.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	: 5333.92
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		: 2133.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	: 5333.92
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		: 1600.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		: 1867.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	: 5333.92
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		: 1600.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	: 5333.92
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		: 1600.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	: 5333.92
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		: 1733.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		: 1600.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	: 5333.92
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		: 2668.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		: 1733.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	: 5333.92
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		: 1600.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:        32025380 kB
MemAvailable:   32026724 kB
Buffers:           35864 kB
Cached:           277796 kB
SwapCached:            0 kB
Active:           146008 kB
Inactive:         227480 kB
Active(anon):      62972 kB
Inactive(anon):     8696 kB
Active(file):      83036 kB
Inactive(file):   218784 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5300 kB
Writeback:             0 kB
AnonPages:         64548 kB
Mapped:            31336 kB
Shmem:              8840 kB
Slab:              62428 kB
SReclaimable:      30720 kB
SUnreclaim:        31708 kB
KernelStack:        4272 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62000 MiB
End job on node117 at 2017-07-21 23:37:31