Trace number 4268389

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.03 2519.7

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.88/1.00	c intension x0 != x1  using generic constraint 
0.88/1.00	c intension x2 != x3  using generic constraint 
0.88/1.00	c intension x4 != x5  using generic constraint 
0.88/1.00	c intension x6 != x7  using generic constraint 
0.88/1.00	c intension x8 != x9  using generic constraint 
0.88/1.00	c intension x10 != x11  using generic constraint 
0.88/1.00	c intension x12 != x13  using generic constraint 
0.99/1.01	c intension x14 != x15  using generic constraint 
0.99/1.01	c intension x16 != x17  using generic constraint 
0.99/1.01	c intension x18 != x19  using generic constraint 
0.99/1.01	c intension x20 != x21  using generic constraint 
0.99/1.01	c intension x22 != x23  using generic constraint 
0.99/1.01	c intension x24 != x25  using generic constraint 
0.99/1.01	c intension x26 != x27  using generic constraint 
0.99/1.01	c intension x28 != x29  using generic constraint 
0.99/1.01	c intension x30 != x31  using generic constraint 
0.99/1.01	c intension x32 != x33  using generic constraint 
0.99/1.01	c intension x34 != x35  using generic constraint 
0.99/1.02	c intension x36 != x37  using generic constraint 
0.99/1.02	c intension x38 != x39  using generic constraint 
0.99/1.02	c intension x40 != x41  using generic constraint 
0.99/1.02	c intension x42 != x43  using generic constraint 
0.99/1.02	c intension x44 != x45  using generic constraint 
0.99/1.02	c intension x46 != x47  using generic constraint 
0.99/1.02	c intension x48 != x49  using generic constraint 
0.99/1.02	c intension x50 != x51  using generic constraint 
0.99/1.02	c intension x52 != x53  using generic constraint 
0.99/1.02	c intension x54 != x55  using generic constraint 
0.99/1.02	c intension x56 != x57  using generic constraint 
0.99/1.02	c intension x58 != x59  using generic constraint 
0.99/1.03	c intension x60 != x61  using generic constraint 
0.99/1.03	c intension x62 != x63  using generic constraint 
0.99/1.03	c intension x64 != x65  using generic constraint 
0.99/1.03	c intension x66 != x67  using generic constraint 
0.99/1.03	c intension x68 != x69  using generic constraint 
0.99/1.03	c intension x70 != x71  using generic constraint 
0.99/1.03	c intension x72 != x73  using generic constraint 
0.99/1.03	c intension x74 != x75  using generic constraint 
0.99/1.03	c intension x76 != x77  using generic constraint 
0.99/1.03	c intension x78 != x79  using generic constraint 
0.99/1.03	c intension x80 != x81  using generic constraint 
0.99/1.04	c intension x82 != x83  using generic constraint 
0.99/1.04	c intension x84 != x85  using generic constraint 
0.99/1.04	c intension x86 != x87  using generic constraint 
0.99/1.04	c intension x88 != x89  using generic constraint 
0.99/1.04	c intension x90 != x91  using generic constraint 
0.99/1.04	c intension x92 != x93  using generic constraint 
0.99/1.04	c intension x94 != x95  using generic constraint 
0.99/1.04	c intension x96 != x97  using generic constraint 
0.99/1.04	c root propagations     : 0           
0.99/1.04	c restarts enabled, print stats at every restarts
0.99/1.04	c
0.99/1.04	c
0.99/1.04	c
0.99/1.04	c This is cosoco 1.12 --  
0.99/1.04	c
0.99/1.04	c command line: cosoco -lc -model -restarts HOME/instance-4268389-1502580288.xml 
0.99/1.04	c ========================================[ Problem Statistics ]===========================================
0.99/1.04	c |                                                                                                       
0.99/1.04	c |  Parse time        :         1.03 s 
0.99/1.04	c |
0.99/1.04	c |               Variables: 98
0.99/1.04	c |            Domain Sizes: 332..428
0.99/1.04	c |
0.99/1.04	c |             Constraints: 931
0.99/1.04	c |                   Arity: 2..2  -- Binary: 931
0.99/1.04	c | 
0.99/1.04	c |                   Types: 
0.99/1.04	c |                          (X != Y): 49
0.99/1.04	c |                          Intension: 882
0.99/1.04	c |                          
0.99/1.04	c =========================================================================================================
0.99/1.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.10/1.18	c 101            109            22187          187886         0              0              4   4   3      
1.29/1.34	c 211            225            37151          495762         0              0              5   5   4      
1.39/1.44	c 332            351            44774          795547         0              0              4   4   3      
1.49/1.56	c 465            490            58251          1073749        0              0              4   4   3      
1.59/1.68	c 611            641            67139          1431905        0              0              4   4   3      
1.79/1.82	c 771            808            83677          1723597        0              0              4   4   3      
2.00/2.04	c 947            1001           117909         2093063        0              0              4   6   5      
2.19/2.27	c 1140           1211           157480         2377459        0              0              5   6   5      
2.39/2.48	c 1352           1437           195678         2718982        0              0              5   5   4      
2.69/2.73	c 1585           1689           229896         3137944        0              0              4   5   4      
2.89/2.94	c 1841           1957           263470         3545839        0              0              4   4   3      
3.19/3.28	c 2122           2274           319670         4089110        0              0              4   6   5      
3.69/3.70	c 2431           2592           344111         5110389        0              0              5   5   4      
4.10/4.12	c 2770           2954           371328         5798404        0              0              4   5   4      
4.39/4.47	c 3142           3355           417052         6548915        0              0              5   7   5      
4.79/4.86	c 3551           3794           470083         7438130        0              0              4   5   4      
5.19/5.21	c 4000           4251           494207         8512870        0              0              4   4   3      
5.59/5.67	c 4493           4775           576895         9226963        0              0              4   4   3      
6.69/6.71	c 5035           5326           626745         11011556       0              0              4   4   3      
7.49/7.50	c 5631           5970           760159         12157876       0              0              4   6   5      
8.00/8.04	c 6286           6644           812181         13827590       0              0              5   5   4      
9.00/9.04	c 7006           7410           942748         15486906       0              0              3   4   3      
9.79/9.89	c 7798           8271           1107466        16428949       0              0              5   6   5      
10.59/10.63	c 8669           9192           1181221        18409509       0              0              4   5   4      
11.79/11.88	c 9627           10208          1269860        20220370       0              0              4   5   4      
12.59/12.66	c 10680          11281          1328606        22762425       0              0              4   4   3      
13.89/13.97	c 11838          12512          1531232        24794371       0              0              3   5   4      
15.39/15.46	c 13111          13921          1765321        27275279       0              0              4   6   5      
17.10/17.18	c 14511          15363          1896898        31584259       0              0              5   5   4      
19.29/19.34	c 16051          16995          2165747        34880322       0              0              4   5   4      
20.29/20.37	c 17745          18709          2254094        38666850       0              0              4   4   3      
21.89/21.96	c 19608          20673          2419316        42646856       0              0              3   5   3      
24.69/24.79	c 21657          22826          2691633        48092436       0              0              3   4   3      
26.39/26.40	c 23910          25176          2838725        52328892       0              0              3   4   3      
29.69/29.74	c 26388          27856          3367348        56663578       0              0              4   7   6      
33.79/33.88	c 29113          30732          3593017        63096305       0              0              3   5   4      
36.79/36.84	c 32110          33875          3843373        70873324       0              0              3   4   3      
40.29/40.36	c 35406          37340          4284277        77791576       0              0              3   4   3      
45.29/45.33	c 39031          41235          4987386        84079203       0              0              3   7   5      
49.19/49.28	c 43018          45459          5542396        92601592       0              0              4   6   4      
52.49/52.57	c 47403          49965          5862987        103013072      0              0              3   5   4      
57.19/57.20	c 52226          54938          6225862        115264543      0              0              3   4   3      
63.59/63.63	c 57531          60594          7092993        124311647      0              0              3   26   12    
72.20/72.28	c 63366          66959          8249446        135726665      0              0              4   6   5      
80.39/80.42	c 69784          73693          9126041        149358647      0              0              3   17   8     
89.90/89.93	c 76843          81388          10642208       157099701      0              0              4   9   8      
98.40/98.49	c 84607          89569          11869252       172796049      0              0              4   6   5      
107.50/107.54	c 93147          98678          13176857       190878828      0              0              4   6   5      
115.40/115.44	c 102541         108501         14171443       210708752      0              0              4   8   5      
126.50/126.56	c 112874         119702         15745761       229821659      0              0              4   6   5      
136.30/136.37	c 124240         131545         16826289       253960500      0              0              3   6   4      
149.60/149.68	c 136742         144986         18633040       279613978      0              0              4   6   5      
178.80/178.87	c 150494         159306         20443482       319847779      0              0              3   24   13    
198.61/198.60	c 165621         177617         24063767       325161086      0              0              3   10   8     
213.61/213.69	c 182260         194925         25588638       358529438      0              0              4   6   5      
234.12/234.18	c 200562         214409         27993538       397383164      0              0              3   5   4      
252.81/252.84	c 220694         235382         29847111       440822330      0              0              3   24   5     
283.52/283.55	c 242839         259633         34479531       464176785      0              0              4   9   8      
306.32/306.32	c 267198         285072         37233191       513021024      0              0              4   8   5      
333.72/333.77	c 293992         313233         40555460       568427084      0              0              4   6   5      
366.14/366.15	c 323465         343772         42958766       628315779      0              0              3   27   13    
397.33/397.33	c 355885         377618         46667189       700007007      0              0              5   9   6      
464.94/464.97	c 391547         415342         50467888       785524917      0              0              3   26   18    
520.45/520.46	c 430775         458100         58428448       856709964      0              0              5   8   6      
595.45/595.48	c 473925         503653         65352679       942814601      0              0              3   27   20    
673.27/673.28	c 521390         557132         72457417       1025917043     0              0              5   8   6      
740.08/740.10	c 573601         612993         81680133       1145546197     0              0              4   6   5      
835.89/835.88	c 631033         673408         90800823       1268860305     0              0              3   19   14    
897.79/897.73	c 694208         739331         98313758       1391392712     0              0              5   9   6      
978.21/978.15	c 763700         814514         111051738      1515241075     0              0              4   7   6      
1112.03/1111.90	c 840141         894525         120989293      1726780549     0              0              3   20   15    
1189.34/1189.20	c 924226         982229         130708330      1898976858     0              0              5   9   6      
1361.57/1361.47	c 1016719        1079941        144134659      2162390343     0              0              3   19   16    
1496.08/1495.94	c 1118461        1191243        165646857      2324159100     0              0              5   8   7      
1627.70/1627.54	c 1230377        1310312        182079196      2550777591     0              0              3   19   5     
1737.92/1737.75	c 1353484        1437562        193298973      2823754954     0              0              5   9   6      
1885.94/1885.79	c 1488901        1582434        216023254      3061532317     0              0              3   7   5      
2144.38/2144.11	c 1637859        1740905        239621471      3432274681     0              0              3   19   10    
2354.31/2354.04	c 1801712        1917803        271794125      3708725679     0              0              5   8   7      
2520.02/2519.70	
2520.02/2519.70	c *** INTERRUPTED ***
2520.02/2519.70	c restarts              : 79          
2520.02/2519.70	c conflicts             : 1927846      (765 /sec)
2520.02/2519.70	c decisions             : 2055183      (816 /sec)
2520.02/2519.70	c propagations          : 3923515931  (1556946 /sec)
2520.02/2519.70	c root propagations     : 0           
2520.02/2519.70	c filter calls          : 297163075      (117921 /sec)
2520.02/2519.70	c useless filter calls  : 236513325      (79 %)
2520.02/2519.70	c Memory used           : 57.31 MB
2520.02/2519.70	c CPU time              : 2520.01 s
2520.02/2519.70	
2520.02/2519.70	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268389-1502580288/watcher-4268389-1502580288 -o /tmp/evaluation-result-4268389-1502580288/solver-4268389-1502580288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268389-1502580288.xml 

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

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

solver pid=1764, runsolver pid=1761

[startup+0.100145 s]*
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28926456/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=28412 memory=4836 CPUtime=0.1 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 1399 0 0 0 10 0 0 0 20 0 1 0 91109771 29093888 1209 33554432000 4194304 5972588 140736428516096 140736428510824 4967517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 7103 1209 780 435 0 466 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4836 KiB

[startup+0.209453 s]*
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28924968/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=29828 memory=6120 CPUtime=0.21 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 1750 0 0 0 21 0 0 0 20 0 1 0 91109771 30543872 1530 33554432000 4194304 5972588 140736428516096 140736428510824 140620047756261 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 7457 1530 780 435 0 820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29828 KiB
Current children cumulated memory: 6120 KiB

[startup+0.308974 s]*
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28923480/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=31220 memory=7644 CPUtime=0.3 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 2077 0 0 0 30 0 0 0 20 0 1 0 91109771 31969280 1911 33554432000 4194304 5972588 140736428516096 140736428510824 140620047765485 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 7805 1911 780 435 0 1168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31220 KiB
Current children cumulated memory: 7644 KiB

[startup+0.700271 s]
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28921124/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=36204 memory=12624 CPUtime=0.69 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 3329 0 0 0 69 0 0 0 20 0 1 0 91109771 37072896 3156 33554432000 4194304 5972588 140736428516096 140736428510824 140620047756261 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 9051 3156 780 435 0 2414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36204 KiB
Current children cumulated memory: 12624 KiB

[startup+1.50028 s]
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28914800/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=42180 memory=18732 CPUtime=1.49 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 4877 0 0 0 148 1 0 0 20 0 1 0 91109771 43192320 4683 33554432000 4194304 5972588 140736428516096 140736428509656 5071413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10545 4683 824 435 0 3908 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42180 KiB
Current children cumulated memory: 18732 KiB

[startup+3.10925 s]
/proc/loadavg: 2.17 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28911836/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=42708 memory=19316 CPUtime=3.1 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 7125 0 0 0 309 1 0 0 20 0 1 0 91109771 43732992 4829 33554432000 4194304 5972588 140736428516096 140736428513400 4965416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10677 4829 824 435 0 4040 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42708 KiB
Current children cumulated memory: 19316 KiB

[startup+6.30027 s]
/proc/loadavg: 2.15 2.16 2.07 3/187 1765
/proc/meminfo: memFree=28910636/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=43104 memory=19740 CPUtime=6.29 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 8317 0 0 0 628 1 0 0 20 0 1 0 91109771 44138496 4935 33554432000 4194304 5972588 140736428516096 140736428513400 5320338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10776 4935 824 435 0 4139 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 19740 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.15 2.07 3/187 1765
/proc/meminfo: memFree=28910832/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=43236 memory=19928 CPUtime=12.69 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 9433 0 0 0 1268 1 0 0 20 0 1 0 91109771 44273664 4982 33554432000 4194304 5972588 140736428516096 140736428513400 5071376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10809 4982 824 435 0 4172 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 43236 KiB
Current children cumulated memory: 19928 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 2.15 2.06 3/187 1765
/proc/meminfo: memFree=28910268/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=43500 memory=20204 CPUtime=25.49 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 9637 0 0 0 2548 1 0 0 20 0 1 0 91109771 44544000 5051 33554432000 4194304 5972588 140736428516096 140736428513400 4968720 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10875 5051 824 435 0 4238 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 20204 KiB

[startup+51.1091 s]
/proc/loadavg: 2.07 2.14 2.06 3/187 1765
/proc/meminfo: memFree=28910200/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=43896 memory=20488 CPUtime=51.1 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 9801 0 0 0 5109 1 0 0 20 0 1 0 91109771 44949504 5122 33554432000 4194304 5972588 140736428516096 140736428513128 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 10974 5122 824 435 0 4337 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 43896 KiB
Current children cumulated memory: 20488 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.11 2.06 3/187 1766
/proc/meminfo: memFree=28905384/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=48648 memory=25212 CPUtime=102.3 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 11212 0 0 0 10229 1 0 0 20 0 1 0 91109771 49815552 6303 33554432000 4194304 5972588 140736428516096 140736428513400 5072030 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 12162 6303 824 435 0 5525 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 48648 KiB
Current children cumulated memory: 25212 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/187 1767
/proc/meminfo: memFree=28903640/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=50760 memory=27248 CPUtime=162.3 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 12086 0 0 0 16229 1 0 0 20 0 1 0 91109771 51978240 6812 33554432000 4194304 5972588 140736428516096 140736428513128 5072004 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 12690 6812 824 435 0 6053 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 27248 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/187 1768
/proc/meminfo: memFree=28901492/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=52740 memory=29372 CPUtime=222.31 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 13605 0 0 0 22230 1 0 0 20 0 1 0 91109771 54005760 7343 33554432000 4194304 5972588 140736428516096 140736428513400 4965342 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 13185 7343 824 435 0 6548 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 52740 KiB
Current children cumulated memory: 29372 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/187 1769
/proc/meminfo: memFree=28900936/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=53664 memory=30236 CPUtime=282.32 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 13843 0 0 0 28231 1 0 0 20 0 1 0 91109771 54951936 7559 33554432000 4194304 5972588 140736428516096 140736428513400 5071376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 13416 7559 824 435 0 6779 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 53664 KiB
Current children cumulated memory: 30236 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 1770
/proc/meminfo: memFree=28901252/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=53796 memory=30408 CPUtime=342.33 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 13947 0 0 0 34232 1 0 0 20 0 1 0 91109771 55087104 7602 33554432000 4194304 5972588 140736428516096 140736428513400 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 13449 7602 824 435 0 6812 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 53796 KiB
Current children cumulated memory: 30408 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 1771
/proc/meminfo: memFree=28899744/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=54984 memory=31444 CPUtime=402.33 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 14669 0 0 0 40232 1 0 0 20 0 1 0 91109771 56303616 7861 33554432000 4194304 5972588 140736428516096 140736428513400 5071088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 13746 7861 824 435 0 7109 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 54984 KiB
Current children cumulated memory: 31444 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 1772
/proc/meminfo: memFree=28898804/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=55908 memory=32372 CPUtime=462.34 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 15263 0 0 0 46233 1 0 0 20 0 1 0 91109771 57249792 8093 33554432000 4194304 5972588 140736428516096 140736428513128 5071122 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 13977 8093 824 435 0 7340 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 55908 KiB
Current children cumulated memory: 32372 KiB


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

/proc/1764/statm: 14637 8784 824 435 0 8000 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35136 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/188 1821
/proc/meminfo: memFree=28895720/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58548 memory=35136 CPUtime=1842.53 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18005 0 0 0 184251 2 0 0 20 0 1 0 91109771 59953152 8784 33554432000 4194304 5972588 140736428516096 140736428513128 5071976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14637 8784 824 435 0 8000 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35136 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/188 1822
/proc/meminfo: memFree=28895728/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58548 memory=35144 CPUtime=1902.54 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18075 0 0 0 190252 2 0 0 20 0 1 0 91109771 59953152 8786 33554432000 4194304 5972588 140736428516096 140736428513400 4909679 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14637 8786 824 435 0 8000 0
Current children cumulated CPU time: 1902.54 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35144 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 1823
/proc/meminfo: memFree=28895696/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58548 memory=35144 CPUtime=1962.55 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18075 0 0 0 196253 2 0 0 20 0 1 0 91109771 59953152 8786 33554432000 4194304 5972588 140736428516096 140736428513400 4962396 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14637 8786 824 435 0 8000 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35144 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 1824
/proc/meminfo: memFree=28895700/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58548 memory=35180 CPUtime=2022.56 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18181 0 0 0 202254 2 0 0 20 0 1 0 91109771 59953152 8795 33554432000 4194304 5972588 140736428516096 140736428513400 5072002 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14637 8795 824 435 0 8000 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35180 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 1825
/proc/meminfo: memFree=28895204/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58548 memory=35224 CPUtime=2082.56 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18259 0 0 0 208254 2 0 0 20 0 1 0 91109771 59953152 8806 33554432000 4194304 5972588 140736428516096 140736428513400 4962405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14637 8806 824 435 0 8000 0
Current children cumulated CPU time: 2082.56 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 35224 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 1826
/proc/meminfo: memFree=28895180/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35248 CPUtime=2142.57 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18441 0 0 0 214255 2 0 0 20 0 1 0 91109771 60088320 8812 33554432000 4194304 5972588 140736428516096 140736428513128 5072002 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8812 824 435 0 8033 0
Current children cumulated CPU time: 2142.57 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35248 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1827
/proc/meminfo: memFree=28894668/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35284 CPUtime=2202.58 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18464 0 0 0 220256 2 0 0 20 0 1 0 91109771 60088320 8821 33554432000 4194304 5972588 140736428516096 140736428513400 5071129 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8821 824 435 0 8033 0
Current children cumulated CPU time: 2202.58 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35284 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1828
/proc/meminfo: memFree=28894528/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35296 CPUtime=2262.59 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18531 0 0 0 226257 2 0 0 20 0 1 0 91109771 60088320 8824 33554432000 4194304 5972588 140736428516096 140736428513400 5071435 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8824 824 435 0 8033 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35296 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 1829
/proc/meminfo: memFree=28894528/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35296 CPUtime=2322.6 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18532 0 0 0 232258 2 0 0 20 0 1 0 91109771 60088320 8824 33554432000 4194304 5972588 140736428516096 140736428513400 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8824 824 435 0 8033 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35296 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 1838
/proc/meminfo: memFree=28893496/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35296 CPUtime=2382.6 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18621 0 0 0 238258 2 0 0 20 0 1 0 91109771 60088320 8824 33554432000 4194304 5972588 140736428516096 140736428513400 4962387 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8824 824 435 0 8033 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35296 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1839
/proc/meminfo: memFree=28894116/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35296 CPUtime=2442.61 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18621 0 0 0 244259 2 0 0 20 0 1 0 91109771 60088320 8824 33554432000 4194304 5972588 140736428516096 140736428513400 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8824 824 435 0 8033 0
Current children cumulated CPU time: 2442.61 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35296 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1964
/proc/meminfo: memFree=28814820/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35304 CPUtime=2502.62 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18677 0 0 0 250260 2 0 0 20 0 1 0 91109771 60088320 8826 33554432000 4194304 5972588 140736428516096 140736428513400 5071088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8826 824 435 0 8033 0
Current children cumulated CPU time: 2502.62 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1964
/proc/meminfo: memFree=28605748/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35304 CPUtime=2520.02 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18679 0 0 0 252000 2 0 0 20 0 1 0 91109771 60088320 8826 33554432000 4194304 5972588 140736428516096 140736428513400 5071106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8826 824 435 0 8033 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35304 KiB

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

[startup+2519.7 s]
# the end of solver process 1764 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.01 s, system=0.025003 s

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

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1964
/proc/meminfo: memFree=28605748/32770624 swapFree=67108860/67108860
[pid=1764] ppid=1761 vsize=58680 memory=35304 CPUtime=2520.02 cores=0,2,4,6
/proc/1764/stat : 1764 (cosoco) R 1761 1764 1270 0 -1 4202496 18679 0 0 0 252000 2 0 0 20 0 1 0 91109771 60088320 8826 33554432000 4194304 5972588 140736428516096 140736428513400 5071106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8204288 140736428524735 140736428524830 140736428524830 140736428527566 0
/proc/1764/statm: 14670 8826 824 435 0 8033 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 58680 KiB
Current children cumulated memory: 35304 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.03
CPU user time (s): 2520.01
CPU system time (s): 0.025003
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 58680
Max. memory (cumulated for all children) (KiB): 35304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.025003
maximum resident set size= 35380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18724
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= 22
involuntary context switches= 1242


# summary of solver processes directly reported to runsolver:
#   pid: 1764
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2520.01
#   total CPU system time (s): 0.025003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08815 second user time and 16.4134 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-13 01:10:30
IDJOB=4268389
IDBENCH=138603
IDSOLVER=2658
FILE ID=node151/4268389-1502580288
RUNJOBID= node151-1502576806-1301
PBS_JOBID= 20628292
Free space on /tmp= 61752 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os07/SuperTaillard-os-07-26.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268389-1502580288/watcher-4268389-1502580288 -o /tmp/evaluation-result-4268389-1502580288/solver-4268389-1502580288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268389-1502580288.xml

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

MD5SUM BENCH= 94b2333e20121f91e59972a20e586711
RANDOM SEED=212930182

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28928696 kB
MemAvailable:   31984144 kB
Buffers:          211160 kB
Cached:          3137404 kB
SwapCached:            0 kB
Active:           845540 kB
Inactive:        2566076 kB
Active(anon):      66188 kB
Inactive(anon):    25044 kB
Active(file):     779352 kB
Inactive(file):  2541032 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2484 kB
Writeback:             8 kB
AnonPages:         56176 kB
Mapped:            44728 kB
Shmem:             25224 kB
Slab:             128264 kB
SReclaimable:     101796 kB
SUnreclaim:        26468 kB
KernelStack:        3264 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     362440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61752 MiB
End job on node151 at 2017-08-13 01:52:30