Trace number 4396732

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 2.0? (TO) 2520 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-23.xml
MD5SUMea1f89da39181e5263a1c81884ecc603
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 benchmark40.8874
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains67
Minimum domain size476
Maximum domain size574
Distribution of domain sizes[{"size":476,"count":4},{"size":478,"count":2},{"size":482,"count":2},{"size":483,"count":2},{"size":484,"count":6},{"size":485,"count":2},{"size":488,"count":2},{"size":489,"count":4},{"size":490,"count":2},{"size":492,"count":2},{"size":493,"count":2},{"size":494,"count":2},{"size":495,"count":4},{"size":496,"count":2},{"size":498,"count":4},{"size":499,"count":2},{"size":500,"count":4},{"size":501,"count":4},{"size":502,"count":4},{"size":503,"count":4},{"size":504,"count":4},{"size":505,"count":2},{"size":506,"count":2},{"size":507,"count":4},{"size":509,"count":2},"...",{"size":536,"count":6}, {"size":537,"count":2}, {"size":538,"count":2}, {"size":539,"count":4}, {"size":540,"count":2}, {"size":542,"count":2}, {"size":543,"count":4}, {"size":547,"count":2}, {"size":550,"count":8}, {"size":551,"count":2}, {"size":552,"count":4}, {"size":553,"count":2}, {"size":554,"count":2}, {"size":555,"count":2}, {"size":557,"count":2}, {"size":559,"count":6}, {"size":560,"count":4}, {"size":562,"count":2}, {"size":565,"count":2}, {"size":566,"count":2}, {"size":567,"count":2}, {"size":569,"count":2}, {"size":571,"count":6}, {"size":573,"count":2}, {"size":574,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

1.89/1.93	c root propagations     : 0           
1.89/1.93	c restarts enabled, print stats at every restarts
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c This is cosoco 2.00 --  
1.89/1.93	c
1.89/1.93	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396732-1568592897.xml 
1.89/1.93	c ========================================[ Problem Statistics ]===========================================
1.89/1.93	c |                                                                                                       
1.89/1.93	c |  Parse time        :         1.91 s 
1.89/1.93	c |
1.89/1.93	c |               Variables: 200
1.89/1.93	c |            Domain Sizes: 476..574
1.89/1.93	c |
1.89/1.93	c |             Constraints: 2800
1.89/1.93	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.93	c | 
1.89/1.93	c |                   Types: 
1.89/1.93	c |                          (X != Y): 100
1.89/1.93	c |                          Intension: 2700
1.89/1.93	c |                          
1.89/1.93	c =========================================================================================================
1.89/1.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.58/3.62	c 101            113            31653          404701         0              0              6   7   6      
7.10/7.18	c 211            228            49622          1029010        0              0              6   6   5      
9.00/9.07	c 332            355            64917          1445683        0              0              6   6   5      
10.79/10.86	c 465            494            79666          1891801        0              0              6   6   5      
13.68/13.80	c 611            659            127139         2514103        0              0              5   6   5      
16.28/16.37	c 771            827            145674         3189660        0              0              6   6   5      
21.18/21.23	c 947            1025           184851         3714625        0              0              6   7   6      
22.99/23.07	c 1140           1227           204402         4306339        0              0              6   6   5      
27.29/27.30	c 1352           1459           275894         5019959        0              0              5   6   5      
29.99/30.02	c 1585           1701           300106         5726876        0              0              6   7   6      
33.39/33.42	c 1841           1982           360721         6703540        0              0              5   6   5      
38.79/38.83	c 2122           2272           408487         8096695        0              0              6   6   5      
42.99/43.05	c 2431           2603           460951         9000019        0              0              6   9   7      
50.68/50.71	c 2770           2965           525505         10186368       0              0              6   7   6      
56.38/56.42	c 3142           3364           613936         11363954       0              0              6   7   6      
67.39/67.44	c 3551           3823           748299         12703954       0              0              6   25   23    
76.00/76.06	c 4000           4310           813992         14185576       0              0              8   26   25    
82.18/82.20	c 4493           4828           867953         15636838       0              0              8   19   18    
95.78/95.88	c 5035           5481           1208250        16097971       0              0              7   14   13    
106.18/106.27	c 5631           6171           1393140        17862900       0              0              6   22   8     
124.28/124.33	c 6286           6860           1566832        20783025       0              0              8   8   7      
132.48/132.50	c 7006           7611           1661646        22995624       0              0              6   8   7      
159.18/159.27	c 7798           8537           2027942        25944571       0              0              6   59   53    
179.99/180.08	c 8669           9479           2298468        28298561       0              0              13   26   25   
197.88/197.90	c 9627           10473          2414742        31890960       0              0              7   21   20    
225.09/225.16	c 10680          11590          2746651        35950879       0              0              5   6   5      
253.88/253.92	c 11838          12844          3222800        39633852       0              0              7   8   7      
278.48/278.56	c 13111          14192          3460814        43855262       0              0              6   48   43    
327.09/327.15	c 14511          15867          4402582        47244468       0              0              6   12   11    
361.68/361.73	c 16051          17586          4932102        51481369       0              0              7   11   9     
403.18/403.23	c 17745          19346          5233361        59898428       0              0              7   8   7      
456.78/456.88	c 19608          21536          6362887        63501464       0              0              5   12   9     
531.09/531.15	c 21657          23811          7152585        70126083       0              0              5   10   8     
569.09/569.17	c 23910          26175          7547400        77536757       0              0              5   23   22    
641.68/641.73	c 26388          28884          8423995        84284769       0              0              5   76   42    
723.58/723.65	c 29113          31902          9655101        94207105       0              0              8   13   11    
776.47/776.55	c 32110          35075          10426051       101649042      0              0              7   26   24    
876.47/876.59	c 35406          38899          11720019       110134259      0              0              21   42   40   
969.38/969.48	c 39031          43025          13374662       116116052      0              0              7   49   47    
1153.28/1153.38	c 43018          49500          17650701       131855879      0              0              7   13   9     
1236.28/1236.35	c 47403          54025          18215882       151260793      0              0              7   9   8      
1405.78/1405.80	c 52226          60036          21364787       162463301      0              0              6   50   15    
1527.88/1527.91	c 57531          65955          23521425       173460605      0              0              7   27   25    
1680.09/1680.11	c 63366          73046          26118904       187660778      0              0              7   28   26    
1816.19/1816.22	c 69784          80092          28389000       204517660      0              0              7   11   9     
1957.59/1957.61	c 76843          87647          30629920       221887950      0              0              6   10   8     
2067.39/2067.43	c 84607          95785          32109112       248764701      0              0              7   10   8     
2265.18/2265.20	c 93147          105077         35322020       268071563      0              0              8   58   29    
2431.48/2431.56	c 102541         115422         39219750       287478478      0              0              8   14   12    
2519.99/2520.00	
2519.99/2520.00	c *** INTERRUPTED ***
2519.99/2520.00	c restarts              : 49          
2519.99/2520.00	c conflicts             : 108518       (43 /sec)
2519.99/2520.00	c decisions             : 121683       (48 /sec)
2519.99/2520.00	c propagations          : 305176349   (121106 /sec)
2519.99/2520.00	c root propagations     : 0           
2519.99/2520.00	c filter calls          : 40424695       (16042 /sec)
2519.99/2520.00	c useless filter calls  : 34697763       (85 %)
2519.99/2520.00	c Memory used           : 168.64 MB
2519.99/2520.00	c CPU time              : 2519.91 s
2519.99/2520.00	c real time             : 2520 s
2519.99/2520.00	
2519.99/2520.00	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 (13689 MiB free)
  memory of node 1: 16384 MiB (13675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396732-1568592897/watcher-4396732-1568592897 -o /tmp/evaluation-result-4396732-1568592897/solver-4396732-1568592897 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396732-1568592897.xml 

running on 4 cores: 1,3,5,7

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

solver pid=14791, runsolver pid=14788

[startup+0.100153 s]*
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=28019196/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=28988 memory=5064 CPUtime=0.1 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 1456 0 0 0 10 0 0 0 20 0 1 0 435204547 29683712 1266 33554432000 4194304 6211092 140723627469856 140723627466392 139949922397157 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 7247 1266 798 493 0 552 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28988 KiB
Current children cumulated memory: 5064 KiB

[startup+0.209486 s]*
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=28014360/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=34288 memory=10436 CPUtime=0.21 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 2834 0 0 0 21 0 0 0 20 0 1 0 435204547 35110912 2609 33554432000 4194304 6211092 140723627469856 140723627466392 139949922397157 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 8572 2609 816 493 0 1877 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 10436 KiB

[startup+0.309494 s]*
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=28008516/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=39972 memory=16100 CPUtime=0.3 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 4228 0 0 0 30 0 0 0 20 0 1 0 435204547 40931328 4025 33554432000 4194304 6211092 140723627469856 140723627459832 139949922397157 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 9993 4025 816 493 0 3298 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39972 KiB
Current children cumulated memory: 16100 KiB

[startup+0.700311 s]
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=27997956/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=61120 memory=37264 CPUtime=0.69 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 9530 0 0 0 68 1 0 0 20 0 1 0 435204547 62586880 9316 33554432000 4194304 6211092 140723627469856 140723627459832 139949925882208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 15280 9316 816 493 0 8585 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 37264 KiB

[startup+1.50032 s]
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=27970428/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=105516 memory=81656 CPUtime=1.49 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 20626 0 0 0 147 2 0 0 20 0 1 0 435204547 108048384 20414 33554432000 4194304 6211092 140723627469856 140723627464792 139949923321170 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 26379 20414 816 493 0 19684 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105516 KiB
Current children cumulated memory: 81656 KiB

[startup+3.1093 s]
/proc/loadavg: 2.35 2.09 2.07 3/200 14792
/proc/meminfo: memFree=27916316/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=131892 memory=108356 CPUtime=3.09 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 30530 0 0 0 307 2 0 0 20 0 1 0 435204547 135057408 27089 33554432000 4194304 6211092 140723627469856 140723627467512 139949923320719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 32973 27089 859 493 0 26278 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131892 KiB
Current children cumulated memory: 108356 KiB

[startup+6.30028 s]
/proc/loadavg: 2.32 2.09 2.07 3/200 14792
/proc/meminfo: memFree=27914952/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=133476 memory=109984 CPUtime=6.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 34301 0 0 0 626 3 0 0 20 0 1 0 435204547 136679424 27496 33554432000 4194304 6211092 140723627469856 140723627467512 5446924 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 33369 27496 861 493 0 26674 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 133476 KiB
Current children cumulated memory: 109984 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 2.09 2.07 3/201 14794
/proc/meminfo: memFree=27913696/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=134268 memory=110756 CPUtime=12.69 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 44004 0 0 0 1266 3 0 0 20 0 1 0 435204547 137490432 27689 33554432000 4194304 6211092 140723627469856 140723627467512 5439786 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 33567 27689 861 493 0 26872 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 134268 KiB
Current children cumulated memory: 110756 KiB

[startup+25.5003 s]
/proc/loadavg: 2.23 2.08 2.06 3/200 14795
/proc/meminfo: memFree=27912920/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=135060 memory=111632 CPUtime=25.49 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 56856 0 0 0 2545 4 0 0 20 0 1 0 435204547 138301440 27908 33554432000 4194304 6211092 140723627469856 140723627467512 5009635 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 33765 27908 861 493 0 27070 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 135060 KiB
Current children cumulated memory: 111632 KiB

[startup+51.1093 s]
/proc/loadavg: 2.15 2.08 2.06 3/199 14795
/proc/meminfo: memFree=27911936/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=136380 memory=112940 CPUtime=51.09 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 65312 0 0 0 5105 4 0 0 20 0 1 0 435204547 139653120 28235 33554432000 4194304 6211092 140723627469856 140723627467512 5441103 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 34095 28235 861 493 0 27400 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 136380 KiB
Current children cumulated memory: 112940 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/200 14802
/proc/meminfo: memFree=27906276/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=141660 memory=118140 CPUtime=102.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 80492 0 0 0 10222 6 0 0 20 0 1 0 435204547 145059840 29535 33554432000 4194304 6211092 140723627469856 140723627467512 5452226 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 35415 29535 861 493 0 28720 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 141660 KiB
Current children cumulated memory: 118140 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/200 14806
/proc/meminfo: memFree=27897356/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=149976 memory=126452 CPUtime=162.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 90763 0 0 0 16221 7 0 0 20 0 1 0 435204547 153575424 31613 33554432000 4194304 6211092 140723627469856 140723627467512 5164727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 37494 31613 861 493 0 30799 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 149976 KiB
Current children cumulated memory: 126452 KiB

[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/200 14810
/proc/meminfo: memFree=27896944/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=150504 memory=126836 CPUtime=222.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 91394 0 0 0 22221 7 0 0 20 0 1 0 435204547 154116096 31709 33554432000 4194304 6211092 140723627469856 140723627467512 5453904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 37626 31709 861 493 0 30931 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 150504 KiB
Current children cumulated memory: 126836 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/200 14816
/proc/meminfo: memFree=27892828/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=153804 memory=130324 CPUtime=282.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 92940 0 0 0 28221 7 0 0 20 0 1 0 435204547 157495296 32581 33554432000 4194304 6211092 140723627469856 140723627467512 139949932342127 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 38451 32581 861 493 0 31756 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 153804 KiB
Current children cumulated memory: 130324 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 14820
/proc/meminfo: memFree=27892652/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=153936 memory=130480 CPUtime=342.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 93845 0 0 0 34221 7 0 0 20 0 1 0 435204547 157630464 32620 33554432000 4194304 6211092 140723627469856 140723627467512 5446606 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 38484 32620 861 493 0 31789 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 130480 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 14832
/proc/meminfo: memFree=27892256/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=154464 memory=130896 CPUtime=402.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 94467 0 0 0 40221 7 0 0 20 0 1 0 435204547 158171136 32724 33554432000 4194304 6211092 140723627469856 140723627467512 5439825 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 38616 32724 861 493 0 31921 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 154464 KiB
Current children cumulated memory: 130896 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 14838
/proc/meminfo: memFree=27893064/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=154728 memory=131236 CPUtime=462.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 95196 0 0 0 46221 7 0 0 20 0 1 0 435204547 158441472 32809 33554432000 4194304 6211092 140723627469856 140723627467512 5455650 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 38682 32809 861 493 0 31987 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 154728 KiB
Current children cumulated memory: 131236 KiB


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

/proc/14791/statm: 42411 36528 861 493 0 35716 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146112 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 15021
/proc/meminfo: memFree=27871816/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=169644 memory=146168 CPUtime=1782.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 113302 0 0 0 178220 8 0 0 20 0 1 0 435204547 173715456 36542 33554432000 4194304 6211092 140723627469856 140723627467512 5164708 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42411 36542 861 493 0 35716 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146168 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15025
/proc/meminfo: memFree=27871988/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=169776 memory=146224 CPUtime=1842.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 113943 0 0 0 184220 9 0 0 20 0 1 0 435204547 173850624 36556 33554432000 4194304 6211092 140723627469856 140723627467512 5443025 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42444 36556 861 493 0 35749 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 169776 KiB
Current children cumulated memory: 146224 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15031
/proc/meminfo: memFree=27871116/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=169776 memory=146356 CPUtime=1902.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 114517 0 0 0 190220 9 0 0 20 0 1 0 435204547 173850624 36589 33554432000 4194304 6211092 140723627469856 140723627467512 139949923320719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42444 36589 861 493 0 35749 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 169776 KiB
Current children cumulated memory: 146356 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15035
/proc/meminfo: memFree=27871432/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=170040 memory=146564 CPUtime=1962.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 115236 0 0 0 196220 9 0 0 20 0 1 0 435204547 174120960 36641 33554432000 4194304 6211092 140723627469856 140723627467512 139949923317667 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42510 36641 861 493 0 35815 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 170040 KiB
Current children cumulated memory: 146564 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15039
/proc/meminfo: memFree=27870580/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=170172 memory=146768 CPUtime=2022.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 115890 0 0 0 202220 9 0 0 20 0 1 0 435204547 174256128 36692 33554432000 4194304 6211092 140723627469856 140723627467512 5446648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42543 36692 861 493 0 35848 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 170172 KiB
Current children cumulated memory: 146768 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15045
/proc/meminfo: memFree=27870072/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=170436 memory=146996 CPUtime=2082.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 116743 0 0 0 208220 9 0 0 20 0 1 0 435204547 174526464 36749 33554432000 4194304 6211092 140723627469856 140723627467512 5069365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42609 36749 861 493 0 35914 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 170436 KiB
Current children cumulated memory: 146996 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15049
/proc/meminfo: memFree=27869608/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=170436 memory=147012 CPUtime=2142.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 117412 0 0 0 214220 9 0 0 20 0 1 0 435204547 174526464 36753 33554432000 4194304 6211092 140723627469856 140723627467512 5451602 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42609 36753 861 493 0 35914 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 170436 KiB
Current children cumulated memory: 147012 KiB

[startup+2202.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 15061
/proc/meminfo: memFree=27869356/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=170832 memory=147452 CPUtime=2202.29 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 118329 0 0 0 220220 9 0 0 20 0 1 0 435204547 174931968 36863 33554432000 4194304 6211092 140723627469856 140723627467512 5442964 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 42708 36863 861 493 0 36013 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 170832 KiB
Current children cumulated memory: 147452 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 15067
/proc/meminfo: memFree=27868016/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172284 memory=148660 CPUtime=2262.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 119178 0 0 0 226219 9 0 0 20 0 1 0 435204547 176418816 37165 33554432000 4194304 6211092 140723627469856 140723627467512 5440716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43071 37165 861 493 0 36376 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 172284 KiB
Current children cumulated memory: 148660 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 15071
/proc/meminfo: memFree=27868000/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172548 memory=149052 CPUtime=2322.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 119743 0 0 0 232219 9 0 0 20 0 1 0 435204547 176689152 37263 33554432000 4194304 6211092 140723627469856 140723627467512 5446158 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43137 37263 861 493 0 36442 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149052 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 15075
/proc/meminfo: memFree=27867616/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172548 memory=149068 CPUtime=2382.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 120090 0 0 0 238219 9 0 0 20 0 1 0 435204547 176689152 37267 33554432000 4194304 6211092 140723627469856 140723627467512 5443092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43137 37267 861 493 0 36442 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149068 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 15081
/proc/meminfo: memFree=27867048/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172548 memory=149092 CPUtime=2442.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 120486 0 0 0 244219 9 0 0 20 0 1 0 435204547 176689152 37273 33554432000 4194304 6211092 140723627469856 140723627467816 5476813 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43137 37273 861 493 0 36442 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149092 KiB

[startup+2502.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/199 15086
/proc/meminfo: memFree=27866944/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172680 memory=149208 CPUtime=2502.28 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 120894 0 0 0 250219 9 0 0 20 0 1 0 435204547 176824320 37302 33554432000 4194304 6211092 140723627469856 140723627467512 5451442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43170 37302 861 493 0 36475 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 172680 KiB
Current children cumulated memory: 149208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.05 2.05 3/199 15086
/proc/meminfo: memFree=27866968/32770624 swapFree=66939884/67108860
[pid=14791] ppid=14788 vsize=172680 memory=149264 CPUtime=2519.99 cores=1,3,5,7
/proc/14791/stat : 14791 (cosoco) R 14788 14791 9363 0 -1 4202496 121262 0 0 0 251990 9 0 0 20 0 1 0 435204547 176824320 37316 33554432000 4194304 6211092 140723627469856 140723627467512 5069044 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 35655680 140723627475979 140723627476081 140723627476081 140723627478990 0
/proc/14791/statm: 43170 37316 861 493 0 36475 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 172680 KiB
Current children cumulated memory: 149264 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520
CPU user time (s): 2519.91
CPU system time (s): 0.096
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 172680
Max. memory (cumulated for all children) (KiB): 149264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.096
maximum resident set size= 149332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121307
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= 27
involuntary context switches= 1620


# summary of solver processes directly reported to runsolver:
#   pid: 14791
#   total CPU time (s): 2520
#   total CPU user time (s): 2519.91
#   total CPU system time (s): 0.096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7545 second user time and 18.0311 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-16 02:14:17
IDJOB=4396732
IDBENCH=138447
IDSOLVER=2848
FILE ID=node119/4396732-1568592897
RUNJOBID= node119-1568572745-9395
PBS_JOBID= 21703330
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-23.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396732-1568592897/watcher-4396732-1568592897 -o /tmp/evaluation-result-4396732-1568592897/solver-4396732-1568592897 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396732-1568592897.xml

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

MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603
RANDOM SEED=299136990

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        28020780 kB
MemAvailable:   31820752 kB
Buffers:          142472 kB
Cached:          3938972 kB
SwapCached:        61096 kB
Active:          2489148 kB
Inactive:        1659000 kB
Active(anon):       3308 kB
Inactive(anon):   113196 kB
Active(file):    2485840 kB
Inactive(file):  1545804 kB
Unevictable:      106936 kB
Mlocked:          106936 kB
SwapTotal:      67108860 kB
SwapFree:       66939884 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:        114264 kB
Mapped:            49364 kB
Shmem:             41008 kB
Slab:             197348 kB
SReclaimable:     168324 kB
SUnreclaim:        29024 kB
KernelStack:        3488 kB
PageTables:         5964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     536332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 61364 MiB
End job on node119 at 2019-09-16 02:56:17