Trace number 4407992

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.04 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.94	c root propagations     : 0           
1.89/1.94	c restarts enabled, print stats at every restarts
1.89/1.94	c
1.89/1.94	c
1.89/1.94	c
1.89/1.94	c This is cosoco 2.00 --  
1.89/1.94	c
1.89/1.94	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407992-1569808815.xml 
1.89/1.94	c ========================================[ Problem Statistics ]===========================================
1.89/1.94	c |                                                                                                       
1.89/1.94	c |  Parse time        :         1.89 s 
1.89/1.94	c |
1.89/1.94	c |               Variables: 200
1.89/1.94	c |            Domain Sizes: 476..574
1.89/1.94	c |
1.89/1.94	c |             Constraints: 2800
1.89/1.94	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.94	c | 
1.89/1.94	c |                   Types: 
1.89/1.94	c |                          (X != Y): 100
1.89/1.94	c |                          Intension: 2700
1.89/1.94	c |                          
1.89/1.94	c =========================================================================================================
1.89/1.94	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.59/3.63	c 101            113            31653          404701         0              0              6   7   6      
7.10/7.19	c 211            228            49622          1029010        0              0              6   6   5      
9.00/9.10	c 332            355            64917          1445683        0              0              6   6   5      
10.79/10.89	c 465            494            79666          1891801        0              0              6   6   5      
13.79/13.83	c 611            659            127139         2514103        0              0              5   6   5      
16.38/16.43	c 771            827            145674         3189660        0              0              6   6   5      
21.19/21.29	c 947            1025           184851         3714625        0              0              6   7   6      
23.10/23.14	c 1140           1227           204402         4306339        0              0              6   6   5      
27.28/27.37	c 1352           1459           275894         5019959        0              0              5   6   5      
30.10/30.11	c 1585           1701           300106         5726876        0              0              6   7   6      
33.49/33.53	c 1841           1982           360721         6703540        0              0              5   6   5      
38.89/38.95	c 2122           2272           408487         8096695        0              0              6   6   5      
43.10/43.17	c 2431           2603           460951         9000019        0              0              6   9   7      
50.79/50.89	c 2770           2965           525505         10186368       0              0              6   7   6      
56.59/56.60	c 3142           3364           613936         11363954       0              0              6   7   6      
67.58/67.68	c 3551           3823           748299         12703954       0              0              6   25   23    
76.29/76.38	c 4000           4310           813992         14185576       0              0              8   26   25    
82.49/82.57	c 4493           4828           867953         15636838       0              0              8   19   18    
96.19/96.24	c 5035           5481           1208250        16097971       0              0              7   14   13    
106.59/106.61	c 5631           6171           1393140        17862900       0              0              6   22   8     
124.69/124.72	c 6286           6860           1566832        20783025       0              0              8   8   7      
132.89/132.93	c 7006           7611           1661646        22995624       0              0              6   8   7      
159.58/159.69	c 7798           8537           2027942        25944571       0              0              6   59   53    
180.58/180.65	c 8669           9479           2298468        28298561       0              0              13   26   25   
198.58/198.65	c 9627           10473          2414742        31890960       0              0              7   21   20    
225.99/226.10	c 10680          11590          2746651        35950879       0              0              5   6   5      
255.09/255.18	c 11838          12844          3222800        39633852       0              0              7   8   7      
279.78/279.85	c 13111          14192          3460814        43855262       0              0              6   48   43    
328.68/328.74	c 14511          15867          4402582        47244468       0              0              6   12   11    
363.49/363.54	c 16051          17586          4932102        51481369       0              0              7   11   9     
405.39/405.46	c 17745          19346          5233361        59898428       0              0              7   8   7      
459.49/459.53	c 19608          21536          6362887        63501464       0              0              5   12   9     
534.39/534.48	c 21657          23811          7152585        70126083       0              0              5   10   8     
572.59/572.65	c 23910          26175          7547400        77536757       0              0              5   23   22    
645.39/645.48	c 26388          28884          8423995        84284769       0              0              5   76   42    
727.89/727.92	c 29113          31902          9655101        94207105       0              0              8   13   11    
780.89/780.93	c 32110          35075          10426051       101649042      0              0              7   26   24    
881.00/881.10	c 35406          38899          11720019       110134259      0              0              21   42   40   
973.79/973.85	c 39031          43025          13374662       116116052      0              0              7   49   47    
1159.11/1159.14	c 43018          49500          17650701       131855879      0              0              7   13   9     
1242.80/1242.87	c 47403          54025          18215882       151260793      0              0              7   9   8      
1413.41/1413.46	c 52226          60036          21364787       162463301      0              0              6   50   15    
1535.41/1535.50	c 57531          65955          23521425       173460605      0              0              7   27   25    
1687.71/1687.77	c 63366          73046          26118904       187660778      0              0              7   28   26    
1823.51/1823.54	c 69784          80092          28389000       204517660      0              0              7   11   9     
1964.61/1964.66	c 76843          87647          30629920       221887950      0              0              6   10   8     
2074.81/2074.83	c 84607          95785          32109112       248764701      0              0              7   10   8     
2272.21/2272.23	c 93147          105077         35322020       268071563      0              0              8   58   29    
2437.82/2437.87	c 102541         115422         39219750       287478478      0              0              8   14   12    
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 49          
2520.03/2520.00	c conflicts             : 108103       (43 /sec)
2520.03/2520.00	c decisions             : 121245       (48 /sec)
2520.03/2520.00	c propagations          : 304170641   (120707 /sec)
2520.03/2520.00	c root propagations     : 0           
2520.03/2520.00	c filter calls          : 40322715       (16002 /sec)
2520.03/2520.00	c useless filter calls  : 34612345       (85 %)
2520.03/2520.00	c Memory used           : 168.64 MB
2520.03/2520.00	c CPU time              : 2519.92 s
2520.03/2520.00	c real time             : 2520.01 s
2520.03/2520.00	
2520.03/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 (13883 MiB free)
  memory of node 1: 16384 MiB (14056 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407992-1569808815/watcher-4407992-1569808815 -o /tmp/evaluation-result-4407992-1569808815/solver-4407992-1569808815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407992-1569808815.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=27930, runsolver pid=27927

[startup+0.100153 s]*
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28608964/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=28988 memory=5068 CPUtime=0.1 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 1456 0 0 0 10 0 0 0 20 0 1 0 556817922 29683712 1267 33554432000 4194304 6211132 140729969810944 140729969807480 139684012933294 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 7247 1267 798 493 0 552 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28988 KiB
Current children cumulated memory: 5068 KiB

[startup+0.209432 s]*
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28604128/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=34288 memory=10440 CPUtime=0.2 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 2816 0 0 0 20 0 0 0 20 0 1 0 556817922 35110912 2610 33554432000 4194304 6211132 140729969810944 140729969807480 139684009438181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 8572 2610 816 493 0 1877 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 10440 KiB

[startup+0.30933 s]*
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28598548/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=39840 memory=16104 CPUtime=0.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 4202 0 0 0 30 1 0 0 20 0 1 0 556817922 40796160 4026 33554432000 4194304 6211132 140729969810944 140729969807480 139684012923245 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 9960 4026 816 493 0 3265 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 16104 KiB

[startup+0.700312 s]
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28587760/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=60856 memory=37004 CPUtime=0.69 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 9475 0 0 0 67 2 0 0 20 0 1 0 556817922 62316544 9251 33554432000 4194304 6211132 140729969810944 140729969807480 139684009438181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 15214 9251 816 493 0 8519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60856 KiB
Current children cumulated memory: 37004 KiB

[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28560604/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=105116 memory=81400 CPUtime=1.49 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 20528 0 0 0 145 4 0 0 20 0 1 0 556817922 107638784 20350 33554432000 4194304 6211132 140729969810944 140729969802584 139684009438181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 26279 20350 816 493 0 19584 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105116 KiB
Current children cumulated memory: 81400 KiB

[startup+3.10924 s]
/proc/loadavg: 2.01 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28505992/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=131892 memory=108492 CPUtime=3.1 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 27881 0 0 0 304 6 0 0 20 0 1 0 556817922 135057408 27123 33554432000 4194304 6211132 140729969810944 140729969808600 5441106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 32973 27123 859 493 0 26278 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 131892 KiB
Current children cumulated memory: 108492 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28504408/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=133476 memory=110016 CPUtime=6.29 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 34280 0 0 0 623 6 0 0 20 0 1 0 556817922 136679424 27504 33554432000 4194304 6211132 140729969810944 140729969808600 5454208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 33369 27504 861 493 0 26674 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 133476 KiB
Current children cumulated memory: 110016 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 27931
/proc/meminfo: memFree=28503168/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=134268 memory=110756 CPUtime=12.69 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 44340 0 0 0 1263 6 0 0 20 0 1 0 556817922 137490432 27689 33554432000 4194304 6211132 140729969810944 140729969808600 5068958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/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.00 2.01 2.04 3/200 27934
/proc/meminfo: memFree=28502704/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=135060 memory=111664 CPUtime=25.48 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 55392 0 0 0 2541 7 0 0 20 0 1 0 556817922 138301440 27916 33554432000 4194304 6211132 140729969810944 140729969808600 5446638 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 33765 27916 861 493 0 27070 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 135060 KiB
Current children cumulated memory: 111664 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 27942
/proc/meminfo: memFree=28500324/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=136380 memory=112944 CPUtime=51.1 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 65649 0 0 0 5102 8 0 0 20 0 1 0 556817922 139653120 28236 33554432000 4194304 6211132 140729969810944 140729969808904 139684010364330 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 34095 28236 861 493 0 27400 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 136380 KiB
Current children cumulated memory: 112944 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 27969
/proc/meminfo: memFree=28495040/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=141660 memory=118068 CPUtime=102.29 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 74150 0 0 0 10220 9 0 0 20 0 1 0 556817922 145059840 29517 33554432000 4194304 6211132 140729969810944 140729969808600 5452255 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 35415 29517 861 493 0 28720 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 141660 KiB
Current children cumulated memory: 118068 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 27975
/proc/meminfo: memFree=28487032/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=149976 memory=126392 CPUtime=162.28 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 76924 0 0 0 16219 9 0 0 20 0 1 0 556817922 153575424 31598 33554432000 4194304 6211132 140729969810944 140729969808600 5480282 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 37494 31598 861 493 0 30799 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 149976 KiB
Current children cumulated memory: 126392 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 27979
/proc/meminfo: memFree=28487108/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=150504 memory=127040 CPUtime=222.28 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 78010 0 0 0 22219 9 0 0 20 0 1 0 556817922 154116096 31760 33554432000 4194304 6211132 140729969810944 140729969808600 5451658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 37626 31760 861 493 0 30931 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 150504 KiB
Current children cumulated memory: 127040 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 27983
/proc/meminfo: memFree=28483932/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=153804 memory=130292 CPUtime=282.28 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 80963 0 0 0 28219 9 0 0 20 0 1 0 556817922 157495296 32573 33554432000 4194304 6211132 140729969810944 140729969808600 5441144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 38451 32573 861 493 0 31756 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 153804 KiB
Current children cumulated memory: 130292 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 27989
/proc/meminfo: memFree=28483792/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=153936 memory=130460 CPUtime=342.28 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 81309 0 0 0 34219 9 0 0 20 0 1 0 556817922 157630464 32615 33554432000 4194304 6211132 140729969810944 140729969808600 5009635 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 38484 32615 861 493 0 31789 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 130460 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 27993
/proc/meminfo: memFree=28482824/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=154332 memory=130932 CPUtime=402.29 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 81711 0 0 0 40219 10 0 0 20 0 1 0 556817922 158035968 32733 33554432000 4194304 6211132 140729969810944 140729969808600 139684019383128 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 38583 32733 861 493 0 31888 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 154332 KiB
Current children cumulated memory: 130932 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28189100/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=154728 memory=131200 CPUtime=462.29 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 82187 0 0 0 46219 10 0 0 20 0 1 0 556817922 158441472 32800 33554432000 4194304 6211132 140729969810944 140729969808600 139684010358672 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 38682 32800 861 493 0 31987 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 154728 KiB
Current children cumulated memory: 131200 KiB


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

/proc/27930/statm: 42411 36542 861 493 0 35716 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146168 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/199 28179
/proc/meminfo: memFree=28047520/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=169644 memory=146176 CPUtime=1782.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 100449 0 0 0 178220 11 0 0 20 0 1 0 556817922 173715456 36544 33554432000 4194304 6211132 140729969810944 140729969808600 5164975 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42411 36544 861 493 0 35716 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146176 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28190
/proc/meminfo: memFree=28046404/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=169644 memory=146228 CPUtime=1842.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 101298 0 0 0 184220 11 0 0 20 0 1 0 556817922 173715456 36557 33554432000 4194304 6211132 140729969810944 140729969808904 5453958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42411 36557 861 493 0 35716 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 169644 KiB
Current children cumulated memory: 146228 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28194
/proc/meminfo: memFree=28045960/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=169776 memory=146316 CPUtime=1902.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 101680 0 0 0 190220 11 0 0 20 0 1 0 556817922 173850624 36579 33554432000 4194304 6211132 140729969810944 140729969808600 5446265 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42444 36579 861 493 0 35749 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 169776 KiB
Current children cumulated memory: 146316 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 28200
/proc/meminfo: memFree=28045648/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=169908 memory=146420 CPUtime=1962.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 102021 0 0 0 196220 11 0 0 20 0 1 0 556817922 173985792 36605 33554432000 4194304 6211132 140729969810944 140729969808600 5441167 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42477 36605 861 493 0 35782 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 169908 KiB
Current children cumulated memory: 146420 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28204
/proc/meminfo: memFree=28044972/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=170172 memory=146732 CPUtime=2022.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 102570 0 0 0 202220 11 0 0 20 0 1 0 556817922 174256128 36683 33554432000 4194304 6211132 140729969810944 140729969808600 5446959 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42543 36683 861 493 0 35848 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 170172 KiB
Current children cumulated memory: 146732 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28208
/proc/meminfo: memFree=28045004/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=170436 memory=146896 CPUtime=2082.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 103079 0 0 0 208220 11 0 0 20 0 1 0 556817922 174526464 36724 33554432000 4194304 6211132 140729969810944 140729969808600 5441163 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42609 36724 861 493 0 35914 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 170436 KiB
Current children cumulated memory: 146896 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28214
/proc/meminfo: memFree=28044488/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=170436 memory=147016 CPUtime=2142.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 103486 0 0 0 214220 11 0 0 20 0 1 0 556817922 174526464 36754 33554432000 4194304 6211132 140729969810944 140729969808600 139684010361729 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42609 36754 861 493 0 35914 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 170436 KiB
Current children cumulated memory: 147016 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28218
/proc/meminfo: memFree=28044424/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=170832 memory=147324 CPUtime=2202.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 104039 0 0 0 220220 11 0 0 20 0 1 0 556817922 174931968 36831 33554432000 4194304 6211132 140729969810944 140729969808600 5439860 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 42708 36831 861 493 0 36013 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 170832 KiB
Current children cumulated memory: 147324 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28222
/proc/meminfo: memFree=28042752/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172284 memory=148664 CPUtime=2262.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 104793 0 0 0 226220 11 0 0 20 0 1 0 556817922 176418816 37166 33554432000 4194304 6211132 140729969810944 140729969808600 5164844 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43071 37166 861 493 0 36376 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 172284 KiB
Current children cumulated memory: 148664 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28228
/proc/meminfo: memFree=28041816/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172548 memory=149056 CPUtime=2322.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 105559 0 0 0 232220 11 0 0 20 0 1 0 556817922 176689152 37264 33554432000 4194304 6211132 140729969810944 140729969808600 5476848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43137 37264 861 493 0 36442 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149056 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28232
/proc/meminfo: memFree=28041408/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172548 memory=149068 CPUtime=2382.31 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 105804 0 0 0 238220 11 0 0 20 0 1 0 556817922 176689152 37267 33554432000 4194304 6211132 140729969810944 140729969808600 5446956 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43137 37267 861 493 0 36442 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149068 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28244
/proc/meminfo: memFree=28040516/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172548 memory=149080 CPUtime=2442.32 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 106105 0 0 0 244220 12 0 0 20 0 1 0 556817922 176689152 37270 33554432000 4194304 6211132 140729969810944 140729969808904 5446292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43137 37270 861 493 0 36442 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 149080 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28250
/proc/meminfo: memFree=28040596/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172680 memory=149216 CPUtime=2502.32 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 106399 0 0 0 250220 12 0 0 20 0 1 0 556817922 176824320 37304 33554432000 4194304 6211132 140729969810944 140729969808600 5165033 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43170 37304 861 493 0 36475 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 172680 KiB
Current children cumulated memory: 149216 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 28250
/proc/meminfo: memFree=28040504/32770624 swapFree=66966920/67108860
[pid=27930] ppid=27927 vsize=172680 memory=149264 CPUtime=2520.03 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 23523 0 -1 4202496 106669 0 0 0 251991 12 0 0 20 0 1 0 556817922 176824320 37316 33554432000 4194304 6211132 140729969810944 140729969808600 5446936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 41189376 140729969816587 140729969816689 140729969816689 140729969819598 0
/proc/27930/statm: 43170 37316 861 493 0 36475 0
Current children cumulated CPU time: 2520.03 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 27930 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.123001 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.04
CPU user time (s): 2519.92
CPU system time (s): 0.123001
CPU usage (%): 100.001
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.92
system time used= 0.123001
maximum resident set size= 149332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106718
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= 29
involuntary context switches= 1429


# summary of solver processes directly reported to runsolver:
#   pid: 27930
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.123001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.11609 second user time and 16.742 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-30 03:59:33
IDJOB=4407992
IDBENCH=138447
IDSOLVER=2874
FILE ID=node145/4407992-1569808815
RUNJOBID= node145-1569787350-23555
PBS_JOBID= 21705820
Free space on /tmp= 62028 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-4407992-1569808815/watcher-4407992-1569808815 -o /tmp/evaluation-result-4407992-1569808815/solver-4407992-1569808815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407992-1569808815.xml

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

MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603
RANDOM SEED=1299423188

node145.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.59
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.59
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.59
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.59
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:        28610472 kB
MemAvailable:   31824780 kB
Buffers:          232492 kB
Cached:          3307492 kB
SwapCached:        32684 kB
Active:          1323308 kB
Inactive:        2255504 kB
Active(anon):      24656 kB
Inactive(anon):    96228 kB
Active(file):    1298652 kB
Inactive(file):  2159276 kB
Unevictable:      108080 kB
Mlocked:          108080 kB
SwapTotal:      67108860 kB
SwapFree:       66966920 kB
Dirty:              2876 kB
Writeback:             0 kB
AnonPages:        114960 kB
Mapped:            29344 kB
Shmem:             73436 kB
Slab:             174664 kB
SReclaimable:     144432 kB
SUnreclaim:        30232 kB
KernelStack:        3568 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     569804 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62024 MiB
End job on node145 at 2019-09-30 04:41:33