Trace number 4299735

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.96 2520.01

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-14-15_c18.xml
MD5SUMac0b4f561f7e67952eb47b21f0f500f8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints29
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":210}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":210}]
Minimum constraint arity14
Maximum constraint arity15
Distribution of constraint arities[{"arity":14,"count":15},{"arity":15,"count":14}]
Number of extensional constraints29
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":29}]
Optimization problemNO
Type of objective

Solver Data 

1.19/1.20	c root propagations     : 0           
1.19/1.20	c restarts enabled, print stats at every restarts
1.19/1.20	c
1.19/1.20	c
1.19/1.20	c
1.19/1.20	c This is cosoco 1.12 --  
1.19/1.20	c
1.19/1.20	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299735-1532818665.xml 
1.19/1.20	c ========================================[ Problem Statistics ]===========================================
1.19/1.20	c |                                                                                                       
1.19/1.20	c |  Parse time        :         1.13 s 
1.19/1.20	c |
1.19/1.20	c |               Variables: 210
1.19/1.20	c |            Domain Sizes: 26..26
1.19/1.20	c |
1.19/1.20	c |             Constraints: 29
1.19/1.20	c |                   Arity: 14..15
1.19/1.20	c | 
1.19/1.20	c |                   Types: 
1.19/1.20	c |                          Extension: 29  (nb tuples: 33924..48742) -- (shared: 27)
1.19/1.20	c |                          
1.19/1.20	c =========================================================================================================
1.19/1.20	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.19/2.27	c 101            307            11974          226446         0              0              17   33   29   
3.10/3.14	c 211            517            20800          444121         0              0              29   32   29   
5.69/5.74	c 332            865            34760          742221         0              0              17   30   20   
7.39/7.41	c 465            1269           45110          1002233        0              0              15   31   28   
10.29/10.34	c 611            1581           60742          1297476        0              0              17   43   28   
15.39/15.43	c 771            2136           76825          1702845        0              0              5   31   20    
19.29/19.31	c 947            2757           94465          2093683        0              0              16   32   25   
21.59/21.62	c 1140           3154           113375         2530441        0              0              18   32   27   
25.19/25.20	c 1352           3804           134214         3022766        0              0              16   31   24   
28.10/28.11	c 1585           4615           162503         3614365        0              0              18   34   28   
35.10/35.18	c 1841           5489           193059         4243581        0              0              16   32   22   
38.10/38.17	c 2122           6401           217285         4766254        0              0              19   30   28   
41.39/41.48	c 2431           7253           245987         5404190        0              0              16   31   29   
45.69/45.70	c 2770           8704           296578         6302628        0              0              17   33   28   
53.19/53.22	c 3142           10129          342200         7227652        0              0              15   34   27   
58.59/58.62	c 3551           10978          382229         8121984        0              0              20   34   30   
62.39/62.44	c 4000           11718          422682         9074902        0              0              30   33   30   
69.68/69.77	c 4493           13498          466071         10046726       0              0              17   30   29   
73.78/73.88	c 5035           14461          522828         11180458       0              0              30   35   31   
80.18/80.24	c 5631           15771          583776         12445133       0              0              15   34   29   
88.88/88.96	c 6286           17735          649643         13764358       0              0              15   32   28   
98.99/99.09	c 7006           20180          731088         15555037       0              0              17   33   28   
113.28/113.38	c 7798           22511          806057         17287716       0              0              15   34   27   
122.48/122.51	c 8669           24800          886388         19024687       0              0              17   34   28   
134.88/134.91	c 9627           27458          983408         21107011       0              0              16   31   25   
150.78/150.82	c 10680          31472          1104258        23912623       0              0              7   36   28    
165.68/165.76	c 11838          34670          1219408        26360777       0              0              16   32   28   
178.38/178.44	c 13111          37231          1336738        28963947       0              0              18   33   29   
197.58/197.64	c 14511          41455          1501730        32383373       0              0              18   35   29   
215.88/215.95	c 16051          45221          1669744        35915954       0              0              17   33   28   
243.58/243.66	c 17745          51337          1879689        39999555       0              0              17   33   27   
296.99/297.10	c 19608          57035          2073378        44698277       0              0              6   33   19    
321.99/322.06	c 21657          62375          2260444        48804242       0              0              6   36   28    
387.09/387.14	c 23910          69396          2507899        54386975       0              0              15   34   22   
433.28/433.37	c 26388          76835          2790075        60072291       0              0              16   33   24   
458.88/458.98	c 29113          81466          3090595        66475049       0              0              29   35   30   
492.47/492.56	c 32110          88698          3351811        72762254       0              0              6   35   29    
542.67/542.72	c 35406          96028          3652606        79609569       0              0              7   34   25    
574.27/574.31	c 39031          102637         4010562        87258184       0              0              18   36   30   
630.87/630.92	c 43018          115669         4494742        96261784       0              0              8   36   29    
670.47/670.59	c 47403          122573         4959609        106273479      0              0              29   36   30   
773.87/773.95	c 52226          138287         5450025        117299413      0              0              15   33   24   
822.87/822.92	c 57531          150406         5934866        127927766      0              0              16   33   29   
929.97/930.06	c 63366          168116         6532621        141732151      0              0              7   35   26    
990.26/990.39	c 69784          180028         7130939        155507384      0              0              16   35   29   
1050.57/1050.64	c 76843          194675         7721012        169573103      0              0              15   34   29   
1223.26/1223.37	c 84607          215833         8449585        187235868      0              0              6   36   24    
1395.56/1395.69	c 93147          240451         9333875        206804960      0              0              4   37   25    
1519.36/1519.44	c 102541         269380         10266290       227069756      0              0              8   35   28    
1712.66/1712.72	c 112874         301612         11306743       250597987      0              0              5   36   24    
1839.75/1839.82	c 124240         330132         12365641       274260453      0              0              5   35   28    
1974.06/1974.15	c 136742         361110         13555240       300031570      0              0              6   36   29    
2122.05/2122.13	c 150494         388416         15058222       332089978      0              0              18   37   29   
2479.54/2479.62	c 165621         433092         16608804       367349701      0              0              4   43   23    
2519.94/2520.01	
2519.94/2520.01	c *** INTERRUPTED ***
2519.94/2520.01	c restarts              : 54          
2519.94/2520.01	c conflicts             : 167854       (67 /sec)
2519.94/2520.01	c decisions             : 440791       (175 /sec)
2519.94/2520.01	c propagations          : 373026582   (148031 /sec)
2519.94/2520.01	c root propagations     : 0           
2519.94/2520.01	c filter calls          : 16880540       (6699 /sec)
2519.94/2520.01	c useless filter calls  : 4564445        (27 %)
2519.94/2520.01	c Memory used           : 43.21 MB
2519.94/2520.01	c CPU time              : 2519.92 s
2519.94/2520.01	
2519.94/2520.01	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 (10663 MiB free)
  memory of node 1: 16384 MiB (12602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299735-1532818665/watcher-4299735-1532818665 -o /tmp/evaluation-result-4299735-1532818665/solver-4299735-1532818665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299735-1532818665.xml 

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

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

solver pid=32340, runsolver pid=32337

[startup+0.100203 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23823052/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=28148 memory=4200 CPUtime=0.1 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 1253 0 0 0 10 0 0 0 20 0 1 0 99429724 28823552 1050 33554432000 4194304 6142532 140736739065728 140736739062360 140169044642789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 7037 1050 781 476 0 359 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209366 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23822044/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=28868 memory=4980 CPUtime=0.21 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 1503 0 0 0 21 0 0 0 20 0 1 0 99429724 29560832 1245 33554432000 4194304 6142532 140736739065728 140736739062360 140169044642789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 7217 1245 781 476 0 539 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28868 KiB
Current children cumulated memory: 4980 KiB

[startup+0.309002 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23820680/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=29912 memory=5812 CPUtime=0.31 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 1781 0 0 0 31 0 0 0 20 0 1 0 99429724 30629888 1453 33554432000 4194304 6142532 140736739065728 140736739062360 5799100 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 7478 1453 781 476 0 800 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29912 KiB
Current children cumulated memory: 5812 KiB

[startup+0.700337 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23813996/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=36316 memory=12684 CPUtime=0.69 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 3864 0 0 0 69 0 0 0 20 0 1 0 99429724 37187584 3171 33554432000 4194304 6142532 140736739065728 140736739062360 5490540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 9079 3171 792 476 0 2401 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36316 KiB
Current children cumulated memory: 12684 KiB

[startup+1.50042 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23813748/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20336 CPUtime=1.49 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 5840 0 0 0 148 1 0 0 20 0 1 0 99429724 45309952 5084 33554432000 4194304 6142532 140736739065728 140736739063032 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5084 793 476 0 4384 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20336 KiB

[startup+3.10951 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23806584/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20596 CPUtime=3.1 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 10067 0 0 0 309 1 0 0 20 0 1 0 99429724 45309952 5149 33554432000 4194304 6142532 140736739065728 140736739063128 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5149 835 476 0 4384 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20596 KiB

[startup+6.30041 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23806516/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20596 CPUtime=6.29 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 14282 0 0 0 628 1 0 0 20 0 1 0 99429724 45309952 5149 33554432000 4194304 6142532 140736739065728 140736739063128 5017979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5149 835 476 0 4384 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20596 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32341
/proc/meminfo: memFree=23806516/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20596 CPUtime=12.69 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 18501 0 0 0 1268 1 0 0 20 0 1 0 99429724 45309952 5149 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5149 835 476 0 4384 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20596 KiB

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32342
/proc/meminfo: memFree=23806424/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20596 CPUtime=25.49 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 26354 0 0 0 2547 2 0 0 20 0 1 0 99429724 45309952 5149 33554432000 4194304 6142532 140736739065728 140736739063128 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5149 835 476 0 4384 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20596 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32342
/proc/meminfo: memFree=23806452/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=51.09 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 27037 0 0 0 5107 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32343
/proc/meminfo: memFree=23806708/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=102.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 27718 0 0 0 10226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+162.3 s]
/proc/loadavg: 2.60 2.18 2.10 3/188 32358
/proc/meminfo: memFree=23806184/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=162.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 28399 0 0 0 16226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+222.3 s]
/proc/loadavg: 2.22 2.15 2.09 3/188 32384
/proc/meminfo: memFree=23806360/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=222.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 29080 0 0 0 22226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+282.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/188 32385
/proc/meminfo: memFree=23807224/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=282.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 29761 0 0 0 28226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5016473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/188 32386
/proc/meminfo: memFree=23807340/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=342.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 30442 0 0 0 34226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 32387
/proc/meminfo: memFree=23807200/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=402.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 31123 0 0 0 40226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 32388
/proc/meminfo: memFree=23807572/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=462.28 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 31804 0 0 0 46226 2 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB


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

/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32487
/proc/meminfo: memFree=23800012/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=1782.25 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 46333 0 0 0 178222 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32489
/proc/meminfo: memFree=23800116/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=1842.25 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 47014 0 0 0 184222 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32490
/proc/meminfo: memFree=23800472/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=1902.25 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 47626 0 0 0 190222 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32499
/proc/meminfo: memFree=23799684/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=1962.25 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 48255 0 0 0 196222 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32500
/proc/meminfo: memFree=23799924/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2022.25 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 48743 0 0 0 202222 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32501
/proc/meminfo: memFree=23800036/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2082.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 49170 0 0 0 208221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 32502
/proc/meminfo: memFree=23800424/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2142.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 49851 0 0 0 214221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2202.3 s]
/proc/loadavg: 2.44 2.16 2.09 3/188 32503
/proc/meminfo: memFree=23800156/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2202.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 50519 0 0 0 220221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2262.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/187 32504
/proc/meminfo: memFree=23800388/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2262.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 51150 0 0 0 226221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5016509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/187 32505
/proc/meminfo: memFree=23800388/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2322.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 51771 0 0 0 232221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 32506
/proc/meminfo: memFree=23800396/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2382.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 52392 0 0 0 238221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2442.3 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 32570
/proc/meminfo: memFree=23788928/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2442.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 53013 0 0 0 244221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

[startup+2502.3 s]
/proc/loadavg: 1.98 2.04 2.06 3/186 32571
/proc/meminfo: memFree=23788676/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2502.24 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 53694 0 0 0 250221 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.99 2.04 2.06 3/187 32572
/proc/meminfo: memFree=23787972/32770624 swapFree=67108860/67108860
[pid=32340] ppid=32337 vsize=44248 memory=20632 CPUtime=2519.94 cores=0,2,4,6
/proc/32340/stat : 32340 (cosoco) R 32337 32340 31467 0 -1 4202496 54271 0 0 0 251991 3 0 0 20 0 1 0 99429724 45309952 5158 33554432000 4194304 6142532 140736739065728 140736739063128 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 26189824 140736739071110 140736739071240 140736739071240 140736739073998 0
/proc/32340/statm: 11062 5158 835 476 0 4384 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20632 KiB

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

[startup+2520.01 s]
# the end of solver process 32340 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.038999 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): 2519.96
CPU user time (s): 2519.92
CPU system time (s): 0.038999
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 44248
Max. memory (cumulated for all children) (KiB): 20632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.038999
maximum resident set size= 20700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54321
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= 11
involuntary context switches= 634


# summary of solver processes directly reported to runsolver:
#   pid: 32340
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.038999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99287 second user time and 21.557 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-29 00:57:46
IDJOB=4299735
IDBENCH=141438
IDSOLVER=2761
FILE ID=node139/4299735-1532818665
RUNJOBID= node139-1532810061-31498
PBS_JOBID= 21022483
Free space on /tmp= 38692 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-14-15_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299735-1532818665/watcher-4299735-1532818665 -o /tmp/evaluation-result-4299735-1532818665/solver-4299735-1532818665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299735-1532818665.xml

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

MD5SUM BENCH= ac0b4f561f7e67952eb47b21f0f500f8
RANDOM SEED=684606342

node139.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.80
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.80
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.80
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.80
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:        23824400 kB
MemAvailable:   31918696 kB
Buffers:          241324 kB
Cached:          7951820 kB
SwapCached:            0 kB
Active:          3123472 kB
Inactive:        5134776 kB
Active(anon):      19432 kB
Inactive(anon):    73544 kB
Active(file):    3104040 kB
Inactive(file):  5061232 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5696 kB
Writeback:             0 kB
AnonPages:         84476 kB
Mapped:            45560 kB
Shmem:             25228 kB
Slab:             386464 kB
SReclaimable:     357484 kB
SUnreclaim:        28980 kB
KernelStack:        3568 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     361092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38684 MiB
End job on node139 at 2018-07-29 01:39:46