Trace number 4294863

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.21	c root propagations     : 0           
1.19/1.21	c restarts enabled, print stats at every restarts
1.19/1.21	c
1.19/1.21	c
1.19/1.21	c
1.19/1.21	c This is cosoco 1.12 --  
1.19/1.21	c
1.19/1.21	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294863-1532503701.xml 
1.19/1.21	c ========================================[ Problem Statistics ]===========================================
1.19/1.21	c |                                                                                                       
1.19/1.21	c |  Parse time        :         1.13 s 
1.19/1.21	c |
1.19/1.21	c |               Variables: 210
1.19/1.21	c |            Domain Sizes: 26..26
1.19/1.21	c |
1.19/1.21	c |             Constraints: 29
1.19/1.21	c |                   Arity: 14..15
1.19/1.21	c | 
1.19/1.21	c |                   Types: 
1.19/1.21	c |                          Extension: 29  (nb tuples: 33924..48742) -- (shared: 27)
1.19/1.21	c |                          
1.19/1.21	c =========================================================================================================
1.19/1.21	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.19/2.29	c 101            307            11974          226446         0              0              17   33   29   
3.10/3.16	c 211            517            20800          444121         0              0              29   32   29   
5.69/5.77	c 332            865            34760          742221         0              0              17   30   20   
7.39/7.44	c 465            1269           45110          1002233        0              0              15   31   28   
10.29/10.38	c 611            1581           60742          1297476        0              0              17   43   28   
15.38/15.47	c 771            2136           76825          1702845        0              0              5   31   20    
19.28/19.32	c 947            2757           94465          2093683        0              0              16   32   25   
21.48/21.54	c 1140           3154           113375         2530441        0              0              18   32   27   
24.88/24.93	c 1352           3804           134214         3022766        0              0              16   31   24   
27.68/27.76	c 1585           4615           162503         3614365        0              0              18   34   28   
34.28/34.37	c 1841           5489           193059         4243581        0              0              16   32   22   
37.28/37.35	c 2122           6401           217285         4766254        0              0              19   30   28   
40.58/40.65	c 2431           7253           245987         5404190        0              0              16   31   29   
44.78/44.86	c 2770           8704           296578         6302628        0              0              17   33   28   
52.28/52.36	c 3142           10129          342200         7227652        0              0              15   34   27   
57.68/57.75	c 3551           10978          382229         8121984        0              0              20   34   30   
61.48/61.55	c 4000           11718          422682         9074902        0              0              30   33   30   
68.78/68.87	c 4493           13498          466071         10046726       0              0              17   30   29   
72.88/72.98	c 5035           14461          522828         11180458       0              0              30   35   31   
79.28/79.32	c 5631           15771          583776         12445133       0              0              15   34   29   
87.88/88.00	c 6286           17735          649643         13764358       0              0              15   32   28   
98.09/98.12	c 7006           20180          731088         15555037       0              0              17   33   28   
112.28/112.37	c 7798           22511          806057         17287716       0              0              15   34   27   
121.38/121.48	c 8669           24800          886388         19024687       0              0              17   34   28   
133.78/133.84	c 9627           27458          983408         21107011       0              0              16   31   25   
149.67/149.70	c 10680          31472          1104258        23912623       0              0              7   36   28    
164.47/164.59	c 11838          34670          1219408        26360777       0              0              16   32   28   
177.17/177.28	c 13111          37231          1336738        28963947       0              0              18   33   29   
196.37/196.41	c 14511          41455          1501730        32383373       0              0              18   35   29   
214.67/214.72	c 16051          45221          1669744        35915954       0              0              17   33   28   
242.27/242.35	c 17745          51337          1879689        39999555       0              0              17   33   27   
295.57/295.63	c 19608          57035          2073378        44698277       0              0              6   33   19    
320.37/320.49	c 21657          62375          2260444        48804242       0              0              6   36   28    
385.27/385.31	c 23910          69396          2507899        54386975       0              0              15   34   22   
431.28/431.38	c 26388          76835          2790075        60072291       0              0              16   33   24   
456.88/456.99	c 29113          81466          3090595        66475049       0              0              29   35   30   
490.38/490.46	c 32110          88698          3351811        72762254       0              0              6   35   29    
540.48/540.56	c 35406          96028          3652606        79609569       0              0              7   34   25    
572.09/572.18	c 39031          102637         4010562        87258184       0              0              18   36   30   
628.57/628.68	c 43018          115669         4494742        96261784       0              0              8   36   29    
668.17/668.26	c 47403          122573         4959609        106273479      0              0              29   36   30   
771.17/771.21	c 52226          138287         5450025        117299413      0              0              15   33   24   
819.98/820.07	c 57531          150406         5934866        127927766      0              0              16   33   29   
926.67/926.72	c 63366          168116         6532621        141732151      0              0              7   35   26    
986.76/986.88	c 69784          180028         7130939        155507384      0              0              16   35   29   
1046.86/1046.95	c 76843          194675         7721012        169573103      0              0              15   34   29   
1218.97/1219.05	c 84607          215833         8449585        187235868      0              0              6   36   24    
1390.76/1390.86	c 93147          240451         9333875        206804960      0              0              4   37   25    
1514.06/1514.17	c 102541         269380         10266290       227069756      0              0              8   35   28    
1706.25/1706.31	c 112874         301612         11306743       250597987      0              0              5   36   24    
1832.85/1832.97	c 124240         330132         12365641       274260453      0              0              5   35   28    
1966.64/1966.78	c 136742         361110         13555240       300031570      0              0              6   36   29    
2114.14/2114.28	c 150494         388416         15058222       332089978      0              0              18   37   29   
2470.34/2470.43	c 165621         433092         16608804       367349701      0              0              4   43   23    
2519.95/2520.01	
2519.95/2520.01	c *** INTERRUPTED ***
2519.95/2520.01	c restarts              : 54          
2519.95/2520.01	c conflicts             : 168956       (67 /sec)
2519.95/2520.01	c decisions             : 442755       (176 /sec)
2519.95/2520.01	c propagations          : 375381852   (148966 /sec)
2519.95/2520.01	c root propagations     : 0           
2519.95/2520.01	c filter calls          : 16988422       (6742 /sec)
2519.95/2520.01	c useless filter calls  : 4591591        (27 %)
2519.95/2520.01	c Memory used           : 43.21 MB
2519.95/2520.01	c CPU time              : 2519.92 s
2519.95/2520.01	
2519.95/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 (1608 MiB free)
  memory of node 1: 16384 MiB (6035 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294863-1532503701/watcher-4294863-1532503701 -o /tmp/evaluation-result-4294863-1532503701/solver-4294863-1532503701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294863-1532503701.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=22416, runsolver pid=22413

[startup+0.100108 s]*
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7825668/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=28148 memory=4200 CPUtime=0.1 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 1250 0 0 0 10 0 0 0 20 0 1 0 67933243 28823552 1050 33554432000 4194304 6142532 140734914282144 140734914278776 140608561269760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.209323 s]*
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7824924/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=28868 memory=4980 CPUtime=0.21 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 1498 0 0 0 21 0 0 0 20 0 1 0 67933243 29560832 1245 33554432000 4194304 6142532 140734914282144 140734914278776 5798089 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.30874 s]*
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7824428/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=29780 memory=5812 CPUtime=0.31 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 1775 0 0 0 31 0 0 0 20 0 1 0 67933243 30494720 1453 33554432000 4194304 6142532 140734914282144 140734914278792 140608560831461 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 7445 1453 781 476 0 767 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 5812 KiB

[startup+0.700236 s]
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7816988/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=36316 memory=12684 CPUtime=0.69 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 3864 0 0 0 69 0 0 0 20 0 1 0 67933243 37187584 3171 33554432000 4194304 6142532 140734914282144 140734914278792 5798093 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.50029 s]
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7816988/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20336 CPUtime=1.49 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 5840 0 0 0 149 0 0 0 20 0 1 0 67933243 45309952 5084 33554432000 4194304 6142532 140734914282144 140734914279800 5017997 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.10939 s]
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7809740/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20596 CPUtime=3.1 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 10066 0 0 0 309 1 0 0 20 0 1 0 67933243 45309952 5149 33554432000 4194304 6142532 140734914282144 140734914279800 5017979 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.30028 s]
/proc/loadavg: 2.08 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7809548/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20596 CPUtime=6.29 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 14280 0 0 0 628 1 0 0 20 0 1 0 67933243 45309952 5149 33554432000 4194304 6142532 140734914282144 140734914279544 5017782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.7003 s]
/proc/loadavg: 2.07 2.03 2.03 3/187 22417
/proc/meminfo: memFree=7808900/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20596 CPUtime=12.69 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 18499 0 0 0 1268 1 0 0 20 0 1 0 67933243 45309952 5149 33554432000 4194304 6142532 140734914282144 140734914279544 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/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.5004 s]
/proc/loadavg: 1.98 2.01 2.02 3/187 22417
/proc/meminfo: memFree=7808036/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=25.48 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 22944 0 0 0 2547 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+51.1096 s]
/proc/loadavg: 1.99 2.01 2.02 3/187 22417
/proc/meminfo: memFree=7808124/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=51.09 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 23646 0 0 0 5108 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.02 3/188 22426
/proc/meminfo: memFree=7807484/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=102.28 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 24348 0 0 0 10227 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 22427
/proc/meminfo: memFree=7808204/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=162.27 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 25050 0 0 0 16226 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 22428
/proc/meminfo: memFree=7808084/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=222.27 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 25752 0 0 0 22226 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5333269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 22429
/proc/meminfo: memFree=7808456/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=282.27 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 26454 0 0 0 28226 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 22430
/proc/meminfo: memFree=7808580/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=342.27 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 27156 0 0 0 34226 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017740 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 22431
/proc/meminfo: memFree=7808360/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=402.27 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 27858 0 0 0 40226 1 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/187 22432
/proc/meminfo: memFree=7808516/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=462.28 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 28560 0 0 0 46226 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017740 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB


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

/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 22472
/proc/meminfo: memFree=7807656/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=1782.25 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 43510 0 0 0 178223 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017902 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 22473
/proc/meminfo: memFree=7808040/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=1842.25 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 44398 0 0 0 184223 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017786 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/188 22482
/proc/meminfo: memFree=7807280/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=1902.25 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 45022 0 0 0 190223 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/189 22506
/proc/meminfo: memFree=7806648/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=1962.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 45667 0 0 0 196222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/189 22507
/proc/meminfo: memFree=7807720/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2022.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 46151 0 0 0 202222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/189 22508
/proc/meminfo: memFree=7807952/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2082.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 46557 0 0 0 208222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/189 22509
/proc/meminfo: memFree=7808104/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2142.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 47259 0 0 0 214222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/188 22510
/proc/meminfo: memFree=7808120/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2202.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 47949 0 0 0 220222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017751 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/188 22511
/proc/meminfo: memFree=7808244/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2262.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 48602 0 0 0 226222 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 22512
/proc/meminfo: memFree=7807892/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2322.23 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 49240 0 0 0 232221 2 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 22513
/proc/meminfo: memFree=7808140/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2382.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 49878 0 0 0 238221 3 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2442.3 s]
/proc/loadavg: 2.16 2.05 2.04 3/187 22514
/proc/meminfo: memFree=7808024/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2442.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 50516 0 0 0 244221 3 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

[startup+2502.3 s]
/proc/loadavg: 2.40 2.16 2.08 3/188 22523
/proc/meminfo: memFree=7806504/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2502.24 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 51227 0 0 0 250221 3 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5016509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.21 2.13 2.07 3/188 22712
/proc/meminfo: memFree=7818084/32770624 swapFree=67108860/67108860
[pid=22416] ppid=22413 vsize=44248 memory=20720 CPUtime=2519.95 cores=0,2,4,6
/proc/22416/stat : 22416 (cosoco) R 22413 22416 21810 0 -1 4202496 51622 0 0 0 251992 3 0 0 20 0 1 0 67933243 45309952 5180 33554432000 4194304 6142532 140734914282144 140734914279544 5017979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12779520 140734914290822 140734914290952 140734914290952 140734914293710 0
/proc/22416/statm: 11062 5180 835 476 0 4384 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 20720 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.032999
maximum resident set size= 20788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51672
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= 13
involuntary context switches= 655


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37718 second user time and 18.8261 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-25 09:28:21
IDJOB=4294863
IDBENCH=141438
IDSOLVER=2752
FILE ID=node139/4294863-1532503701
RUNJOBID= node139-1532498649-21841
PBS_JOBID= 21021588
Free space on /tmp= 38832 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-4294863-1532503701/watcher-4294863-1532503701 -o /tmp/evaluation-result-4294863-1532503701/solver-4294863-1532503701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294863-1532503701.xml

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

MD5SUM BENCH= ac0b4f561f7e67952eb47b21f0f500f8
RANDOM SEED=994458710

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:         7826820 kB
MemAvailable:   31907016 kB
Buffers:          211188 kB
Cached:         23709232 kB
SwapCached:            0 kB
Active:          2835596 kB
Inactive:       21169100 kB
Active(anon):      40064 kB
Inactive(anon):    64056 kB
Active(file):    2795532 kB
Inactive(file): 21105044 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5952 kB
Writeback:             0 kB
AnonPages:         93856 kB
Mapped:            40772 kB
Shmem:             17036 kB
Slab:             635516 kB
SReclaimable:     608080 kB
SUnreclaim:        27436 kB
KernelStack:        3456 kB
PageTables:         5080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     376964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 38828 MiB
End job on node139 at 2018-07-25 10:10:21